Gerhard Karl Erich Gentzen (24. listopadu 1909, Greifswald, Německo – 4. srpna 1945, Praha, Československo) byl německý matematik a logik. Jeho hlavní práce tkví v základech matematiky, v teorii důkazů a zavední sekventního kalkulu matematické logiky.Gentzen byl v letech 1939 až 1941 spojařem Wehrmachtu v blízkosti Braunschweigu, mohl se však habilitovat na univerzitě v Göttingenu. V důsledku nemoci byl vojenské služby zproštěn.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Gerhard Karl Erich Gentzen (24. listopadu 1909, Greifswald, Německo – 4. srpna 1945, Praha, Československo) byl německý matematik a logik. Jeho hlavní práce tkví v základech matematiky, v teorii důkazů a zavední sekventního kalkulu matematické logiky.Gentzen byl v letech 1939 až 1941 spojařem Wehrmachtu v blízkosti Braunschweigu, mohl se však habilitovat na univerzitě v Göttingenu. V důsledku nemoci byl vojenské služby zproštěn. V roce 1943 jej profesor matematiky na pražské Německé univerzitě Hans Rohrbach povolal jako docenta do Prahy.Gentzen neodešel do Německa ani po skončení druhé světové války, přestože byl varován. Byl pak v květnu 1945 zatčen jako příslušník NSDAP. Zemřel na podvýživu tři měsíce poté ve vězení na Karlově náměstí v Praze.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 604249 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1682 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 36 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 15782868 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Gerhard Gentzen
dcterms:subject
rdf:type
rdfs:comment
  • Gerhard Karl Erich Gentzen (24. listopadu 1909, Greifswald, Německo – 4. srpna 1945, Praha, Československo) byl německý matematik a logik. Jeho hlavní práce tkví v základech matematiky, v teorii důkazů a zavední sekventního kalkulu matematické logiky.Gentzen byl v letech 1939 až 1941 spojařem Wehrmachtu v blízkosti Braunschweigu, mohl se však habilitovat na univerzitě v Göttingenu. V důsledku nemoci byl vojenské služby zproštěn.
rdfs:label
  • Gerhard Gentzen
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of