Arend Heyting

Arend Heyting
Arend Heyting (1967)
Doğum9 Mayıs 1898(1898-05-09)
Amsterdam, Hollanda
Ölüm9 Temmuz 1980 (82 yaşında)
Lugano, İsviçre
MilliyetHollandalı
EğitimAmsterdam Üniversitesi
Tanınma nedeniHeyting cebir
Heyting aritmetik
Sezgici matematiğe katkıları
Kariyeri
DalıMatematik
Çalıştığı kurumlarAmsterdam Üniversitesi
Doktora
danışmanı		L. E. J. Brouwer
Doktora öğrencileriAnne Sjerp Troelstra
Dirk van Dalen

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

Biyografi

Heyting, 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

  • 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

  1. ^ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.
  2. ^ "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. 
  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

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!