Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

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. 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 History Of The Gödel Family / Rudolf Gödel -- Remembrances Of Kurt Gödel / Olga Taussky-todd -- Appendix--ernst Zermelo, A Letter To Reinhold Baer -- Gödel's Impression On Students Of Logic In The 1930s / Stephen C. Kleene -- Gödel's Excursions Into Intuitionistic Logic / Georg Kreisel. R. Gödel ... [et Al.] ; Edited By Paul Weingartner And Leopold Schmetterer. Symposium Sponsored By Österreichische Akademie Der Wissenschaften, Wien And Institut Für Wissenschaftstheorie, Salzburg. Includes Bibliographies. History of the Gödel family / Rudolf Gödel Remembrances of Kurt Gödel / Olga Taussky-Todd Appendix Ernst Zermelo, a letter to Reinhold Baer Gödel's impression on students of logic in the 1930s / Stephen C. Kleene Gödel's excursions into intuitionistic logic / Georg Kreisel.