Arend Heyting - Arend Heyting - Wikipedia
Arend Heyting | |
---|---|
![]() Arend Heyting (1967) | |
narozený | |
Zemřel | 9. července 1980 | (ve věku 82)
Národnost | holandský |
Alma mater | University of Amsterdam |
Známý jako | Heyting algebra Heyting aritmetic Příspěvky do intuicionismus |
Vědecká kariéra | |
Pole | Matematika |
Instituce | University of Amsterdam |
Doktorský poradce | L. E. J. Brouwer |
Doktorandi | Anne 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
- ^ Walter P. van Stigt (1990). Brouwerův intuicionismus. Amsterdam: Severní Holandsko.
- ^ „Arend Heyting (1898 - 1980)“. Nizozemská královská akademie umění a věd. Citováno 28. července 2015.
- ^ 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
- O'Connor, John J.; Robertson, Edmund F., „Arend Heyting“, MacTutor Historie archivu matematiky, University of St Andrews.
![]() ![]() ![]() | Tento článek o nizozemském vědci je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
![]() | Tento článek o Evropanovi matematik je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |