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

Best philosophical logic & language books

Download e-book for iPad: Routledge Philosophy GuideBook to Frege on Sense and by Mark Textor

Gottlob Frege (1848-1925) is taken into account the daddy of contemporary common sense and one of many founding figures of analytic philosophy. He used to be before everything a mathematician, yet his significant works additionally made vital contributions to the philosophy of language. Frege’s writings are tough and care for technical, summary techniques.

Elements of Moral Cognition: Rawls' Linguistic Analogy and - download pdf or read online

Is the technological know-how of ethical cognition usefully modeled on features of common Grammar? Are humans born with an innate 'moral grammar' that motives them to examine human motion by way of its ethical constitution, with simply as little information as they examine human speech when it comes to its grammatical constitution?

Beyond The Tractatus Wars: The New Wittgenstein Debate - download pdf or read online

Over fifteen years have handed considering the fact that Cora Diamond and James Conant became Wittgenstein scholarship the wrong way up with this system of “resolute” studying, and ten years on the grounds that this studying used to be crystallized within the significant assortment the hot Wittgenstein. This process is still on the middle of the talk approximately Wittgenstein and his philosophy, and this booklet attracts jointly the newest taking into account the world’s best Tractatarian students and promising newbies.

Download e-book for iPad: Articulating Medieval Logic by Terence Parsons

Terence Parsons offers a brand new research of the improvement and logical complexity of medieval common sense. easy ideas of good judgment have been utilized by Aristotle to end up conversion rules and decrease syllogisms. Medieval logicians accelerated Aristotle's notation in different methods, comparable to quantifying predicate phrases, as in 'No donkey is each animal', and permitting singular phrases to seem in predicate place, as in 'Not each donkey is Brownie'; with the enlarged notation comeadditional logical ideas.

Extra resources 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.0

Download PDF by Christian Tapp: An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext
Rated 4.07 of 5 – based on 19 votes