This HTML5 document contains 246 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbthttp://dbpedia.org/resource/Template:
n50http://azb.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbrhttp://dbpedia.org/resource/
n22http://gdz.sub.uni-goettingen.de/dms/resolveppn/
dbpedia-arhttp://ar.dbpedia.org/resource/
n26http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n48http://viaf.org/viaf/
schemahttp://schema.org/
n36http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
n51https://dblp.org/pid/190/
dbpedia-mkhttp://mk.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-cshttp://cs.dbpedia.org/resource/
n45http://ht.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n39http://d-nb.info/gnd/
dbphttp://dbpedia.org/property/
n40https://www.ams.org/bookstore-getitem/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
n35http://data.bibliotheken.nl/id/thes/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbpedia-nlhttp://nl.dbpedia.org/resource/
yago-reshttp://yago-knowledge.org/resource/
n29https://global.dbpedia.org/id/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
n41https://archive.org/details/
dbpedia-fahttp://fa.dbpedia.org/resource/
n30http://arz.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbr:Gerhard_Gentzen
rdf:type
yago:WikicatPeopleFromGreifswald wikidata:Q901 yago:CausalAgent100007347 dbo:Scientist schema:Person yago:Organism100004475 yago:Leader109623038 yago:WikicatLogicians yago:WikicatGermanPhilosophers dbo:Eukaryote foaf:Person yago:Mathematician110301261 yago:WikicatGermanNaziPoliticians yago:WikicatPeopleFromTheProvinceOfPomerania n26:NaturalPerson yago:Philosopher110423589 dbo:Person yago:Person100007846 yago:LivingThing100004258 yago:Expert109617867 dbo:Animal yago:Whole100003553 yago:Intellectual109621545 yago:PhysicalEntity100001930 yago:Politician110450303 yago:Scientist110560637 yago:WikicatEthnicGermanPeople wikidata:Q729 yago:Logician110269785 yago:WikicatGermanMathematicians wikidata:Q5 owl:Thing wikidata:Q215627 yago:Scholar110557854 yago:Wikicat20th-centuryMathematicians yago:Object100002684 yago:WikicatGermanLogicians wikidata:Q19088 yago:YagoLegalActor yago:YagoLegalActorGeo dbo:Species
rdfs:label
Генцен, Герхард 格哈德·根岑 ゲルハルト・ゲンツェン Gerhard Gentzen غيرهارت غنتزن Ґергард Ґенцен Gerhard Gentzen Gerhard Gentzen Gerhard Gentzen Gerhard Gentzen Gerhard Gentzen 게르하르트 겐첸 Gerhard Gentzen Gerhard Gentzen Gerhard Gentzen Gerhard Gentzen
rdfs:comment
Gerhard Karl Erich Gentzen (Greifswald, 24 de Novembro de 1909 — Praga, 4 de Agosto de 1945) foi um matemático e lógico alemão. Suas maiores contribuições foram dadas em fundamentos da matemática, teoria da prova, especialmente em dedução natural e cálculo de sequentes. Gentzen morreu em 1945 após a Segunda Guerra Mundial por inanição, três meses depois de ter sido preso em Praga. 게르하르트 카를 에리히 겐첸(독일어: Gerhard Karl Erich Gentzen, 1909–1945)은 독일의 수리논리학자이다. 연역 체계를 발명하여 증명 이론에 큰 공헌을 하였으며 페아노 산술 체계의 일관성을 증명했다. Gerhard Karl Erich Gentzen (24 November 1909 – 4 August 1945) was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died of starvation in a Soviet prison camp in Prague in 1945, having been interned as a German national after the Second World War. Герхард Карл Эрих Генцен (нем. Gerhard Karl Erich Gentzen, 24 ноября 1909 — 4 августа 1945) — немецкий математик и логик, внёс большой вклад в исследование оснований математики и развитие теории доказательств, является создателем исчисления секвенций. Gerhard Karl Erich Gentzen (Greifswald, 24 novembre 1909 – Praga, 4 agosto 1945) è stato un matematico e logico tedesco. Gerhard Karl Erich Gentzen (Greifswald, 24 november 1909 - Praag, 4 augustus 1945) was een Duits wiskundige en logicus. In 1928 behaalde hij zijn diploma aan het gymnasium van Stralsund. Van 1929 tot 1933 was hij aan de Universiteit van Göttingen een van de studenten van Hermann Weyl. Gentzens belangrijkste werk was op het gebied van de grondslagen van de wiskunde, in de bewijstheorie, in het bijzonder de natuurlijke deductie en de . Zijn is de hoeksteen van de , en enkele filosofische opmerkingen in zijn "Onderzoek naar logische gevolgtrekkingen" vormen, samen met Ludwig Wittgensteins aforisme dat "betekenis gebruik is", het uitgangspunt voor de . Gentzen bewees in 1936 de consistentie van de axioma's van Peano. Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Gerhard Gentzen (alemany: Gerhard Karl Erich Gentzen) (Greifswald, 24 de novembre de 1909 - Praga, 4 d'agost de 1945) fou un matemàtic i lògic alemany. Va néixer a Greifswald (Alemanya) i va morir a Praga (República Txeca). 格哈德·根岑（Gerhard Karl Erich Gentzen，1909年11月24日－1945年8月4日）是德国的数学家和逻辑学家。 他生于德国的格赖夫斯瓦尔德，在1929年到1933年期间是赫尔曼·外尔在哥廷根大学的学生之一。在1934年到1943年間他是大卫·希尔伯特在哥廷根大学的助手。從1943年起他是布拉格大學的教授。他的主要工作是数学基础中的证明论，特别是自然演绎和相继式演算。他的切消定理是证明论语义的基石，《逻辑演绎研究》中的某些哲学评论和维特根斯坦的格言"意义是使用"一起建立了的基础。 他是納粹黨和沖鋒隊的成員，在1945年5月7日隨所有在布拉格的德國人一起被逮捕之后，饿死于布拉格附近的战俘营中。 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 zavedení 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ě povolal jako docenta do Prahy. Ґергард Карл Еріх Ґенцен (нім. Gerhard Karl Erich Gentzen, 24 листопада 1909 — 4 серпня 1945) — німецький математик і логік. Зробив вагомий внесок до основ математики, теорії доведення, зокрема і числення секвенцій. Gerhard Gentzen (ur. 24 listopada 1909 w Greifswaldzie, zm. 4 sierpnia 1945 w Pradze) – niemiecki matematyk i logik. Prace Gentzena w dziedzinie logiki miały duży wpływ na powstanie systemów dowodzenia twierdzeń. غيرهارت كارل إريش غنتزن (24 نوفمبر 1909 - 4 أغسطس 1945) عالم رياضيات ومنطق ألماني. ساهم إسهامًا كبيرًا في أسس الرياضيات، ونظرية البرهان، وخصوصًا في الاستنتاج الطبيعي وحساب المتسلسل. توفي من الجوع في أحد معسكرات الاعتقال السوفيتية في براغ في عام 1945، بعد أن تم احتجازه كمواطن ألماني بعد الحرب العالمية الثانية. Gerhard Gentzen (24 novembre 1909 à Greifswald - 4 août 1945 à Prague) est un mathématicien et logicien allemand, dont l'œuvre est fondamentale en théorie de la démonstration. Il fut l’un des étudiants de Weyl à l'université de Göttingen de 1929 à 1933. Il est mort dans un camp de prisonniers de guerre en 1945, après avoir été arrêté par les soviets à cause de ses loyautés nazies. ゲルハルト・カール・エーリヒ・ゲンツェン（Gerhard Karl Erich Gentzen、1909年11月24日 - 1945年8月4日）はドイツの論理学者・数学者。ヘルマン・ワイルとパウル・ベルナイスの弟子。ゲッティンゲン大学でワイルに学び、1934年に学位を取得。プラハ大学で講師となる。1945年、第二次世界大戦でソ連軍に捕らえられ、プラハの捕虜収容所で栄養失調のため死去した。 主要な業績は、自然演繹 NK, NJ とシークエント計算 LK, LJ と呼ばれる証明論の体系の確立である。 自然演繹の体系は、「自然」の名の通り実際の人間の推論過程に近い直観的で分かりやすい体系である。 一方、シーケント計算は、最小限の公理 A → A と、構造および論理結合子に関する推論規則からなる。 NK, LK は古典論理を扱い、NJ, LJ は直観主義論理を扱う。ゲンツェンはこの LK においてカット除去定理 （基本定理） を証明した。 この定理は、ある定理を導く論理の道筋には、その定理自身と公理より複雑なものは現れないようにできることを示し、 LK の完全性の証明に使われた。 他に純粋算術の無矛盾性証明などの業績がある。 「すべての」を意味する記号∀を使い始めたのもゲンツェンである。 Gerhard Gentzen (Greifswald, Alemania, 24 de noviembre de 1909 - Praga, República Checa, 4 de agosto de 1945) fue un matemático y lógico alemán. Fue un estudiante de Weyl en la Universidad de Gotinga entre 1929 y 1933. Sus principales trabajos fueron en fundamentos de la matemática y la teoría de la demostración. En 1934, Gentzen introduce la noción de sistema de deducción natural para lógica clásica y lógica intuicionista. Demuestra que toda prueba puede escribirse de manera normalizada sin cortes. Para ello introduce el o secuentes.
foaf:name
Gerhard Gentzen
dbp:name
Gerhard Gentzen
foaf:depiction
n36:Gerhard_Gentzen.jpg
dbo:birthPlace
dbr:Greifswald dbr:Germany
dbo:deathPlace
dbr:Prague dbr:Czechoslovakia
dbp:deathPlace
dbr:Czechoslovakia dbr:Prague
dbo:deathDate
1945-08-04
dbp:birthPlace
dbr:Germany dbr:Greifswald
dbo:birthDate
1909-11-24
dcterms:subject
dbc:1945_deaths dbc:Charles_University_faculty dbc:German_logicians dbc:20th-century_German_mathematicians dbc:Deaths_by_starvation dbc:People_from_the_Province_of_Pomerania dbc:People_from_Greifswald dbc:Nazis_who_died_in_prison_custody dbc:German_people_who_died_in_Soviet_detention dbc:20th-century_German_philosophers dbc:Nazi_Party_members dbc:1909_births dbc:University_of_Göttingen_alumni
dbo:wikiPageID
46027
dbo:wikiPageRevisionID
1117829327
dbo:wikiPageWikiLink
dbr:Proof-theoretic_semantics dbr:Kurt_Gödel dbc:Charles_University_faculty dbr:Chosen_People dbc:German_logicians dbr:Czechoslovakia dbr:Gödel's_incompleteness_theorem dbr:Sequent_calculus dbr:Germany dbc:20th-century_German_mathematicians dbc:Deaths_by_starvation dbr:National_Socialist_German_Lecturers_League dbr:Aryan dbr:Bertrand_Russell dbr:Ordinal_analysis dbc:People_from_the_Province_of_Pomerania dbr:Karl-Ferdinands-Universität dbr:Nazi_Party dbr:Hitler_Oath dbc:People_from_Greifswald dbc:German_people_who_died_in_Soviet_detention dbr:Inferential_role_semantics dbc:Nazis_who_died_in_prison_custody dbc:20th-century_German_philosophers dbr:Peano_axioms dbr:Proof_theory dbr:Logician dbr:Prague_uprising dbr:Cut-elimination_theorem dbr:Starvation dbr:Institute_for_Advanced_Study dbc:Nazi_Party_members dbr:Foundations_of_mathematics dbr:Sturmabteilung dbr:University_of_Göttingen dbr:Second_World_War dbr:Mathematics dbr:Deutsche_Mathematik dbr:Habilitation dbr:Prague dbr:Mathematician dbr:Paul_Bernays dbr:Greifswald dbr:Hermann_Weyl dbr:Schutzstaffel dbr:Abraham_Fraenkel dbc:1909_births dbr:Gentzen's_consistency_proof dbr:David_Hilbert dbr:Ludwig_Wittgenstein dbr:Adolf_Hitler dbr:V-2 dbc:University_of_Göttingen_alumni dbr:Natural_deduction dbr:Ludwig_Bieberbach dbc:1945_deaths
dbo:wikiPageExternalLink
n22:%3FPPN=GDZPPN002376741 n22:%3FPPN=GDZPPN002275872%7Clast1=Gentzen%7Cfirst1=Gerhard n22:%3FPPN=GDZPPN002281287 n22:%3FPPN=GDZPPN002375508%7Clast1=Gentzen%7Cfirst1=Gerhard n22:%3FPPN=GDZPPN002375605%7Clast1=Gentzen%7Cfirst1=Gerhard n22:%3FPPN=GDZPPN002042649 n22:%3FPPN=GDZPPN002044366%7Cissue=3%E2%80%934%7Cs2cid=117444881 n22:%3FPPN=GDZPPN002044374%7Cissue=3%E2%80%934%7Cs2cid=120131107 n40:item=hmath-33 n41:collectedpaperso0000gent n22:%3FPPN=GDZPPN002278391
owl:sameAs
dbpedia-es:Gerhard_Gentzen dbpedia-de:Gerhard_Gentzen yago-res:Gerhard_Gentzen dbpedia-sr:Герхард_Генцен dbpedia-cs:Gerhard_Gentzen dbpedia-ar:غيرهارت_غنتزن dbpedia-ca:Gerhard_Gentzen dbpedia-sk:Gerhard_Gentzen dbpedia-nl:Gerhard_Gentzen dbpedia-fr:Gerhard_Gentzen freebase:m.0cgsm dbpedia-ja:ゲルハルト・ゲンツェン n29:4nksP n30:جيرهارت_جنتزن dbpedia-pt:Gerhard_Gentzen dbpedia-pl:Gerhard_Gentzen dbpedia-ko:게르하르트_겐첸 n35:p068552238 dbpedia-zh:格哈德·根岑 dbpedia-ro:Gerhard_Gentzen n39:117710458 wikidata:Q60502 dbpedia-mk:Герхард_Генцен dbpedia-ru:Генцен,_Герхард n45:Gerhard_Gentzen dbpedia-fa:گرهارد_گنتسن dbpedia-uk:Ґергард_Ґенцен n48:22269649 dbpedia-it:Gerhard_Gentzen n50:قرهارد_قنتسن n51:6010
dbp:wikiPageUsesTemplate
dbt:Use_dmy_dates dbt:Infobox_scientist dbt:Reflist dbt:MathGenealogy dbt:Birth_date dbt:Cite_journal dbt:Portal dbt:Death_date_and_age dbt:Citation dbt:Short_description dbt:MacTutor_Biography dbt:Authority_control
dbo:thumbnail
n36:Gerhard_Gentzen.jpg?width=300
dbp:almaMater
dbr:University_of_Göttingen
dbp:birthDate
1909-11-24
dbp:caption
Gerhard Gentzen in Prague, 1945.
dbp:deathDate
1945-08-04
dbp:fields
dbr:Mathematics
dbp:nationality
dbr:Germany
dbo:abstract
Gerhard Gentzen (Greifswald, Alemania, 24 de noviembre de 1909 - Praga, República Checa, 4 de agosto de 1945) fue un matemático y lógico alemán. Fue un estudiante de Weyl en la Universidad de Gotinga entre 1929 y 1933. Sus principales trabajos fueron en fundamentos de la matemática y la teoría de la demostración. En 1934, Gentzen introduce la noción de sistema de deducción natural para lógica clásica y lógica intuicionista. Demuestra que toda prueba puede escribirse de manera normalizada sin cortes. Para ello introduce el o secuentes. En 1936, Gentzen demuestra la consistencia de la teoría elemental de números. Como parte del esfuerzo de guerra alemán, fue nombrado profesor en la Universidad alemana de Praga. Capturado por los soviéticos, murió como prisionero poco después de terminar la guerra. Gerhard Karl Erich Gentzen (Greifswald, 24 november 1909 - Praag, 4 augustus 1945) was een Duits wiskundige en logicus. In 1928 behaalde hij zijn diploma aan het gymnasium van Stralsund. Van 1929 tot 1933 was hij aan de Universiteit van Göttingen een van de studenten van Hermann Weyl. Gentzens belangrijkste werk was op het gebied van de grondslagen van de wiskunde, in de bewijstheorie, in het bijzonder de natuurlijke deductie en de . Zijn is de hoeksteen van de , en enkele filosofische opmerkingen in zijn "Onderzoek naar logische gevolgtrekkingen" vormen, samen met Ludwig Wittgensteins aforisme dat "betekenis gebruik is", het uitgangspunt voor de . Gentzen bewees in 1936 de consistentie van de axioma's van Peano. Gentzen was lid van de NSDAP en de SA. Tussen 1934 en 1943 was hij assistent van David Hilbert in Göttingen. Sinds 1943 was hij hoogleraar aan de universiteit van Praag. Na de oorlog stierf hij de hongerdood in Praag, nadat hij op 7 mei 1945, net als alle andere Duitsers in Praag was gearresteerd. Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Ґергард Карл Еріх Ґенцен (нім. Gerhard Karl Erich Gentzen, 24 листопада 1909 — 4 серпня 1945) — німецький математик і логік. Зробив вагомий внесок до основ математики, теорії доведення, зокрема і числення секвенцій. Gerhard Gentzen (ur. 24 listopada 1909 w Greifswaldzie, zm. 4 sierpnia 1945 w Pradze) – niemiecki matematyk i logik. Prace Gentzena w dziedzinie logiki miały duży wpływ na powstanie systemów dowodzenia twierdzeń. 格哈德·根岑（Gerhard Karl Erich Gentzen，1909年11月24日－1945年8月4日）是德国的数学家和逻辑学家。 他生于德国的格赖夫斯瓦尔德，在1929年到1933年期间是赫尔曼·外尔在哥廷根大学的学生之一。在1934年到1943年間他是大卫·希尔伯特在哥廷根大学的助手。從1943年起他是布拉格大學的教授。他的主要工作是数学基础中的证明论，特别是自然演绎和相继式演算。他的切消定理是证明论语义的基石，《逻辑演绎研究》中的某些哲学评论和维特根斯坦的格言"意义是使用"一起建立了的基础。 他是納粹黨和沖鋒隊的成員，在1945年5月7日隨所有在布拉格的德國人一起被逮捕之后，饿死于布拉格附近的战俘营中。 Герхард Карл Эрих Генцен (нем. Gerhard Karl Erich Gentzen, 24 ноября 1909 — 4 августа 1945) — немецкий математик и логик, внёс большой вклад в исследование оснований математики и развитие теории доказательств, является создателем исчисления секвенций. Gerhard Gentzen (24 novembre 1909 à Greifswald - 4 août 1945 à Prague) est un mathématicien et logicien allemand, dont l'œuvre est fondamentale en théorie de la démonstration. Il fut l’un des étudiants de Weyl à l'université de Göttingen de 1929 à 1933. Il est mort dans un camp de prisonniers de guerre en 1945, après avoir été arrêté par les soviets à cause de ses loyautés nazies. غيرهارت كارل إريش غنتزن (24 نوفمبر 1909 - 4 أغسطس 1945) عالم رياضيات ومنطق ألماني. ساهم إسهامًا كبيرًا في أسس الرياضيات، ونظرية البرهان، وخصوصًا في الاستنتاج الطبيعي وحساب المتسلسل. توفي من الجوع في أحد معسكرات الاعتقال السوفيتية في براغ في عام 1945، بعد أن تم احتجازه كمواطن ألماني بعد الحرب العالمية الثانية. Gerhard Karl Erich Gentzen (Greifswald, 24 novembre 1909 – Praga, 4 agosto 1945) è stato un matematico e logico tedesco. 게르하르트 카를 에리히 겐첸(독일어: Gerhard Karl Erich Gentzen, 1909–1945)은 독일의 수리논리학자이다. 연역 체계를 발명하여 증명 이론에 큰 공헌을 하였으며 페아노 산술 체계의 일관성을 증명했다. Gerhard Gentzen (alemany: Gerhard Karl Erich Gentzen) (Greifswald, 24 de novembre de 1909 - Praga, 4 d'agost de 1945) fou un matemàtic i lògic alemany. Va néixer a Greifswald (Alemanya) i va morir a Praga (República Txeca). ゲルハルト・カール・エーリヒ・ゲンツェン（Gerhard Karl Erich Gentzen、1909年11月24日 - 1945年8月4日）はドイツの論理学者・数学者。ヘルマン・ワイルとパウル・ベルナイスの弟子。ゲッティンゲン大学でワイルに学び、1934年に学位を取得。プラハ大学で講師となる。1945年、第二次世界大戦でソ連軍に捕らえられ、プラハの捕虜収容所で栄養失調のため死去した。 主要な業績は、自然演繹 NK, NJ とシークエント計算 LK, LJ と呼ばれる証明論の体系の確立である。 自然演繹の体系は、「自然」の名の通り実際の人間の推論過程に近い直観的で分かりやすい体系である。 一方、シーケント計算は、最小限の公理 A → A と、構造および論理結合子に関する推論規則からなる。 NK, LK は古典論理を扱い、NJ, LJ は直観主義論理を扱う。ゲンツェンはこの LK においてカット除去定理 （基本定理） を証明した。 この定理は、ある定理を導く論理の道筋には、その定理自身と公理より複雑なものは現れないようにできることを示し、 LK の完全性の証明に使われた。 他に純粋算術の無矛盾性証明などの業績がある。 「すべての」を意味する記号∀を使い始めたのもゲンツェンである。 Gerhard Karl Erich Gentzen (24 November 1909 – 4 August 1945) was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died of starvation in a Soviet prison camp in Prague in 1945, having been interned as a German national after the Second World War. 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 zavedení 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ě 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. Pohřben byl na Ďáblickém hřbitově. Gerhard Karl Erich Gentzen (Greifswald, 24 de Novembro de 1909 — Praga, 4 de Agosto de 1945) foi um matemático e lógico alemão. Suas maiores contribuições foram dadas em fundamentos da matemática, teoria da prova, especialmente em dedução natural e cálculo de sequentes. Gentzen morreu em 1945 após a Segunda Guerra Mundial por inanição, três meses depois de ter sido preso em Praga.
dbp:deathCause
dbr:Starvation
dbp:doctoralAdvisor
dbr:Paul_Bernays
dbo:doctoralAdvisor
dbr:Paul_Bernays
gold:hypernym
dbr:Mathematician
schema:sameAs
n48:22269649
prov:wasDerivedFrom
wikipedia-en:Gerhard_Gentzen?oldid=1117829327&ns=0
dbo:wikiPageLength
10803
dbo:deathCause
dbr:Starvation
dbo:academicDiscipline
dbr:Mathematics
dbo:almaMater
dbr:University_of_Göttingen
dbo:nationality
dbr:Germany
foaf:isPrimaryTopicOf
wikipedia-en:Gerhard_Gentzen