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

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

Christian Tapp's An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext PDF

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.

Get Krister Segerberg on Logic of Actions: 1 (Outstanding PDF

This volume describes and analyzes in a scientific approach the good contributions of the thinker Krister Segerberg to the research of actual and doxastic activities. Following an creation which services as a roadmap to Segerberg's works on activities, the 1st a part of the booklet covers kinfolk among activities, intentions and exercises, dynamic common sense as a thought of motion, organisation, and deontic logics outfitted upon the logics of activities.

Read e-book online Functions and Generality of Logic: Reflections on Dedekind's PDF

This booklet examines 3 hooked up facets of Frege’s logicism: the variations among Dedekind’s and Frege’s interpretation of the time period ‘logic’ and similar phrases and displays on Frege’s thought of functionality, evaluating its knowing and the function it performed in Frege’s and Lagrange’s foundational courses.

Read e-book online Language, Form(s) of Life, and Logic: Investigations after PDF

This quantity offers with the relation among the potential to talk and the human type of lifestyles. All contributions interact with Wittgenstein’s method of this subject. As a complete, the quantity takes a stance either opposed to a reductive naturalist in addition to a sociological figuring out of "Lebensform" in Wittgenstein.

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 Christopher
4.1

Rated 4.32 of 5 – based on 32 votes