Gentzen, Gerhard

Gerhard Genzen
limba germana  Gerhard Karl Erich Gentzen
Data nașterii 24 noiembrie 1909( 24.11.1909 )
Locul nașterii Greifswald , Imperiul German
Data mortii 4 august 1945 (35 de ani)( 04.08.1945 )
Un loc al morții Praga , Cehoslovacia
Țară Imperiul German, Republica Weimar, Al Treilea Reich
Sfera științifică matematica
Loc de munca Universitatea din Göttingen
Universitatea Charles
Alma Mater Universitatea din Göttingen
consilier științific Paul Bernays
Hermann Weyl
 Fișiere media la Wikimedia Commons

Gerhard Karl Erich Gentzen ( german  Gerhard Karl Erich Gentzen , 24 noiembrie 1909  - 4 august 1945 ) - matematician și logician german , a avut o mare contribuție la studiul fundamentelor matematicii și la dezvoltarea teoriei demonstrației , este creatorul calculul secvent .

Biografie

Gerhard Genzen a studiat la Universitatea din Göttingen și a fost studentul lui Paul Bernays . În aprilie 1933, Bernays a fost exclus din universitate din cauza originii sale evreiești ca „nu arian” [1] , iar Hermann Weyl a devenit consilierul științific oficial al lui Gentzen , dar Gentzen, în ciuda riscului uriaș, a continuat să mențină contacte cu Bernays până în începutul războaielor celui de-al Doilea Război Mondial . În 1935, Gentzen a corespondat cu Abraham Frenkel de la Universitatea Ebraică din Ierusalim și a fost stigmatizat de „Uniunea Profesorilor” nazistă pentru acest lucru.

Din noiembrie 1935 până în 1939, Gentzen a fost asistentul lui David Hilbert la Universitatea din Göttingen. În 1937 a devenit membru al Partidului Național Socialist din Germania [2] . Din 1943 a predat la Universitatea Charles din Praga . În mai 1945, ca și alți membri ai Partidului Nazist din Praga, a fost arestat și predat administrației militare sovietice. În august, la trei luni după arestare, a murit în lagăr de epuizare [3] [4] .

Activitate științifică

Lucrarea principală a lui Gentzen este în domeniul fundamentelor matematicii și al teoriei demonstrațiilor .

În 1934 a dezvoltat un sistem de calcul natural (independent, dar simultan cu S. Yaskovsky ).

În 1935 a introdus simbolul pentru cuantificatorul universal [5] [6] .

Teorema sa de eliminare a tăierilor este piatra de temelie a semanticii teoretice a demonstrației . În 1936, Gentzen a dovedit ( demonstrația de consistență a lui  Gentzen ) consistența axiomelor lui Peano , adică consistența aritmeticii [7] ; pentru a face acest lucru, trebuia să adauge o axiomă suplimentară la logica de ordinul întâi ( inducția transfinită fără cuantificatori ). Făcând acest lucru, el a finalizat programul lui Hilbert pentru a oficializa bazele matematicii .

Bibliografie

Postum

Note

  1. ↑ Eckart Menzler-Trott. Geniul pierdut al logicii Viața lui Gerhard Gentzen . Preluat la 12 august 2021. Arhivat din original la 12 august 2021.
  2. ↑ Menzler-Trott, Eckart, p. 119.
  3. ↑ MacTutor .
  4. ↑ Menzler-Trott, Eckart, p. 273 și urm.
  5. ↑ Jeff Miller. Primele utilizări ale simbolurilor teoriei și logicii mulțimilor . Preluat la 10 iunie 2020. Arhivat din original la 4 noiembrie 2019.
  6. ↑ Cajori F. A History of Mathematical Notations. Vol. 2 (retipărire din 1929) . - NY: Cosimo, Inc., 2007. - S. 293-314. - xii + 392p. - ISBN 978-1-60206-713-4 .
  7. ↑ Gentsen G. Consistența teoriei numerelor pure. // Teoria matematică a inferenței logice. Moscova: Nauka, 1967, p. 77-153.

Literatură și referințe

  Accesați articolul Wikidata  Site-uri tematice
Dicționare și enciclopedii