Arend Heyting
Arend Heyting.jpg)
| Fødsel |
9. mai 1898 Amsterdam |
|---|---|
| Død |
9. juli 1980(kl. 82) Lugano |
| Nasjonalitet | nederlandsk |
| Opplæring | Universitetet i Amsterdam (1916-1922) |
| Aktiviteter | Matematiker , universitetsprofessor |
| Jobbet for | Q2658642 (1922-1936) , Universitetet i Amsterdam (15. september 1937 -21. mai 1948) , Universitetet i Amsterdam (1 st oktober 1948 -12. april 1965) , Universitetet i Amsterdam (12. april 1965 -1 st September 1968) , Universitetet i Amsterdam (12. april 1965 -1 st September 1968) |
|---|---|
| Felt | Matematikk |
| Medlem av | Royal Dutch Academy of Arts and Sciences |
| Herre | Gerrit Mannoury ( i ) |
| Veileder | Luitzen Egbertus Jan Brouwer (1925) |
| Heyting-algebra , Brouwer-Heyting-Kolmogorov-tolkning , Heyting-aritmetikk ( d ) , komplett Heyting-algebra ( d ) , Heyting-felt ( d ) |
Arend Heyting ( Amsterdam i Nederland ,9. mai 1898- Lugano i Sveits ,9. juli 1980) er en nederlandsk matematiker og logiker . Han var elev av Luitzen Egbertus Jan Brouwer ved Universitetet i Amsterdam , og var medvirkende til å gjøre intuisjonistisk logikk til en del av matematisk logikk .
Biografi
Se også
Bibliografi
- The Foundations of Mathematics, Intuitionism, Theory of Proof , Gauthier-Villars, Nauwelaerts, 1955, 91 sider.
Relaterte artikler
- Heyting algebra
- Arithmetic Heyting (en)
- Body Heyting (en)
Eksterne linker
-
Myndighetsregistreringer :
- Virtuell internasjonal myndighetsfil
- Internasjonal standardnavnidentifikator
- Nasjonalbiblioteket i Frankrike ( data )
- Universitetsdokumentasjonssystem
- Library of Congress
- Gemeinsame Normdatei
- Royal Netherlands Library
- Universitetsbiblioteket i Polen
- Nasjonalbiblioteket i Catalonia
- Norsk biblioteksbase
- Tsjekkiske nasjonalbiblioteket
- Nasjonalbiblioteket i Latvia
- WorldCat Id
- WorldCat
- (en) John J. O'Connor og Edmund F. Robertson , "Arend Heyting" , i MacTutor History of Mathematics archive , University of St. Andrews ( les online ).