Arend Heyting - Arend Heyting - Wikipedia

Arend Heyting
Arend Heyting (1967) .jpg
Arend Heyting (1967)
narozený(1898-05-09)9. května 1898
Amsterdam, Holandsko
Zemřel9. července 1980(1980-07-09) (ve věku 82)
Lugano, Švýcarsko
Národnostholandský
Alma materUniversity of Amsterdam
Známý jakoHeyting algebra
Heyting aritmetic
Příspěvky do intuicionismus
Vědecká kariéra
PoleMatematika
InstituceUniversity of Amsterdam
Doktorský poradceL. E. J. Brouwer
DoktorandiAnne Sjerp Troelstra
Dirk van Dalen

Arend Heyting (Holandský:[ˈꞪɛi̯tɪŋ]; 9. května 1898 - 9. července 1980) byl a holandský matematik a logik.

Životopis

Heyting byl studentem Luitzen Egbertus Jan Brouwer na University of Amsterdam a udělal hodně intuicionistická logika na půdě, kde by se mohla stát součástí matematická logika. Heyting dal první formální vývoj intuicionistické logiky, aby kodifikoval Brouwerův způsob matematiky. Zahrnutí Brouwerova jména do Brouwer – Heyting – Kolmogorovova interpretace je do značné míry čestný, protože Brouwer byl v zásadě proti formalizaci určitých intuitivních principů (a šel až k tomu, že Heytingovu práci nazval „sterilním cvičením“).[1]

V roce 1942 se stal členem Nizozemská královská akademie umění a věd.[2]

Heyting se narodil v roce Amsterdam, Holandsko a zemřel v Lugano, Švýcarsko.

Vybrané publikace

  • Heyting, A. (1930) Die formalen Regeln der intuitionistischen Logik. (Německy) 3 části, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. fyz.-matematika Klasse, 1930, 42–56, 57–71, 158–169.
  • Heyting, A. (1934) Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Springer, Berlín.[3]
  • Heyting, A. (1941) Untersuchungen der intuitionistische Algebra. (Německy) Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Sekta. 1. 18. č. 2, 36 stran
  • Heyting, A. (1956) Intuicionismus. Úvod. North-Holland Publishing Co., Amsterdam.
  • Heyting, A. (1959) Axiomy pro intuitivní rovinnou afinní geometrii. Axiomatická metoda. Se zvláštním odkazem na geometrii a fyziku. Sborník z mezinárodního sympozia konaného na Univ. Calif., Berkeley, 26. prosince 1957 - 4. ledna 1958 (editor L. Henkin, P. Suppes a A. Tarski), str. 160–173 Studies in Logic and the Foundations of Mathematics North-Holland Publishing Co. , Amsterdam.
  • Heyting, A. (1962) Po třiceti letech. 1962 Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.) Str. 194–197 Stanford Univ. Press, Stanford, Kalifornie.
  • Heyting, A. (1963) Axiomatická projektivní geometrie. Bibliotheca Mathematica, sv. V. Interscience Publishers John Wiley & Sons, Inc., New York; P. Noordhoff N.V., Groningen; North-Holland Publishing Co., Amsterdam.
  • Heyting, A. (1966) Intuicionismus: Úvod. Druhé přepracované vydání North-Holland Publishing Co., Amsterdam.
  • Heyting, A. (1973) Projev profesora A. Robinsona. U příležitosti Brouwerovy vzpomínkové přednášky prof. A. Robinsona 26. dubna 1973. Nieuw Arch. Wisk. (3) 21, s. 134–137.
  • Heyting, A. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (Německy) Dotisk. Springer-Verlag, Berlín – New York.
  • Heyting, A. (1980) Axiomatická projektivní geometrie. Druhé vydání. Bibliotheca Mathematica [knihovna matematiky], V. Wolters-Noordhoff Scientific Publications, Ltd., Groningen; North-Holland Publishing Co., Amsterdam – New York.

Reference

  1. ^ Walter P. van Stigt (1990). Brouwerův intuicionismus. Amsterdam: Severní Holandsko.
  2. ^ „Arend Heyting (1898 - 1980)“. Nizozemská královská akademie umění a věd. Citováno 28. července 2015.
  3. ^ Kostel, Alonzo (1935). "Posouzení: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie A. Heyting “. Býk. Amer. Matematika. Soc. 41: 476–477. doi:10.1090 / S0002-9904-1935-06126-9.

externí odkazy