So in the last few posts, I've been building up the bits and pieces that turn lambda calculus into a useful system. We've got numbers, booleans, and choice operators. The…
The Genius of Alonzo Church (rerun)
I'm on vacation this week, so I'm posting reruns of some of the better articles from when Goodmath/Badmath was on Blogger. Todays is a combination of two short posts on…
Berlinski responds: A Digested Debate
I thought that for a followup to yesterday's repost of my takedown of Berlinksi, that today I'd show you a digested version of the debate that ensued when Berlinksi showed…
A Lambda Calculus rerun
I'm on vacation this week, so I'm recycling some posts that I thought were particularly interesting to give you something to read. ------------ In computer science, especially in the field…
Bad Math from David Berlinksi
I'm away on vacation this week, so this is a repost of one of early GM/BM entries when it was on Blogger. As usual, I've revised it slightly. Berlinksi actually…
Vacation Time
I'm leaving on vacation today. I'll be away for a week, with intermittent internet access. And even when I have access, I doubt I'll have much time to do blog-related…
Poincare, Perelman, and Prizes
About 10 days ago, I wrote about [Grigory Perelman and his proof of the Poincare conjecture][poincare]. This is a quick followup. There's a more detailed story over on [Seed][seed]. The…
Working in Industry vs Working in Academia
Over the six months tåhat I've been writing this blog, I've gotten a bunch of email from people asking about what it's like working as a researcher in industry vs…
Ultimate Spaghetti Coding with Linguine
Todays dose of programming pathology is a monstrosity called *Linguine*. Linguine is a language that (obviously) carries spaghetti code to an extreme. You can see the [language specification][linguine-spec], or download…
Topological Spaces
Yesterday, I introduced the idea of a *metric space*, and then used it to define *open* and *closed* sets in the space. (And of course, being a bozo, I managed…