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!
- Sonderangebote
Entdecken Sie unsere Sonderangebote
und sparen Sie bares Geld.
- Krimis & Thriller
Unsere Bestseller im Überblick.
Jetzt bei Amazon.de bestellen!
- Kostenlose Lieferung
Bestellen Sie jetzt und
erhalten Sie kostenlose Lieferung.
- Sonderangebote
Suchergebnisse
Suchergebnisse:
Gerhard Karl Erich Gentzen war ein deutscher Mathematiker und Logiker.
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.
Gerhard Karl Erich Gentzen (* 24. 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.
Der brillante Logiker Gerhard Gentzen wurde vom Hitler-Regime nicht überrascht. Sein wissenschaftliches Erblühen lief parallel mit dem der Partei. Der weltfremde Gelehrte war wie Wachs in den Händen der Nazis.
6. Mai 2024 · 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 ...
24. Nov. 2013 · Gerhard Gentzen invented a 'natural deduction' which provided a logic closer to mathematical reasoning than the systems proposed by Frege, Russell and Hilbert.
Investigations into logical deduction, The Collected Papers of Gerhard Gentzen G Gentzen Studies in Logic and the Foundations of Mathematics, edited by A. Heyting, A … , 1969