Zum Inhalt springen

Anne Troelstra

aus Wikipedia, der freien Enzyklopädie
Datei:Moschovakis Schwichtenberg Troelstra.jpg
Troelstra (rechts) mit Helmut Schwichtenberg und Yiannis Moschovakis (links), Oberwolfach 2002

Anne Sjerp Troelstra (* 10. August 1939 in Maartensdijk bei Utrecht; † 7. März 2019 in Blaricum) war ein niederländischer mathematischer Logiker.

Werdegang

Troelstra ging in Eindhoven auf das Gymnasium und studierte ab 1957 Mathematik an der Universität Amsterdam, wo er nach dem Abschluss (Doctoraalexamen) 1964 Assistenzprofessor<ref>Troelstra gibt in seinem englischen Lebenslauf auch Lecturer an</ref> war und 1966 bei Arend Heyting über intuitionistische Topologie promoviert wurde. Danach war er als Post-Doc an der Stanford University bei Georg Kreisel. 1968 hielt er Vorlesungen über intuitionistische Logik an der State University of New York at Stony Brook (SUNY). Im selben Jahr wurde er Dozent<ref>Troelstra gibt in seinem englischen Lebenslauf Reader an</ref> für Analysis und 1970 als Nachfolger von Heyting ordentlicher Professor für Reine Mathematik und Grundlagen der Mathematik an der Universität Amsterdam. 2000 wurde er emeritiert. Er war Gastprofessor in Oxford (1973/74), der Albert-Ludwigs-Universität Freiburg, der Universität Siena und der Universität Bern.

Troelstra beschäftigte sich anfangs mit intuitionistischer Metamathematik (Choice Sequences) und Kleene-Realisierbarkeit.

Seit 1976 war er Mitglied der Königlich-Niederländischen 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 Bücher über Reisen von Naturwissenschaftlern.

Schriften

  • Principles 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 vervielfältigt).
  • 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 Bände. 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 (Niederländisch, über Reisen unter anderem von Linné, Alexander von Humboldt, Darwin, Joseph Hooker).

Auszeichnungen

Weblinks

  • <templatestyles src="Webarchiv/styles.css" />{{#if:20020601075329
      | {{#ifeq: 20020601075329 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Homepage | {{#invoke:WLink|getEscapedTitle|Homepage}} | {{#invoke:Webarchiv|getdomain|http://staff.science.uva.nl/~anne/}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20020601075329}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Homepage | {{#invoke:WLink|getEscapedTitle|Homepage}} | {{#invoke:Webarchiv|getdomain|http://staff.science.uva.nl/~anne/}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20020601075329}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Homepage | {{#invoke:WLink|getEscapedTitle|Homepage}} | {{#invoke:Webarchiv|getdomain|http://staff.science.uva.nl/~anne/}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Homepage | {{#invoke:WLink|getEscapedTitle|Homepage}} | {{#invoke:Webarchiv|getdomain|http://staff.science.uva.nl/~anne/}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Homepage | {{#invoke:WLink|getEscapedTitle|Homepage}} | {{#invoke:Webarchiv|getdomain|http://staff.science.uva.nl/~anne/}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Homepage | {{#invoke:WLink|getEscapedTitle|Homepage}} | {{#invoke:Webarchiv|getdomain|http://staff.science.uva.nl/~anne/}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20020601075329|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://staff.science.uva.nl/~anne/}}
    || {{#if:  || }}
  }}{{#if: Homepage
    | {{#if: {{#invoke:WLink|isBracketedLink|Homepage}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://staff.science.uva.nl/~anne/%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://staff.science.uva.nl/~anne/%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://staff.science.uva.nl/~anne/ }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}

Verweise

<references />

{{#ifeq: p | p | | {{#if: 131940058n/50/1253944365390 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 131940058n/50/1253944365390 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 131940058 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 131940058 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/50/12539 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/50/12539 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 44365390 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 44365390 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Troelstra, Anne | {{#if: Troelstra, Anne S.; Troelstra, Anne Sjerp | {{#if: niederländischer mathematischer Logiker und Hochschullehrer | {{#if: 10. August 1939 | {{#if: Maartensdijk | {{#if: 7. März 2019 | {{#if: Blaricum |
Personendaten
NAME Troelstra, Anne

}}

ALTERNATIVNAMEN Troelstra, Anne S.; Troelstra, Anne Sjerp

}}

KURZBESCHREIBUNG niederländischer mathematischer Logiker und Hochschullehrer

}}

GEBURTSDATUM 10. August 1939

}}

GEBURTSORT Maartensdijk

}}

STERBEDATUM 7. März 2019

}}

STERBEORT Blaricum

}}

Vorlage:Wikidata-Registrierung

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Anne_Troelstra&oldid=2003061“