close
Sari la conținut

Gerhard Gentzen

De la Wikipedia, enciclopedia liberă
Gerhard Gentzen
Image
Date personale
Născut[1][2][3][4] Modificați la Wikidata
Greifswald, Regatul Prusiei[5] Modificați la Wikidata
Decedat (35 de ani)[1][2][3][4] Modificați la Wikidata
Praga, Cehoslovacia[5] Modificați la Wikidata
ÎnmormântatĎáblický hřbitov[*][[Ďáblický hřbitov (cemetery in Prague, Czech Republic)|]][6] Modificați la Wikidata
CetățenieImage Regatul Prusiei
Image Republica de la Weimar
Image Germania Nazistă Modificați la Wikidata
Ocupațiematematician
filosof
pedagog[*]
cadru didactic universitar[*]
logician[*][[logician (person specializing in formal logic)|]] Modificați la Wikidata
Limbi vorbitelimba germană[1][7] Modificați la Wikidata
Activitate
Domeniumatematică[8]
logică[8]
logică matematică[8]
teoria numerelor[8]
teoria demonstrației[*][8]  Modificați la Wikidata
InstituțieUniversitatea Carolină[9]
Universitatea Georg-August din Göttingen[9]
Wehrmacht[9]  Modificați la Wikidata
Alma MaterUniversitatea Georg-August din Göttingen[9]
Universitatea din Greifswald[9]
Universitatea Ludwig Maximilian din München[9]
Universitatea Frederic Wilhelm din Berlin[*][9]
Universitatea Georg-August din Göttingen[9]  Modificați la Wikidata
OrganizațiiSturmabteilung[9]
Nationalsozialistischer Deutscher Dozentenbund[*][[Nationalsozialistischer Deutscher Dozentenbund (organization)|]][9]  Modificați la Wikidata
Conducător de doctoratPaul Bernays
Hermann Weyl[*][[Hermann Weyl (matematician german)|]]  Modificați la Wikidata
Cunoscut pentruGentzen's consistency proof[*][[Gentzen's consistency proof (mathematical logic concept)|]]  Modificați la Wikidata

Gerhard Karl Erich Gentzen (n. 24 noiembrie 1909 - d. 4 august 1945) a fost un matematician și logician german. A adus contribuții însemnate în fundamentele matematicii, teoria demonstrației și logica matematică.

Este primul matematician care a reușit să demonstreze necontradicția pentru aritmetica pură prin folosirea concretă a numerelor ordinale transfinite ale lui Cantor, până la un număr ordinal determinat, constructiv definibil. De asemenea, a definit natura numerelor ordinale transfinite prin fracții zecimale finite, ordonate după mărimea lor.

  1. 1 2 3 Bibliothèque nationale de France. „Gerhard Gentzen” (în franceză). Autoritatea BnF[*]. Wikidata Q19938912. Accesat în .
  2. 1 2 „Gerhard Gentzen”. MacTutor History of Mathematics archive. Wikidata Q547473. Accesat în .
  3. 1 2 „Gerhard Karl Erich Gentzen” (în germană). Brockhaus Enzyklopädie[*]. . OL 19088695W. Wikidata Q237227. Accesat în .
  4. 1 2 „Internet Philosophy Ontology project” (în engleză). Wikidata Q6023365. Accesat în .
  5. 1 2 diferiți autori (). „Biographisches Lexikon zur Geschichte der böhmischen Länder” (în germană). Biographisches Lexikon zur Geschichte der böhmischen Länder[*]. Wikidata Q97678517. Accesat în .
  6. https://www.matfyz.cz/clanky/putovani-po-hrobech-slavnych-matematiku-fyziku-astronomu-xix-dablicky-hrbitov. Lipsește sau este vid: |title= (ajutor)
  7. „Gerhard Gentzen”. Národní autority České republiky[*]. Wikidata Q13550863. Accesat în .
  8. 1 2 3 4 5 „Gerhard Gentzen”. Národní autority České republiky[*]. Wikidata Q13550863. Accesat în .
  9. 1 2 3 4 5 6 7 8 9 10 „Gerhard Gentzen”. MacTutor History of Mathematics archive. Wikidata Q547473.