Yahoo Suche Web Suche

Anmelden
  1. www.amazon.de

    Anzeigegerhard gentzen - Offizielle Amazon Website

    amazon.de wurde im letzten Monat von mehr als 1.000.000 Nutzern besucht

    Bei uns finden Sie zahlreiche Produkte von namhaften Herstellern auf Lager. Wähle aus unserer großen Auswahl an diversen Fachbüchern. Jetzt online shoppen!

Suchergebnisse

  1. Suchergebnisse:

  1. de.wikipedia.org › wiki › Gerhard_GentzenGerhard Gentzen – Wikipedia

    Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker . Inhaltsverzeichnis. 1 Leben. 2 Mathematische Leistungen. 3 Zitate. 4 Schriften. 5 Literatur. 6 Belletristik. 7 Weblinks. 8 Einzelnachweise. Leben.

  2. en.wikipedia.org › wiki › Gerhard_GentzenGerhard Gentzen - Wikipedia

    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.

  3. Bilder

    • Gerhard Gentzen
    • Gerhard Gentzen (1909 - 1945) - Biography - MacTutor History of Mathematics
    • Gerhard Gentzen Biography - German mathematician | Pantheon
    • C.3: Gerhard Gentzen - Humanities LibreTexts
    • Gerhard Gentzen | Courtesy of Eckhart Menzler-Trott | Open Logic | Flickr

    Alle anzeigen

  4. www.philosophenlexikon.de › gerhard-gentzenGerhard Gentzen (1909 – 1945) | Philosophenlexikon.de

    November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker, der sich besonders mit den Problemen des logischen Schließens beschäftigte. Dazu entwickelte er das allein auf Schlussregeln basierende natürliche Schließen und das Sequenzschließen.

  5. www.faz.net › aktuell › wissenMathematik: Gentzens Sequenzen - FAZ.NET

    25. Nov. 2009 · Als Gerhard Gentzen am 24. November 1909 in Greifswald auf die Welt kam, waren die mengentheoretischen Paradoxien bereits in der Welt und mischten die Mathematikerzunft gehörig auf. Mengen sind...

    • F.A.S.

  6. Videos

    Alle anzeigen

  7. www.kultur-mv.de › veranstaltungen › krisis-wille-konsistenzKrisis, Wille, Konsistenz: Über Werk und Erbe von Gerhard Gentzen

    Vor 5 Tagen · Gerhard Gentzen – ein Sohn Greifswalds – verhalf der modernen Beweistheorie zu ihrer formenreichen Gestalt. Anwendungen bezeugen den steten Einfluss seiner Ideen auch jenseits ihres Ursprungs. Skizzenhaft soll in diesem Vortrag ein Panorama entstehen: über den Streit um den Gegenstand der Mathematik und die Anfangsgründe der Beweistheorie ...

  8. mathshistory.st-andrews.ac.uk › Biographies › GentzenGerhard Gentzen - MacTutor History of Mathematics Archive

    24. Nov. 2013 · Born. 24 November 1909. Greifswald, Germany. Died. 4 August 1945. Prague, Czechoslovakia. Summary. Gerhard Gentzen invented a 'natural deduction' which provided a logic closer to mathematical reasoning than the systems proposed by Frege, Russell and Hilbert. View one larger picture. Biography.

  9. link.springer.com › chapter › 10Part I: A sketch of Gentzen’s life and work | SpringerLink

    1. Apr. 2017 · A chapter from a book series on the history of mathematics and physical sciences, focusing on the German logician Gerhard Gentzen. It covers his biography, his contributions to proof theory, intuitionistic logic and sequent calculus, and the fate of his lost manuscripts.