A. S. Troelstra

A. S. Troelstra

Anne Sjerp Troelstra (born August 10, 1939 at Maartensdijk (Utrecht), The Netherlands) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

He is a constructivist logician, who has been influential in the development of intuitionistic logic [ [http://www.daimi.au.dk/~dp/Arkiv/Oktober2001/profil.html Daimiposten - Oktober 2001 ] ] [ [http://www.ozsl.uu.nl/MartinLob.html MARTIN LÖB (1921-2006) ] ] . With George Kreisel, he was a developer of the theory of choice sequences [Mathieu Marion, "Wittgenstein, Finitism, and the Foundations of Mathematics" (1998), p. 205.] . He also wrote one of the first texts on linear logic ( [http://links.jstor.org/sici?sici=0022-4812(199603)61%3A1%3C336%3ALL%3E2.0.CO%3B2-W reviewed by H. Jervell] ) and with H. Schwichtenberg he co-wrote an important book on proof theory. [http://links.jstor.org/sici?sici=0022-4812(199812)63%3A4%3C1605%3ABPT%3E2.0.CO%3B2-I]

Notes

External links

* [http://staff.science.uva.nl/~anne/ Home page of A. S. Troelstra]
* [http://www.genealogy.ams.org/id.php?id=45627 Mathematical Genealogy page]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Troelstra — ist der Name folgender Personen: Anne Troelstra (* 1939), niederländischer Mathematiker Pieter Jelles Troelstra (1860–1930), niederländischer Politiker und Dichter Diese Seite ist eine Begriffsklärung zur Unterscheidung …   Deutsch Wikipedia

  • Troelstra —   [ truːlstraː], Pieter Jelles, niederländischer Politiker und Schriftsteller, * Leeuwarden 20. 4. 1860, ✝ Scheveningen (heute zu Den Haag) 12. 5. 1930; Rechtsanwalt; ab 1890 Mitglied des Sociaal Democratische Bond, war 1894 Mitgründer der… …   Universal-Lexikon

  • TROELSTRA, Pieter Jelles — (1860–1930)    Socialist politician. When the Socialist Party of Ferdinand Domela Nieuwenhuisbegan to lean toward anarchism, a new Sociaal Democratische Arbeiderspartij (SDAP, Social Democratic Labor Party) was founded in 1894, of which Troelstra …   Historical Dictionary of the Netherlands

  • Troelstra, Pieter Jelles — ▪ Dutch statesman born April 20, 1860, Leeuwarden, Neth. died May 12, 1930, The Hague       Dutch socialist statesman and poet, who founded the Social Democratic Labour Party and headed the Dutch labour movement from 1894 to 1924.       An… …   Universalium

  • Pieter Jelles Troelstra — (Leeuwarden, 20 April 1860 – The Hague, 12 May 1930) was a Dutch politician active in the socialist workers movement. He is most remembered for his fight for universal suffrage and his failed call for revolution at the end of World War I.… …   Wikipedia

  • Jelles Troelstra — Pieter Jelles Troelstra (links) zusammen mit Hjalmar Branting auf der schwedischen Friedenskonferenz 1917 in Stockholm Pieter Jelles Troelstra (* 20. April 1860 in Leeuwarden, Niederlande; † 12. Mai …   Deutsch Wikipedia

  • Pieter Jelles Troelstra — (links) zusammen mit Hjalmar Branting auf der schwedischen Friedenskonferenz 1917 in Stockholm Pieter Jelles Troelstra (* 20. April 1860 in Leeuwarden, Niederlande; † 12. Mai 1930 in Den Haag …   Deutsch Wikipedia

  • Anne Troelstra — Anne Sjerp Troelstra (* 10. August 1939 in Maartensdijk bei Utrecht) ist ein niederländischer mathematischer Logiker. Troelstra (rechts) mit Helmut Schwichtenberg und Yiannis Moschovakis (links), Oberwolfach 2002 Troelstra ging in Eindhoven auf… …   Deutsch Wikipedia

  • Трульстра — (Troelstra)         Питер Йеллес (20.4.1860, Леуварден, 12.5.1930, Схевенинген, близ Гааги), нидерландский политический деятель. По образованию юрист. С 1893 член Социал демократического союза Нидерландов, в котором возглавлял группу… …   Большая советская энциклопедия

  • ТРУЛЬСТРА — (Troelstra), Питер Йеллес (20.IV.1860 12.V.1930) нидерл. политич. деятель, поэт. Род. в г. Леувардене. Получил юридич. образование в Гронингенском ун те. С 1893 чл. Социал демократического союза Нидерландов, в к ром возглавлял группу… …   Советская историческая энциклопедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”