“Time to do somethin’ secret!”

]]>A lot of mathematicians are constructivist/idealists, and consider mathematical entities to be ideas (mental constructions) that exist only in our heads. (We communicate things about them in language, which is why we share the same notions.)

Oh yeah, a lot of the mathematics behind computer science is constructivist: Curry-Howard correspondence between proofs and computer programs, constructive set theory/dependent type theory, etc.

]]>Dispensing Machine: Hello. How can I help you?

Cat: Fish!

Dispensing Machine: (spits out a fish) Today’s fish is Trout a la Creme, enjoy your meal.

Cat: Fish!

Dispensing Machine: (spits out a fish) Today’s fish is Trout a la Creme, enjoy your meal.

Cat: Fish!

Dispensing Machine: (spits out a fish) Today’s fish is Trout a la Creme, enjoy your meal.

Cat: Fish!

Dispensing Machine: (spits out a fish) Today’s fish is Trout a la Creme, enjoy your meal.

Cat: Fish!

Dispensing Machine: (spits out a fish) Today’s fish is Trout a la Creme, enjoy your meal.

Cat: Fish!

Dispensing Machine: (spits out a fish) Today’s fish is Trout a la Creme, enjoy your meal.

Cat: I will.

No, it wasn’t trout Ã la crÃ¨me, nor was it served in a styrofoam box. But they did get six pieces.

]]>