Red, Orange, Yellow 3: Submarine Proof

Both philosophy people and Beatles people should enjoy this one...

I was studying for my final exam in predicate logic, while simultaneously browsing through the Flickr "Song Chart" Pool (thanks to Of Two Minds.) The next thing I know, I’m trying to work out this proof:

i-6c5cf09da51a23196868f99b2432794e-ysubproofsm.jpg

Click the image for the a larger version, with the solution spelled out. If you still don’t get it, just enjoy this instead:

When part one ends, links to the other parts should appear at the bottom of the player.

More like this

Another great basics topic, which came up in the comments from last fridays "logic" post, is the difference between syntax and semantics. This is an important distinction, made in logic, math, and computer science.
Naive set theory is fun, and as we saw with Cantor's diagonalization, it can produce some incredibly beautiful results. But as we've seen before, in the simple world of naive set theory, it's easy to run into trouble, in the form of Russell's paradox and a variety of related problems.
So, what's set theory really about?
In math and computer science, we have a tendency to talk about "going meta". It's actually a

I've never seen this but was amazed how many of the characters appear in Monty Python cameos. And it's a nice trip . . .

By Old Bogus (not verified) on 18 May 2008 #permalink

No over rapidshare crawlers can be compared with Megauploadfiles.com. megauploadfiles.comis a best megaupload search engine.