Arend Heyting
Arend Heyting.jpg)
| Narození |
9. května 1898 Amsterdam |
|---|---|
| Smrt |
9. července 1980(u 82) Lugano |
| Státní příslušnost | holandský |
| Výcvik | University of Amsterdam (1916-1922) |
| Činnosti | Matematik , univerzitní profesor |
| Pracoval pro | Q2658642 (1922-1936) , Amsterdamská univerzita (15. září 1937 -21. května 1948) , Amsterdamská univerzita (1 st October roku 1948 -12. dubna 1965) , Amsterdamská univerzita (12. dubna 1965 -1 st September 1968) , Amsterdamská univerzita (12. dubna 1965 -1 st September 1968) |
|---|---|
| Pole | Matematika |
| Člen | Holandská královská akademie umění a věd |
| Mistr | Gerrit Mannoury ( v ) |
| Dozorce | Luitzen Egbertus Jan Brouwer (1925) |
| Heyting algebra , Brouwer-Heyting-Kolmogorov Interpretation , Heyting arithmetic ( d ) , complete Heyting algebra ( d ) , Heyting field ( d ) |
Arend Heyting ( Amsterdam v Nizozemsku ,9. května 1898- Lugano ve Švýcarsku ,9. července 1980) je nizozemský matematik a logik . Byl žákem Luitzena Egberta Jana Brouwera na univerzitě v Amsterdamu a pomohl učinit intuitivní logiku součástí matematické logiky .
Životopis
Podívejte se také
Bibliografie
- Základy matematiky, intuice, teorie důkazu , Gauthier-Villars, Nauwelaerts, 1955, 91 stran.
Související články
- Heyting algebra
- Aritmetická hejtování (en)
- Body Heyting (cs)
externí odkazy
-
Autoritní záznamy :
- Virtuální mezinárodní autoritní soubor
- Mezinárodní standardní identifikátor jména
- Francouzská národní knihovna ( údaje )
- Univerzitní dokumentační systém
- Knihovna Kongresu
- Gemeinsame Normdatei
- Nizozemská královská knihovna
- Polská univerzitní knihovna
- Katalánská národní knihovna
- Norská knihovna Base
- Česká národní knihovna
- Lotyšská národní knihovna
- ID WorldCat
- WorldCat
- (en) John J. O'Connor a Edmund F. Robertson , „Arend Heyting“ , v archivu MacTutor History of Mathematics , University of St Andrews ( číst online ).