Constructivism and a Favorite Mathematical Object, Part II

(Continuation of part I)

So, we’ve made rationals, and before we get to the favorite object, we are going to do another construction.

Continue reading Constructivism and a Favorite Mathematical Object, Part II

Branches ‘n’ Patterns

Almost all programming languages are one-dimensional. In these languages, we express what we want the computer to do (or solve) as a string of text. Sure, we might be able to insert newlines, but more often than not, that is just for readability and convenience, not because the spatial dimension it adds means anything (to illustrate this point, we could have “\n” be visually represented by a bullet character). Despite this, we have to express two-or-more-dimensional logic in this single dimension.

Continue reading Branches ‘n’ Patterns