Port, Leje
Arend Geyting ( hollandsk. Arend Heyting ; 9. maj 1898 , Amsterdam - 9. juli 1980 , Lugano ) - hollandsk matematiker og logiker , studerende og tilhænger af L. E. Ya. Brouwer , medlem af det hollandske videnskabsakademi. Uddannet fra universitetet i Amsterdam ( 1922 ). Han arbejdede der (siden 1948 - professor ). Forskning er viet til matematikkens grundlag. En af de mest fremtrædende repræsentanter for intuitionismen efter Brouwer udgav et værk, der skitserede de formelle reglerintuitionistisk propositionel logik . Intuitionistisk logik blev en del af matematisk logik .
Se også
Links
Litteratur
- Geyting A. Intuitionisme: Per. fra engelsk. 1965. 200 s.
- Geyting A. Tredive år senere // Matematisk logik og dens anvendelser. M., 1965. S. 225.
- Geyting A. Gennemgang af forskning i matematikkens grundlag. M., 1936
Noter
- ↑ 1 2 3 4 MacTutor History of Mathematics Archive
- ↑ 1 2 Arend Heyting // Brockhaus Encyclopedia (tysk) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Arend Heijting // Biografisch Portaal - 2009.
- ↑ 1 2 3 4 5 6 Album Academicum - 2007.
- ↑ Matematisk genealogi (engelsk) - 1997.
 Tematiske steder |
|
|---|
| Ordbøger og encyklopædier |
|
|---|
| I bibliografiske kataloger |
|---|
|
|
|
Tematiske steder