An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus: 4 (Mathematik im Kontext) - Image 1

£48.73

Springer Spektrum An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus: 4 (Mathematik im Kontext)

Name: An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus: 4 (Mathematik im Kontext)
Brand: Springer Spektrum
Price: 48.44 GBP
Availability: InStock

Engineering & Technology

Price History & Forecast

Last 88 days • 88 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 88 days • 1 price levels

Days at Price

Price Analysis

Most common price: £48 (88 days, 100.0%)

Price range: £48 - £48

Price levels: 1 different prices over 88 days

Description

David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. Setzt er dazu eine formalistische Philosophie der Mathematik voraus? Die überraschende Antwort des ersten Teils dieses Buches ist ein differenziertes Nein. Hilberts Position schließt logizistische und intuitionistische Momente ein – und sicher keinen Spielformalismus. Der zweite Teil des Buches macht die Fülle der Ideen sichtbar, die Hilbert und seine Schüler im Rahmen der formallogischen Durchführung und Weiterentwicklung des Programms entwickelt haben, um die Widerspruchsfreiheit mathematischer Axiomensysteme mit mathematischen Mitteln zu zeigen. Der dritte Teil widmet sich recht anspruchsvollen philosophischen „Überhangfragen“: Ist das Programm nicht letztlich zirkulär? Ist es nicht mit den Gödelsätzen zum Scheitern verurteilt? Und wie können in einem finitistischen Rahmen transfinite Ordinalzahlen auftreten? Hilbert hat der Philosophie ein spannendes und herausforderndes Aufgabenfeld hinterlassen.

Product Specifications

Brand: Springer Spektrum
Format: paperback
ASIN: 364229653X
Category: Books > Subjects > Science, Nature & Maths > Engineering & Technology
Domain: Amazon UK
Publication Date: 04 April 2013
Listed Since: 02 June 2012

Barcode

No barcode data available

Springer Spektrum An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus: 4 (Mathematik im Kontext)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

Proof Analysis: A Contribution to Hilbert's Last Problem

An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Kurt Godel and the Foundations of Mathematics: Horizons Of Truth

The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)

Kurt Gödel: Essays for his Centennial: 33 (Lecture Notes in Logic, Series Number 33)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)

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

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

Topoi: The Categorial Analysis of Logic

Philosophy and Model Theory

Natural Dualities for the Working Algebraist: 57 (Cambridge Studies in Advanced Mathematics, Series Number 57)

Mathematics of the 19th Century: Mathematical Logic Algebra Number Theory Probability Theory

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Modal Semirings and Applications (Trends in Logic, 72)

Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures (Routledge Contemporary Introductions to Philosophy)

Selected Papers Of John H. Holland: A Pioneer In Complexity Science: 4 (Exploring Complexity)

Consistency of the Continuum Hypothesis. (AM–3), Volume 3 (Annals of Mathematics Studies, 3)