|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910513580003321 |
|
|
Autore |
Hämeen-Anttila Maria |
|
|
Titolo |
Kurt Gödel : the Princeton lectures on intuitionism / / Maria Hämeen-Anttila and Jan von Plato |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer International Publishing, , [2021] |
|
©2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (ix, 133 pages) |
|
|
|
|
|
|
Collana |
|
Sources and studies in the history of mathematics and physical sciences, , 2196-8829 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Intuitionistic mathematics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
|