Arend Heyting
Arend Heyting (Flemenkçe: [ˈꞪɛi̯tɪŋ]; d. 9 Mayıs 1898, Amsterdam - ö. 9 Temmuz 1980, Lugano) Hollandalı matematikçi ve mantıkçıdır.
Arend Heyting | |
|---|---|
.jpg) Arend Heyting (1967) | |
| Doğum | 9 Mayıs 1898 Amsterdam, Hollanda |
| Ölüm | 9 Temmuz 1980 (82 yaşında) Lugano, İsviçre |
| Milliyet | Hollandalı |
| Eğitim | Amsterdam Üniversitesi |
| Tanınma nedeni | Heyting cebir Heyting aritmetik Sezgici matematiğe katkıları |
| Kariyeri | |
| Dalı | Matematik |
| Çalıştığı kurumlar | Amsterdam Üniversitesi |
| Doktora danışmanı | L. E. J. Brouwer |
| Doktora öğrencileri | Anne Sjerp Troelstra Dirk van Dalen |
Biyografi
değiştirHeyting, Hollanda'nın Amsterdam şehrinde doğdu ve İsviçre'nin Lugano kentinde öldü.
Amsterdam Üniversitesi Luitzen Egbertus Jan Brouwer'ın öğrencisiydi ve sezgici matematiğin matematiksel mantığın bir parçası haline gelebilmesi için çalıştı. Heyting, Brouwer'in matematiksel çalışma biçimini kodlamak için sezgisel mantığı biçimsel olarak geliştirdi. Brouwer'in adının Brouwer-Heyting-Kolmogorov yorumuna dahil edilmesi büyük ölçüde onursaldır, çünkü Brouwer prensipte bazı sezgisel ilkelerin resmîleştirilmesine karşı çıkmıştır (ve Heyting'in çalışmasını "verimsiz bir egzersiz" olarak adlandıracak kadar ileri gitmiştir).[1]
1942'de Hollanda Kraliyet Sanat ve Bilim Akademisi'ne üye oldu.[2]
Seçilmiş Yayınlar
değiştir- Heyting, A. (1930) Die formalen Regeln der intuitionistischen Logik. (Almanca) 3 bölüm, İçinde: Sitzungsberichte der preußischen Akademie der Wissenschaften. fiz.-matematik. Klasse, 1930, 42–56, 57-71, 158-169.
- Heyting, A. (1934) Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Springer, Berlin.[3]
- Heyting, A. (1941) Untersuchungen der intuitionistische Algebra. (Almanca) Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Mezhep. 1. 18. no. 2, 36 pp.
- Heyting, A. (1956) Sezgisellik. Giriş. North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1959) Sezgisel düzlem afin geometrisi için aksiyomlar. Aksiyomatik yöntem. Geometri ve fiziğe özel referansla. Univ'de düzenlenen Uluslararası Sempozyum Bildirileri of Calif., Berkeley, Aralık 26, 1957 – 4 Ocak 1958 (düzenleyen L. Henkin, P. Suppes ve A. Tarski) s. 160–173 Mantıkta Çalışmalar ve Matematiğin Temelleri North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1962) Otuz yıl sonra. 1962 Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.) S. 194–197 Stanford Univ. Basın, Stanford, Calif.
- Heyting, A. (1963) Aksiyomatik projektif geometri. Bibliotheca Mathematica, Cilt. V. Interscience Publishers, John Wiley & Sons, Inc., New York; P. Noordhoff NV, Groningen; North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1966) Sezgicilik: Giriş. Revize edilmiş ikinci baskı North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1973) Address to Professor A. Robinson. Brouwer anma dersi vesilesiyle Prof. A. Robinson, 26 Nisan 1973. Nieuw Arch. Wisk. (3) 21, s. 134–137.
- Heyting, A. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (Almanca) Yeni baskı. Springer-Verlag, Berlin – New York.
- Heyting, A. (1980) Axiomatic projektif geometri. İkinci baskı. Bibliotheca Mathematica [Matematik Kütüphanesi], V. Wolters-Noordhoff Scientific Publications, Ltd., Groningen; North-Holland Publishing Co., Amsterdam – New York.
Kaynakça
değiştir- ^ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.
- ^ "Arend Heyting (1898 - 1980)". Royal Netherlands Academy of Arts and Sciences. 26 Şubat 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 28 Temmuz 2015.
- ^ Church, Alonzo (1935). "Review: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie by A. Heyting". Bull. Amer. Math. Soc. 41: 476-477. doi:10.1090/S0002-9904-1935-06126-9.