An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext by Christian Tapp

By Christian Tapp

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 place 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.

Show description

Read or Download An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus (Mathematik im Kontext) (German Edition) PDF

Similar philosophical logic & language books

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

This can be a monograph approximately common sense. particularly, it offers the mathe­ matical concept of the good judgment of bunched implications, BI: I examine Bl's facts conception, version concept and computation idea. even though, the mono­ graph is usually approximately informatics in a feeling which I clarify. particularly, it really is approximately mathematical types of assets and logics for reasoning approximately assets.

Georg Wilhelm Friedrich Hegel: Encyclopedia of the Philosophical Sciences in Basic Outline, Part 1, Science of Logic (Cambridge Hegel Translations)

Hegel's Encyclopaedia common sense constitutes the basis of the method of philosophy awarded in his Encyclopaedia of the Philosophical Sciences. with his technological know-how of common sense, it comprises the main specific formula of his enduringly influential dialectical process and of the explicit method underlying his concept.

The Art of Thinking

An analytical exam of the function emotional components play within the formula of logical propositions. the generally identified thinker lines underlying motivations in precepts, suggestions and attitudes of recent guy. stimulated pondering infiltrates, usually dominates, winning styles of notion in social, non secular, cultural or even clinical organisations.

Alfred Tarski and the "Concept of Truth in Formalized Languages": A Running Commentary with Consideration of the Polish Original and the German Translation ... Epistemology, and the Unity of Science)

This ebook presents an in depth statement at the vintage monograph via Alfred Tarski, and provides a reinterpretation and retranslation of the paintings utilizing the unique Polish textual content and the English and German translations. within the unique paintings, Tarski offers a style for developing definitions of fact for classical, quantificational formal languages.

Extra info for An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus (Mathematik im Kontext) (German Edition)

Example text

Download PDF sample

Rated 4.01 of 5 – based on 42 votes