Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland - Image 1

£49.82

Birkhauser Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland

Name: Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland
Brand: Birkhauser
Price: 49.82 GBP
Availability: InStock

History of Mathematics

Price History & Forecast

Last 72 days • 72 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 72 days • 1 price levels

Days at Price

Price Analysis

Most common price: £50 (72 days, 100.0%)

Price range: £50 - £50

Price levels: 1 different prices over 72 days

Description

Gerhard Gentzen (1909-1945) ist der Begründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute in wichtigen Teilgebieten der Informatik, in der Verifikation von Programmen. Die Arbeiten Gentzens über das natürliche Schliessen, der Sequenzenkalkül und die Ordinal-Beweistheorie beeindrucken noch heute durch ihre Einsicht und Eleganz. Der Autor dokumentiert in dieser ersten umfassenden Biografie Leben und Werk Gerhard Gentzens, seinen tragischen Lebensweg, Festnahme 1945 in Prag, Gefangenschaft und Tod. Die Bedingungen wissenschaftlicher Forschung, in diesem Fall der mathematischen Logik, im nationalsozialistischen Deutschland, den ideologischen Kampf um eine "Deutsche Logik" und deren Protagonisten ist ein weiterer Schwerpunkt des Buches. Zahlreiche, bislang unveröffentlichte Quellen, Fotos und Dokumente aus Korrespondenzen und Nachlass sowie der Abdruck dreier Vorträge von Gerhard Gentzen machen dieses Buch zu einer erstrangigen Informationsquelle über diesen bedeutenden Mathematiker und seine Zeit. Der Band wird ergänzt durch ein Essay von Jan von Plato über Gentzens Beweistheorie und deren Entwicklung bis zur Gegenwart.

Product Specifications

Brand: Birkhauser
Format: paperback
ASIN: 3034895178
Category: Books > Subjects > Science, Nature & Maths > History & Philosophy > History of Mathematics
Domain: Amazon UK
Release Date: 05 November 2012
Listed Since: 14 July 2013

Barcode

No barcode data available

Birkhauser Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Springer - Gerhard Gentzen's Shorthand Notes on Logic

Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Godel's Way: Exploits into an undecidable world

Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker

Introduction to Mathematical Logic: Extended Edition

Goedel's Way: Exploits into an undecidable world

Displaying Modal Logic: 3 (Trends in Logic, 3)

Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness (Sources and Studies in the History of Mathematics and Physical Sciences)

Kurt Gödel: Unpublished Philosophical Essays

Mathematical Logic: An Introduction (De Gruyter Textbook)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Classical and Nonclassical Logics – An Introduction to the Mathematics of Propositions

Nachgelassene Schriften und Wissenschaftlicher Briefwechsel / Wissenschaftlicher Briefwechsel: Zweiter Band der "Nachgelassenen Schriften und Wissenschaftlicher Briefwechsel"

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Introduction to Logic

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Introduction to Metamathematics (Bibliotheca Mathematica)

A Formalization of Set Theory without Variables (Colloquium Publications)

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)