supergee: (pythagoras)
Arthur D. Hlavaty ([personal profile] supergee) wrote2015-06-09 07:04 am

Type theory (not Myers-Briggs)

Foundations of mathematics (for math geeks only)

Thanx to Slate Star Codex. It's in Wired, which tells us, "Please do us a solid and disable your ad blocker." Since I cheered the Pearls before Swine where Rat hit someone over the head for saying, "Do me a solid," that one is two for two.