Details

Autor(en) / Beteiligte

• Hämeen-Anttila, Maria,
• Von Plato, Jan,

Titel

Kurt Gödel : the Princeton lectures on intuitionism

Ort / Verlag

Cham, Switzerland : Springer International Publishing,

Erscheinungsjahr

[2021]

Link zum Volltext

• SpringerLink Books - AutoHoldings

Beschreibungen/Notizen

• Includes bibliographical references and index.
• Intro -- Preface -- Acknowledgements -- Contents -- Introduction: Gödel's functional interpretation in context -- Content of the lectures -- Sources -- The intuitionistic viewpoint -- Between intuitionistic and classical logic -- Vagueness and absurdity: Gödel's critique of intuitionism -- The constructive system Σ and the calculability question -- Interpretation of intuitionistic arithmetic in system Σ -- Applications of the Σ-translation -- After the seventeen-year silence -- Princeton Lectures on Intuitionism -- Notebook 1 -- Notebook 2 -- Proof of the soundness of the intuitionistic axioms -- Notes on recursive functions -- References -- Index of names in the Princeton Lectures.
• Description based on print version record.