Interpreting Godel Critical Essays

By:

Kennedy, Juliette

Contributor(s):

Kennedy, Juliette

Material type: Text

TextPublication details: New York Cambridge University Press 2016Description: 279pISBN:

9781316639771

Subject(s):

DDC classification:

N14 K380

Partial contents:

Godel and analytic philosophy: How did we get here?............1 1. Godel on Intuition ...........9 Intuitions of three kinds in Godel`s Views on the Continuum ..............11 Godel on how to have your mathematics and know it too..............32 2. The completeness theorem......57 Completeness and the ends of Axiomatization ........59 Logical Completeness, form and content: An archaeology ..............78 3. Computability and analyticity ......107 Godel`s 1946 princeton bicentennial Lecture: An appreciation ...............109 Analyticity for Realists ........131 4. The set-theoretic multiverse .......151 Godel`s Program ......153 Multiverse set theory and absolutely undecidable propositions .......180 5. The legacy Undecidable problems : A sampler............211 Reflecting on Logical Dreams ..........242

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	DVK Library Stack -> Second Floor -> N	N14 K380 (Browse shelf(Opens below))	Available		22133153

Browsing DVK Library shelves, Shelving location: Stack -> Second Floor -> N Close shelf browser (Hides shelf browser)

Previous	No cover image available		No cover image available		No cover image available			Next
Previous	N14 H874 An Introduction to Modal Logic	N14 J166 The Philosophy of Mathematics	N14 J370 Formal Logic	N14 K380 Interpreting Godel	N14 K558 Language Logic and Mathematics	N14 K640 Logic and Argument	N14 K677 Understanding Symbolic Logic	Next

includes index and biblioraphy

Godel and analytic philosophy: How did we get here?............1
1. Godel on Intuition ...........9
Intuitions of three kinds in Godel`s Views on the Continuum ..............11
Godel on how to have your mathematics and know it too..............32
2. The completeness theorem......57
Completeness and the ends of Axiomatization ........59
Logical Completeness, form and content: An archaeology ..............78
3. Computability and analyticity ......107
Godel`s 1946 princeton bicentennial Lecture: An appreciation ...............109
Analyticity for Realists ........131
4. The set-theoretic multiverse .......151
Godel`s Program ......153
Multiverse set theory and absolutely undecidable propositions .......180
5. The legacy
Undecidable problems : A sampler............211
Reflecting on Logical Dreams ..........242

There are no comments on this title.

to post a comment.