Map
Index
Random
Help
th

Quote: Godel's string is equivalent to "I can not be proved in the formal system"

topics > all references > references g-h > QuoteRef: hofsDR_1979 , p. 465 [



Topic:
Godel's incompleteness theorem
Topic:
Liar's paradox and Russell's paradox

Note

Godel's string is equivalent to "I cannot be proven in formal system TNT


Related Topics up

Topic: Godel's incompleteness theorem (19 items)
Topic: Liar's paradox and Russell's paradox (25 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.