An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext - download pdf or read online

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 Online 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

Read e-book online Epistemology and the Regress Problem (Routledge Studies in PDF

Within the final decade, the wide-spread challenge of the regress of purposes has again to favourite attention in epistemology. And with the go back of the matter, assessment of the choices to be had for its answer is all started anew. Reason’s regress challenge, approximately positioned, is if one has sturdy purposes to think anything, one should have stable cause to carry these purposes are reliable.

Download PDF by Mehdi Amin Razavi Aminrazavi: Suhrawardi and the School of Illumination (Routledge Sufi

Shihab al-Din Yahya Suhrawardi, sometimes called Shaikh al-ishraq or the grasp of Illumination, lived within the 6th century AH / 12th century CE. His suggestions shape a constant and coherent philosophical procedure, and an in depth learn of his writings in Persian finds a conception of information generally known as 'Knowledge by way of Presence'.

New PDF release: Das Allgemeine bei Locke (Quellen und Studien zur

The problem of the prestige of the overall has been a subject matter of philosophical debate on account that antiquity. John Locke’s remedy of this subject is not just of valuable value for the certainty of his paintings but additionally for the corresponding dialogue nowa days. the writer first examines the matter in its ancient dialogue context after which offers a close research of Locke’s place, wherein he translates Locke’s procedure as an extension of conventional conceptualism.

The Probabilistic Foundations of Rational Learning by Simon M. Huttegger PDF

In line with Bayesian epistemology, rational studying from adventure is constant studying, that's studying may still include new info continuously into one's outdated method of ideals. Simon M. Huttegger argues that this center proposal might be transferred to events the place the learner's informational inputs are even more constrained than Bayesianism assumes, thereby considerably increasing the succeed in of a Bayesian kind of epistemology.

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

Sample text

Download PDF sample

An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus (Mathematik im Kontext) (German Edition) by Christian Tapp


by Richard
4.1

Rated 4.84 of 5 – based on 12 votes

About admin