Poarta, inchiriere
Arend Geyting ( olandez. Arend Heyting ; 9 mai 1898 , Amsterdam - 9 iulie 1980 , Lugano ) - matematician și logician olandez , student și adept al lui L. E. Ya. Brouwer , membru al Academiei de Științe din Țările de Jos. A absolvit Universitatea din Amsterdam ( 1922 ). A lucrat acolo (din 1948 - profesor ). Cercetările sunt dedicate fundamentelor matematicii. Unul dintre cei mai proeminenți reprezentanți ai intuiționismului după Brouwer , a publicat o lucrare subliniind regulile formale ale logicii propoziționale intuiționiste . Logica intuitivă a devenit parte a logicii matematice .
Vezi și
Link -uri
Literatură
- Geyting A. Intuiţionism: Per. din engleza. 1965. 200 p.
- Geyting A. Treizeci de ani mai târziu // Logica matematică și aplicațiile ei. M., 1965. S. 225.
- Geyting A. Revizuirea cercetărilor privind fundamentele matematicii. M., 1936
Note
- ↑ 1 2 3 4 Arhiva Istoria Matematicii MacTutor
- ↑ 1 2 Arend Heyting // Enciclopedia Brockhaus (germană) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Arend Heijting // Biografisch Portaal - 2009.
- ↑ 1 2 3 4 5 6 Album Academicum - 2007.
- ↑ Genealogia matematică (engleză) - 1997.
Site-uri tematice |
|
---|
Dicționare și enciclopedii |
|
---|
În cataloagele bibliografice |
---|
|
|