Some good things to check out:

Of course, the previous week’s interview with Stephen Wolfram.

Metamath! by Chaitin

The absolutely unique and charming, Pulitzer prize-winning Gödel-Escher-Bach

Also check out this article I’ve pitched a few times, filtering all this through puzzles and games, ultimately touching on the very nature of mathematical inquiry.

Someday, John Conway’s baby-level “My First Abstract Computability Book” will come out, explaining the basic constructions in a truly elementary way.

]]>