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.

PropertyValue
dbpedia-owl:abstract
  • 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 (November 24, 1909 – August 4, 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 in 1945 after the Second World War, because he was deprived of food after being arrested in Prague.
  • 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 sequentiële calculus. Zijn snede-eliminatiestelling is de hoeksteen van de bewijstheoretische semantiek, en enkele filosofische opmerkingen in zijn "Onderzoek naar logische gevolgtrekkingen" vormen, samen met Ludwig Wittgensteins aforisme dat "betekenis gebruik is", het uitgangspunt voor de inferentiële rolsemantiek. 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 (Greifswald, 24 novembre 1909 – Praga, 4 agosto 1945) è stato un matematico e logico tedesco.
  • 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 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ń.Gentzen był studentem Bernaysa na uniwersytecie w Getyndze. Po zwolnieniu Bernaysa jako "niearyjczyka" w kwietniu 1933, promotorem jego pracy doktorskiej został Hermann Weyl. Mimo to, aż do wybuchu II wojny światowej Gentzen nadal utrzymywał kontakty z Bernaysem, ryzykując tym własną karierę. Korespondował też z Fraenkelem, przebywającym wówczas w Jerozolimie. W latach 1935–1936, pracujący w Princeton Hermann Weyl czynił wysiłki, by ściągnąć Gentzena do Stanów Zjednoczonych.W latach 1935–1939 Gentzen był asystentem Hilberta w Getyndze. Od 1943 roku był wykładowcą na Uniwersytecie Karola w Pradze. Po aresztowaniu przez sowietów 7 maja 1945 roku przebywał w skrajnie ciężkich warunkach i zmarł w wyniku chorób, jakich się wtedy nabawił.Główne prace Gentzena dotyczyły podstaw matematyki, teorii dowodu, dedukcji naturalnej i rachunku sekwentów.W roku 1936 Gentzen udowodnił za pomocą indukcji pozaskończonej rzędu ε0 niesprzeczność arytmetyki Peano.
  • Gerhard Gentzen (24 de noviembre de 1909 – 4 de agosto de 1945) fue un matemático y lógico alemán.Nacido en Greifswald (Alemania), murió en Praga (República Checa).Fue un estudiante de Weyl en la Universidad de Göttingen 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 cálculo de consecuencias lógicas 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, 24 ноября 1909 — 4 августа 1945) — немецкий математик и логик, внёс большой вклад в исследование оснований математики и развитие теории доказательств, является создателем исчисления секвенций.
  • 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.
  • Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker.
  • ゲルハルト・カール・エーリヒ・ゲンツェン(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 (24 de novembre de 1909 – 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).
dbpedia-owl:bnfId
  • 12859876g
dbpedia-owl:domain
dbpedia-owl:sudocId
  • 066888581
dbpedia-owl:thumbnail
dbpedia-owl:thumbnailCaption
  • Gerhard Gentzen à Prague en 1945
dbpedia-owl:viafId
  • 22269649
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 161949 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 7217 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 47 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 110373946 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:bnf
  • 1.2859876E7
prop-fr:champs
prop-fr:légende
  • Gerhard Gentzen à Prague en 1945
prop-fr:nom
  • Gerhard Gentzen
prop-fr:sudoc
  • 66888581 (xsd:integer)
prop-fr:type
  • personne
prop-fr:viaf
  • 22269649 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:worldcatid
  • lccn-n-88-637476
dcterms:subject
rdf:type
rdfs:comment
  • 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 (November 24, 1909 – August 4, 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 in 1945 after the Second World War, because he was deprived of food after being arrested in Prague.
  • Gerhard Karl Erich Gentzen (Greifswald, 24 novembre 1909 – Praga, 4 agosto 1945) è stato un matematico e logico tedesco.
  • 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, 24 ноября 1909 — 4 августа 1945) — немецкий математик и логик, внёс большой вклад в исследование оснований математики и развитие теории доказательств, является создателем исчисления секвенций.
  • Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker.
  • ゲルハルト・カール・エーリヒ・ゲンツェン(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 (24 de novembre de 1909 – 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 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ń.Gentzen był studentem Bernaysa na uniwersytecie w Getyndze. Po zwolnieniu Bernaysa jako "niearyjczyka" w kwietniu 1933, promotorem jego pracy doktorskiej został Hermann Weyl.
  • 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.
  • Gerhard Gentzen (24 de noviembre de 1909 – 4 de agosto de 1945) fue un matemático y lógico alemán.Nacido en Greifswald (Alemania), murió en Praga (República Checa).Fue un estudiante de Weyl en la Universidad de Göttingen 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.
  • 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 sequentiële calculus.
rdfs:label
  • Gerhard Gentzen
  • Gerhard Gentzen
  • Gerhard Gentzen
  • Gerhard Gentzen
  • Gerhard Gentzen
  • Gerhard Gentzen
  • Gerhard Gentzen
  • Gerhard Gentzen
  • Gerhard Gentzen
  • Gerhard Gentzen
  • Генцен, Герхард
  • ゲルハルト・ゲンツェン
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Gerhard Gentzen
is dbpedia-owl:influencedBy of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is prop-fr:influencéPar of
is foaf:primaryTopic of