Good Math/Bad Math

Now that we've got intuitionistic logic under our belts, we're ready to get back to lambda calculus: we've got the logical tools...

I've been looking at PEAR again. I know it may seem sort of like beating a dead horse, but PEAR is, I think, something special in its wa...

As promised, today, I'm going to show the Kripke semantics model for intuitionistic logic. Remember from yesterday that a Kripke model h...

Lunasa, "Punch". Trad irish, by the best in the business. Dirty Three, "In fall". The Dirty Three is one of those ...

I received a response to my post Magic-23 from the author of the article I was mocking. As I did earlier with Berklinski, I think that if t...

To get the formal semantics of intuitionistic logic (and thus lambda calculus), we need a tool called Kripke Semantics . Kripke semantics is...

The Skeptics Circle number 35 is up at Skeptico with a special guest blogger! Head on over and check it out, for a good laugh and a lot of ...

It's time for a bit of a side-track from the series of articles about lambda calculus. Models of lambda calculus are based on something ...

There's a new Tangled Bank up a Coturnix. Good stuff, go read. In a related note, since Coturnix mentions his upcoming move, I'll ...

One really weird thing that you can do with math is compare the sizes of infinitely large things. It's a really strange notion, but it...

I was looking at the site-meter statistics for this site, and who was referring to it, and I came across a discussion linking to the Global ...

The ways that creationists play with "big numbers" games never ceases to amaze me. Over the weekend, I came across yet another ext...

Since I posted a couple of items about gematria, and the kinds of gibberish that it can be used to create, I've been receiving tons of ...

As an interesting followup to the post on combinators: an extremely crazy individual actually implemented a SKI combinator calculus interpre...

After yesterdays description of the Y combinator in lambda calculus, I thought it would be fun to show some fun and useful stuff that you ca...

Bach, "Wiewohl Mein Herz In Traenen Schwimmt " from "St. Matthews Passion". Wow, we're off to a good start this ...

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 number...

As the republicans' political fortunes gradually decline, they are naturally going on the warpath to try to discredit any voices speakin...