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

By Christian Tapp

Der Mathematiker David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. In der ersten deutschsprachigen Monographie zum Thema bietet der Autor neue Deutungen des Hilbertprogramms. Ausgehend von den historischen Quellen stellt er die Frage neu, ob Hilbert eine formalistische Philosophie der Mathematik voraussetzte. Er macht die Fülle der Ideen sichtbar, die Hilbert und seine Schüler formulierten, diskutiert anspruchsvolle philosophische Implikationen und räumt mit einer Reihe von Fehlinterpretationen auf.

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 Logic Language books

The Liar Speaks the Truth: A Defense of the Revision Theory of Truth

During this publication, Yaq? b describes an easy belief of fact and indicates that it yields a semantical concept that incorporates the complete diversity of our probably conflicting intuitions approximately fact. This belief takes the Tarskian biconditionals (such as "The sentence 'Johannes enjoyed Clara' is right if and provided that Johannes enjoyed Clara") as accurately and fully defining the inspiration of fact.

Realism in Mathematics (Clarendon Paperbacks)

Mathematicians are likely to think about themselves as scientists investigating the good points of genuine mathematical issues, and the wildly winning software of arithmetic within the actual sciences reinforces this photograph of arithmetic as an target research. For philosophers, even though, this realism approximately arithmetic increases critical questions: What are mathematical issues?

Mental Files in Flux (Lines of Thought)

Francois Recanati has pioneered the 'mental dossier' framework for brooding about techniques and the way we check with the realm in proposal and language. psychological records are in accordance with 'epistemically worthwhile' family to things within the setting. status in such family to things places the topic capable of achieve information about them.

Papers on Time and Tense

This can be a revised and elevated variation of a seminal paintings within the good judgment and philosophy of time, initially released in 1968. Arthur N. previous (1914-1969) was once the founder of temporal common sense, and his ebook deals a superb creation to the basic questions within the box. numerous vital papers were extra to the unique choice, in addition to a finished bibliography of Prior's paintings and an illuminating interview along with his widow, Mary earlier.

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

Show sample text content

Rated 4.74 of 5 – based on 4 votes