?

Log in

No account? Create an account
Anhinga anhinga
 
[Most Recent Entries] [Calendar View] [Friends View]

Saturday, July 15th, 2006

Time Event
9:01p
completeness of arithmetic??
Recently Esenin-Volpin wrote a paper The Completeness of Classical Arithmetic.

The chances that this is correct are not very high, obviously. The discussion of Goedel incompleteness results is on page 43 (Volpin thinks something is wrong with them, and not with his proof). The core of the Volpin's proof is on pages 39-43, if anyone who likes syntactic logical manipulations wants to look at it.

<< Previous Day 2006/07/15
[Calendar]
Next Day >>
Mishka's Page   About LiveJournal.com