Arend Heyting
Arend Heyting.jpg)
| Fødsel |
9. maj 1898 Amsterdam |
|---|---|
| Død |
9. juli 1980(kl. 82) Lugano |
| Nationalitet | hollandsk |
| Uddannelse | Amsterdam Universitet (1916-1922) |
| Aktiviteter | Matematiker , universitetsprofessor |
| Arbejdede for | Q2658642 (1922-1936) , Amsterdam Universitet (15. september 1937 -21. maj 1948) , Amsterdam Universitet (1 st oktober 1948 -12. april 1965) , Amsterdam Universitet (12. april 1965 -1 st september 1968) , Amsterdam Universitet (12. april 1965 -1 st september 1968) |
|---|---|
| Mark | Matematik |
| Medlem af | Royal Dutch Academy of Arts and Sciences |
| Mestre | Gerrit Mannoury ( in ) |
| Tilsynsførende | Luitzen Egbertus Jan Brouwer (1925) |
| Heyting algebra , Brouwer-Heyting-Kolmogorov fortolkning , Heyting aritmetik ( d ) , komplet Heyting algebra ( d ) , Heyting felt ( d ) |
Arend Heyting ( Amsterdam i Holland ,9. maj 1898- Lugano i Schweiz ,9. juli 1980) er en hollandsk matematiker og logiker . Han var studerende ved Luitzen Egbertus Jan Brouwer ved universitetet i Amsterdam og var medvirkende til at gøre intuitionistisk logik til en del af matematisk logik .
Biografi
Se også
Bibliografi
- Grundlaget for matematik, intuitionisme, bevisteori , Gauthier-Villars, Nauwelaerts, 1955, 91 sider.
Relaterede artikler
- Heyting algebra
- Aritmetisk Heyting (en)
- Body Heyting (en)
eksterne links
-
Myndighedsposter :
- Virtuel international myndighedsfil
- International standardnavnidentifikator
- Frankrigs Nationalbibliotek ( data )
- Universitetsdokumentationssystem
- Library of Congress
- Gemeinsame Normdatei
- Royal Netherlands Library
- Polens universitetsbibliotek
- Nationalbiblioteket i Catalonien
- Norsk biblioteksbase
- Det Tjekkiske Nationalbibliotek
- Letlands nationalbibliotek
- WorldCat-id
- WorldCat
- (en) John J. O'Connor og Edmund F. Robertson , "Arend Heyting" , i arkivet MacTutor History of Mathematics , University of St. Andrews ( læs online ).