Anne Sjerp Troelstra - Anne Sjerp Troelstra
Anne Sjerp Troelstra | |
|---|---|
| doğmuş |
10 Ağustos 1939 |
| Öldü | 7 Mart 2019 (79 yaşında) |
| milliyet | Flemenkçe |
| gidilen okul | Amsterdam Üniversitesi |
| Bilimsel kariyer | |
| Alanlar | Matematik |
| Kurumlar | Amsterdam Üniversitesi |
| Tez | Sezgisel Genel Topoloji (1966) |
| Doktora danışmanı | Arend Heyting |
| Doktora öğrencileri | Ieke Moerdijk |
Anne Sjerp Troelstra (1939 10 Ağustos - 7 Mart 2019) profesörü oldu saf matematik ve matematik temelleri at Mantık, Dil ve Hesaplama Enstitüsü arasında (ILLC) Amsterdam Üniversitesi .
O bir oldu yapılandırmacı mantıkçı gelişiminde etkili olmuştur, sezgisel mantık ile Georg Kreisel , o teorisinin bir geliştirici oldu seçim dizileri . Doğrusal mantık üzerine ilk metinlerden birini yazdı ve Helmut Schwichtenberg ile birlikte ispat teorisi üzerine önemli bir kitap yazdı .
1976'da Hollanda Kraliyet Sanat ve Bilim Akademisi'ne üye oldu . Troelstra, 7 Mart 2019'da öldü.
Notlar
- ^ MARTIN LÖB (1921-2006) Arşivlenen Aralık 2006 23 Wayback Machine
- ^ Marion, Mathieu (1998), Wittgenstein, Finitism, and the Foundations of Mathematics , New York: Oxford University Press, s. 205, ISBN 0-19-823516-X
- ^ Jervell, Herman Ruge (1996), "Review: Lectures on Linear Logic by AS Troelstra", Journal of Symbolic Logic , 61 (1): 336–38, doi : 10.2307/2275616
- ^ Dyckhoff, Roy (1998), "İnceleme: AS Troelstra tarafından Temel Kanıt Teorisi ; H. Schwichtenberg", Journal of Symbolic Logic , 63 (4): 1605–06, doi : 10.2307/2586674
- ^ "Anne Troelstra" . Hollanda Kraliyet Sanat ve Bilim Akademisi. Arşivlenmiş orijinal 14 Şubat 2016 tarihinde . Erişim tarihi: 14 Şubat 2016 .
- ^ "Anne Troelstra (1939-2019)" . illc.uva.nl . Erişim tarihi: 13 Mart 2019 .
Dış bağlantılar
- AS Troelstra'nın Ana Sayfası : Ölü Bağlantı - Arşivlendi : AS Troelstra'nın Ana Sayfası : Erişim tarihi: 27 Haziran 2018
- Anne Sjerp Troelstra at Matematik Şecere Projesi
  
|
Hollandalı bir bilim insanı ile ilgili bu madde bir taslaktır . Wikipedia'yı genişleterek yardım edebilirsiniz . |
 |
Avrupalı bir matematikçi ile ilgili bu madde taslak seviyesindedir . Wikipedia'yı genişleterek yardım edebilirsiniz . |