Comment

Comment by Bakkot

Well, I'm not going to have a compact answer for you, but to do so you need to develop some kind of self-reference. (Like Godel!) If you like thinking about this sort of thing, Raymond Smullyan has a lot of great writing - I'd recommend eg Forever Undecided or To Mock a Mockingbird for a more informal treatment, or First-Order Logic for a formal one.
parent Bakkot 12 years ago

No comments yet

Be the first to share your thoughts.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton