Arend Heyting

Vikipedi, özgür ansiklopedi
Arend Heyting
Arend Heyting (1967).jpg
Arend Heyting (1967)
Doğum 9 Mayıs 1898(1898-05-09)
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

Arend Heyting (Flemenkçe: [ˈꞪɛi̯tɪŋ]; 9 Mayıs 1898 – 9 Temmuz 1980) Hollandalı matematikçi ve mantıkçıdır.

Biyografi[değiştir | kaynağı değiştir]

Heyting, Hollanda'nın Amsterdam şehrinde doğdu ve İsviçre'nin Lugano kentinde öldü.

Amsterdam Üniversitesi'nde 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 resmileş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 | kaynağı 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. hayır. 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 | kaynağı değiştir]

  1. ^ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.
  2. ^ "Arend Heyting (1898 - 1980)". Royal Netherlands Academy of Arts and Sciences. Erişim tarihi: 28 Temmuz 2015. 
  3. ^ 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. 

Dış bağlantılar[değiştir | kaynağı değiştir]

O'Connor, John J.; Robertson, Edmund F., "Arend Heyting", MacTutor Matematik Tarihi arşivi