Sie sind hier
E-Book

An den Grenzen des Endlichen

Das Hilbertprogramm im Kontext von Formalismus und Finitismus

AutorChristian Tapp
VerlagSpringer Spektrum
Erscheinungsjahr2013
Seitenanzahl376 Seiten
ISBN9783642296543
FormatPDF
KopierschutzWasserzeichen/DRM
GerätePC/MAC/eReader/Tablet
Preis54,99 EUR
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.

Prof. Dr. Dr. Christian Tapp, Ruhr-Universität Bochum, Katholisch-Theologische Fakultät

Kaufen Sie hier:

Horizontale Tabs

Weitere E-Books zum Thema: Logik - Philosophie

Logische Untersuchungen. Ergänzungsband. Zweiter Teil.

E-Book Logische Untersuchungen. Ergänzungsband. Zweiter Teil.
Texte für die Neufassung der VI. Untersuchung. Zur Phänomenologie des Ausdrucks und der Erkenntnis (1893/94-1921) Format: PDF

Vom Dezember 1913 bis April 1914 arbeitete Husserl an einer Neufassung der VI. Logischen Untersuchung. Der vorliegende Band enthält zum einen die im Zuge dieser Arbeit entstandenen Manuskripte und…

Formen der Anschauung

E-Book Formen der Anschauung
Eine Philosophie der Mathematik Format: PDF

What are pure geometric forms? In what sense are there an infinite number of points on a line? What is the relationship between empirically correct statements about real bodily figures (or…

Formen der Anschauung

E-Book Formen der Anschauung
Eine Philosophie der Mathematik Format: PDF

What are pure geometric forms? In what sense are there an infinite number of points on a line? What is the relationship between empirically correct statements about real bodily figures (or…

Dialogischer Konstruktivismus

E-Book Dialogischer Konstruktivismus
Format: PDF

In these seven essays published from 1986 to 2008, philosophy is portrayed as an activity in which one gives an account of the experiences that one has and transmits through acting and speaking. A…

Dialogischer Konstruktivismus

E-Book Dialogischer Konstruktivismus
Format: PDF

In these seven essays published from 1986 to 2008, philosophy is portrayed as an activity in which one gives an account of the experiences that one has and transmits through acting and speaking. A…

Dialogischer Konstruktivismus

E-Book Dialogischer Konstruktivismus
Format: PDF

In these seven essays published from 1986 to 2008, philosophy is portrayed as an activity in which one gives an account of the experiences that one has and transmits through acting and speaking. A…

Weitere Zeitschriften

Bibel für heute

Bibel für heute

BIBEL FÜR HEUTE ist die Bibellese für alle, die die tägliche Routine durchbrechen wollen: Um sich intensiver mit einem Bibeltext zu beschäftigen. Um beim Bibel lesen Einblicke in Gottes ...

Computerwoche

Computerwoche

Die COMPUTERWOCHE berichtet schnell und detailliert über alle Belange der Informations- und Kommunikationstechnik in Unternehmen – über Trends, neue Technologien, Produkte und Märkte. IT-Manager ...

Correo

Correo

 La Revista de Bayer CropScience para la Agricultura ModernaPflanzenschutzmagazin für den Landwirt, landwirtschaftlichen Berater, Händler und am Thema Interessierten mit umfassender ...

DHS

DHS

Die Flugzeuge der NVA Neben unser F-40 Reihe, soll mit der DHS die Geschichte der "anderen" deutschen Luftwaffe, den Luftstreitkräften der Nationalen Volksarmee (NVA-LSK) der ehemaligen DDR ...

ea evangelische aspekte

ea evangelische aspekte

evangelische Beiträge zum Leben in Kirche und Gesellschaft Die Evangelische Akademikerschaft in Deutschland ist Herausgeberin der Zeitschrift evangelische aspekte Sie erscheint viermal im Jahr. In ...