www.wikidata.de-de.nina.az
Anne Sjerp Troelstra 10 August 1939 in Maartensdijk bei Utrecht 7 Marz 2019 in Blaricum war ein niederlandischer mathematischer Logiker Troelstra rechts mit Helmut Schwichtenberg und Yiannis Moschovakis links Oberwolfach 2002 Inhaltsverzeichnis 1 Werdegang 2 Schriften 3 Auszeichnungen 4 Weblinks 5 VerweiseWerdegang BearbeitenTroelstra ging in Eindhoven auf das Gymnasium und studierte ab 1957 Mathematik an der Universitat Amsterdam wo er nach dem Abschluss Doctoraalexamen 1964 Assistenzprofessor 1 war und 1966 bei Arend Heyting uber intuitionistische Topologie promoviert wurde Danach war er als Post Doc an der Stanford University bei Georg Kreisel 1968 hielt er Vorlesungen uber intuitionistische Logik an der State University of New York at Stony Brook SUNY Im selben Jahr wurde er Dozent 2 fur Analysis und 1970 als Nachfolger von Heyting ordentlicher Professor fur Reine Mathematik und Grundlagen der Mathematik an der Universitat Amsterdam 2000 wurde er emeritiert Er war Gastprofessor in Oxford 1973 74 der Albert Ludwigs Universitat Freiburg der Universitat Siena und der Universitat Bern Troelstra beschaftigte sich anfangs mit intuitionistischer Metamathematik Choice Sequences und Kleene Realisierbarkeit Seit 1976 war er Mitglied der Koniglich Niederlandischen Akademie der Wissenschaften und seit 1996 korrespondierendes Mitglied der Bayerischen Akademie der Wissenschaften 1996 erhielt er den Friedrich L Bauer Preis Er schrieb mehrere historische Bucher uber Reisen von Naturwissenschaftlern Schriften BearbeitenPrinciples of Intuitionism Lectures Presented at the Summer Conference on Intuitionism and Proof Theory 1968 at SUNY at Buffalo N Y Lecture Notes in Mathematics 95 Springer Berlin u a 1969 Maschinenschriftlich vervielfaltigt als Herausgeber Metamathematical Investigation of Intuitionistic Arithmetic and Analysis Lecture Notes in Mathematics 344 Springer Berlin u a 1973 ISBN 3 540 06491 5 2nd corrected edition ILLC Prepublications Series X 93 05 Institute for Logic u a Amsterdam 1993 Choice Sequences A Chapter of Intuitionistic Mathematics Clarendon Press Oxford 1977 ISBN 0 19 853163 X mit Dirk van Dalen Constructivism in Mathematics An Introduction Studies in Logic and the Foundations of Mathematics 121 und 123 2 Bande North Holland Amsterdam 1988 ISBN 0 444 70266 0 Bd 1 ISBN 0 444 70358 6 Bd 2 Lectures on Linear Logic CSLI Lecture Notes 29 CSLI Menlo Park CA u a 1992 ISBN 0 937073 78 4 mit Helmut Schwichtenberg Basic Proof Theory Cambridge Tracts in Theoretical Computer Science 43 Cambridge University Press Cambridge u a 1996 ISBN 0 521 57223 1 2 Auflage ebenda 2000 ISBN 0 521 77911 1 Tijgers op de Ararat Natuurhistorische reisverhalen 1700 1950 Atlas Amsterdam 2003 ISBN 90 450 1082 8 Niederlandisch uber Reisen unter anderem von Linne Alexander von Humboldt Darwin Joseph Hooker Auszeichnungen Bearbeiten1996 wurde er mit dem Friedrich L Bauer Preis geehrt Weblinks BearbeitenHomepage Memento vom 1 Juni 2002 im Internet Archive Verweise Bearbeiten Troelstra gibt in seinem englischen Lebenslauf auch Lecturer an Troelstra gibt in seinem englischen Lebenslauf Reader anNormdaten Person GND 131940058 lobid OGND AKS LCCN n50012539 VIAF 44365390 Wikipedia Personensuche PersonendatenNAME Troelstra AnneALTERNATIVNAMEN Troelstra Anne S Troelstra Anne SjerpKURZBESCHREIBUNG niederlandischer mathematischer Logiker und HochschullehrerGEBURTSDATUM 10 August 1939GEBURTSORT MaartensdijkSTERBEDATUM 7 Marz 2019STERBEORT Blaricum Abgerufen von https de wikipedia org w index php title Anne Troelstra amp oldid 186768607