Posts tagged "math":

gödel's incompleteness illustrated

I am having a great time reading Smullyan's Gödel's Incompleteness Theorems, a thin volume with the most elegant description of Gödel's and Tarski's work i've read so far. It's also the most succint, and it starts with a very nice and very clear demonstration of indecidability that is the simplest i have ever seen. I like it a lot, and it's short enough for a quick blog post. Here it goes.

categories and the lambda calculus

The n-Category Café is a blog written by mathematical physicists with a focus on the world of Category Theory and its, so to speak, applications. Not the usual recommendation in a programming musing, except for the fact that one of the Café's regulars, John Baez (of This Week's Finds in Mathematical Physics fame), is very interested in the connection between categories and lambda calculus, and has recently posted an article entitled CCCs and the λ-calculus over at the Café.