Facets of Incompleteness

John W. Dawson
Additional contact information
John W. Dawson: Pennsylvania State University

A chapter in Mathematical Logic and Its Applications, 1987, pp 9-21 from Springer

Abstract: Abstract Great intellectual discoveries, like fine gems held up before the eyes, continue to fascinate and to reveal new facets as they are beheld in the eye of the mind. As an example of this phenomenon, we may consider the Gődel incompleteness theorems, which, during the 55 years since their discovery, have repeatedly yielded new insights in the course of ongoing reinterpretation.

Keywords: Modal Logic; Turing Machine; Completeness Theorem; Peano Arithmetic; Incompleteness Theorem (search for similar items in EconPapers)
Date: 1987
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4613-0897-3_2

Ordering information: This item can be ordered from
http://www.springer.com/9781461308973

DOI: 10.1007/978-1-4613-0897-3_2

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().