I have posted an article about today's anniversary to the frontpage.
tk raises three points, all interesting, about a three sentence paragraph from my last post:
- What is reason? I don't think reason is reducible to logical inference. Before I give a proper response, a counter question: why are Aristotle and Frege missing from your Boole, Hilbert, Brouwer, Gentzen, etc list? Especially in the context of Objectivism, omitting Aristotle seems perverse!
- Respect for people and respect for their beliefs. I think if you really respect someone, you should respect their beliefs. Of course you should not accept every belief you respect; for most people this is a sure route to inconsistency.
- On cults: I have more to say, but in view of todays date I will wait before I reply.
I had a short dialog with Bob Solovay following Bram's and my recent comments on playing games with sentences of ZF set theory. I'll post something about this in the not too distant future, I just want to say I have at very long last solved the puzzle thanks to a kind hint of Bob's.