Port, Leje

Lej Gating
Fødselsdato 9. maj 1898( 09-05-1898 ) [1] [2] [3] […]
Fødselssted
Dødsdato 9. juli 1980( 1980-07-09 ) [1] [4] [2] […] (82 år)
Et dødssted
Land
Videnskabelig sfære matematik
Arbejdsplads
Alma Mater
videnskabelig rådgiver Brouwer, Leutzen Egbert Jahn [5]

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

Noter

  1. 1 2 3 4 MacTutor History of Mathematics Archive
  2. 1 2 Arend Heyting // Brockhaus Encyclopedia  (tysk) / 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. Matematisk genealogi  (engelsk) - 1997.