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.
-
- anhinga_anhinga (
anhinga_anhinga) wrote,
anhinga_anhinga
anhinga_anhinga
completeness of 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.
-
History of Christmas in America
"Whosoever shall be found observing any such day as Christmas or the like, either by forbearing of labor, feasting or any other way . . . shall pay…
-
25 years of TCP/IP
Google logo says today: "Happy New Year & 25 years of TCP/IP" A full switchover to TCP/IP on the ARPANET took place January 1, 1983. Let's…
-
Опять о теории субъективного
Один из номеров International Journal of Theoretical Physics находился в спецхране Ленинской библиотеки. Вот страшная крамола, которую он содержал:…
- Post a new comment
- 6 comments
- Post a new comment
- 6 comments
