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.

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

1942'de Hollanda Kraliyet Sanat ve Bilim Akademisi'ne üye oldu.

 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.
 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 

 Dış bağlantılar 


Kategori:1898 doğumlular
Kategori:Amsterdam doğumlu matematikçiler
Kategori:1980'de ölenler
Kategori:Lugano'da ölenler
Kategori:Sezgicilik
Kategori:Amsterdam Üniversitesinde öğrenim görenler
Kategori:Kraliyet Hollanda Bilimler Akademisi üyeleri
Kategori:Hollandalı matematikçiler