Gating, Rent

Pronájem brány
Datum narození 9. května 1898( 1898-05-09 ) [1] [2] [3] […]
Místo narození
Datum úmrtí 9. července 1980( 1980-07-09 ) [1] [4] [2] […] (ve věku 82 let)
Místo smrti
Země
Vědecká sféra matematika
Místo výkonu práce
Alma mater
vědecký poradce Brouwer, Leutzen Egbert Jahn [5]

Arend Geyting ( Nizozemština.  Arend Heyting ; 9. května 1898 , Amsterdam  - 9. července 1980 , Lugano ) - holandský matematik a logik , student a následovník L. E. Ya. Brouwer , člen Nizozemské akademie věd. Absolvoval univerzitu v Amsterdamu ( 1922 ). Působil zde (od roku 1948  - profesor ). Výzkumy se věnují základům matematiky. Jeden z nejvýznamnějších představitelů intuicionismu po Brouwerovi publikoval práci nastiňující formální pravidlaintuicionistická výroková logika . Intuicionistická logika se stala součástí matematické logiky .

Viz také

Odkazy

Literatura

Poznámky

  1. ↑ 1 2 3 4 Archiv historie matematiky MacTutor
  2. ↑ 1 2 Arend Heyting // Encyklopedie Brockhaus  (německy) / 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. ↑ Matematická genealogie  (anglicky) - 1997.
  Přejděte na položku Wikidata  Tematické stránky
Slovníky a encyklopedie