For those of you with family in the military, do y'all send long messages to one another, sometimes going at great length to ask a question in the middle of them, like this email? I liked this very much. A letter between two of the towering intellects of the modern age that is still so accessible and packed with information puts all those fucking content-free PowerPoint info sinks right in their goddamned place.
I also appreciated that it wasn't walled off in scribd or something. I was able to, you know, read the text in a relaxing and "natural" manner. This sounds to me like what we now call the Busy Beaver problem. It's not. Godel is asking, what's the fastest program that can tell if a first order predicate logic formula is provable?
The Gödel Letter
Maybe you were confused by the 'max', but what he's doing is defining the complexity of the prover by the hardest max computational time formula instance for each length n. You still try to handle that maximum difficulty case as efficiently as possible, it just happens to take the longest. For what it's worth, Lipton writes an excellent blog. Well worth adding to your RSS.
The P=NP question and Gödel's lost letter [electronic resource] in SearchWorks catalog
The best answers are voted up and rise to the top. Home Questions Tags Users Unanswered.
Ask Question. Asked 8 years, 8 months ago.
Active 8 years, 7 months ago. Viewed times. Update 2: I've plowed through a pretty considerable portion of the excellent references that Aram provided, and hope to write a summary soon. Update 1: So far, this topic has a ratio of views-to-answers presently to-1 that is large relative to other MathOverflow questions John Sidles John Sidles 15 15 silver badges 31 31 bronze badges.
Sign up or log in Sign up using Google. Sign up using Facebook.
Sign up using Email and Password. Post as a guest Name.
a personal view of the theory of computation
Email Required, but never shown. Featured on Meta. Unicorn Meta Zoo 9: How do we handle problem users?
- Computational Complexity: The Letter!
- Tantric Transformation: When Love Meets Meditation (OSHO Classics);
- Nash beats Gödel: On the history of complexity and cryptography.
- Indian scientist offers proof for P=NP riddle?
- The Colonels Jeep (A thrilling, supernatural novelette).
- Featured channels;
- Descrizione dell’editore.
What do you want to do in September for MO's tenth anniversary? Related
- Mind Your Mommy (Growing Up)?
- Freely available?
- Shop with confidence?
- Freely available?
- Account Options;
- The P=NP Question and Gödel’s Lost Letter | Richard J. Lipton | Springer;
- Stanford Libraries;