Poarta, inchiriere

Închiriere Poarta
Data nașterii 9 mai 1898( 09.05.1898 ) [1] [2] [3] […]
Locul nașterii
Data mortii 9 iulie 1980( 09-07-1980 ) [1] [4] [2] […] (în vârstă de 82 de ani)
Un loc al morții
Țară
Sfera științifică matematica
Loc de munca
Alma Mater
consilier științific Brouwer, Leutzen Egbert Jahn [5]

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ă

Note

  1. 1 2 3 4 Arhiva Istoria Matematicii MacTutor
  2. 1 2 Arend Heyting // Enciclopedia Brockhaus  (germană) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
  3. Arend Heijting // Biografisch Portaal - 2009.
  4. 1 2 3 4 5 6 Album Academicum - 2007.
  5. Genealogia matematică  (engleză) - 1997.