The present volume contains most of the papers given at the 1983 Gödel-Symposium in Salzburg, held at the Institut für Wissenschaftstheorie of the International Research Center Salzburg under the auspices of the Austrian Academy of Science and the Institut für Wissenschaftstheorie. It was sponsored by the same two institutions.
The idea was to bring together scholars who have known Kurt Gödel personally, and who have discussed with him scientific, philosophical and personal matters. Fortunately, it was possible to get such people who had personal contact with Gödel at different periods of his life, thereby complementing each other’s accounts. His brother Rudolf who remembers their childhood, and especially their mother. Taussky-Todd knew Gödel in his student years (from 1925 on), afterwards as a doctor and «Privatdozent», mainly in Vienna. Kleene had contacts with Gödel, attended Gödel’s lectures at Princeton 1933/34, of which he prepared notes together with J. B. Rosser, and kept in touch. Kreisel had discussions with Gödel after the second world war. The contributers deal with topics concerning Gödel’s life and interests from their personal points of view.
Author(s): Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.)
Series: History of Logic, Volume 4
Publisher: Bibliopolis
Year: 1987
Language: English
Commentary: Scanned, DjVu'ed, OCR'ed, TOC by Envoy
Pages: 197
City: Napoli
Cover ......Page 1
Contents ......Page 8
Foreword ......Page 10
Rudolf Gödel - History of the Gödel family ......Page 12
Olga Taussky-Todd - Remembrances of Kurt Gödel ......Page 30
Appendix: Ernst Zermelo - A letter to Reinhold Baer ......Page 44
Stephen C. Kleene - Gödel’s impression on students of logic in the 1930s ......Page 50
References ......Page 62
Georg Kreisel - Gödel’s excursions into intuitionistic logic ......Page 66
Table of contents ......Page 68
1. Background and a manifesto ......Page 79
2. Early metamathematics of systems for intuitionistic logic ......Page 81
3. Effective rules ......Page 98
4. Effective rules of finite type ......Page 105
Appendix 1. Gödel’s expository style in the thirties: a neglected aspect ......Page 122
Appendix 2. Some corresponding high spots of early classical and intuitionistic logic ......Page 133
Notes ......Page 144
References ......Page 182
List of active participants ......Page 188
Photoalbum ......Page 189