New PDF release: An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext

By Christian Tapp

ISBN-10: 364229653X

ISBN-13: 9783642296536

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 kindle: Kreativität und Form: Programm eines Glasperlenspiels zum by Rainer E. Zimmermann,Simon M. Wiedemann

In seinem gleichnamigen Roman entwirft Hermann Hesse die Idee eines Glasperlenspiels, welches '[…] vom Glasperlenspieler so gespielt wie eine Orgel vom Organisten, und diese Orgel ist von einer kaum auszudenkenden Vollkommenheit, ihre Manuale und Pedale tasten den ganzen geistigen Kosmos ab, ihre sign up sind beinahe unzählig, theoretisch ließe mit diesem device der ganze geistige Weltinhalt sich im Spiele reproduzieren.

Get The Oxford Handbook of British Philosophy in the Eighteenth PDF

Philosophy in eighteenth-century Britain was once different, shiny, and complex. This used to be the age of Hume and Berkeley and Reid, of Hutcheson and Kames and Smith, of Ferguson and Burke and Wollstonecraft. vital and influential works have been released in each sector of philosophy, from the idea of imaginative and prescient to theories of political resistance, from the philosophy of language to debts of the way of governing the passions.

Download e-book for kindle: Understanding the Many (Studies in Philosophy) by Byeong-uk Yi

First released in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

Download PDF by Mortimer J. Adler: Dialectic: Volume 10 (International Library of Philosophy)

First released in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

Extra 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 Jason
4.3

Rated 4.43 of 5 – based on 33 votes