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

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

Download e-book for iPad: Feyerabend and Scientific Values: Tightrope-Walking by R.P. Farrell

This e-book offers with the entrenched misunderstandings of Feyerabend's philosophy, brings jointly the optimistic components to be present in Feyerabend's paintings, and offers those parts as a coherent replacement belief of medical rationality. it's the first book-length learn of Feyerabend's post-1970 philosophy and should be a useful source for philosophers of technology, scholars of the philosophy of technology, and someone who desires to comprehend the perspectives of 1 of the main influential philosophers of technological know-how of the 20 th century.

New PDF release: Mental Logic

Over the last decade, the query of no matter if there's a psychological common sense has turn into topic to substantial debate. there were assaults by way of critics who think that each one reasoning makes use of psychological versions and go back assaults on mental-models concept. This controversy has invaded a variety of journals and has created matters among psychological good judgment and the biases-and-heuristics method of reasoning, and the content-dependent theorists.

The Limits of Science: Outline of Logic and of the - download pdf or read online

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

Download e-book for kindle: Ad Hominem Arguments (Studies Rhetoric & Communicati) by Douglas Walton

Necessary to an knowing of argumentation and common sense, advert Hominem Arguments is an important contribution to criminal idea and media and civic discourse. within the 1860s, northern newspapers attacked Abraham Lincoln's regulations through attacking his personality, utilizing the phrases "drunk," "baboon," "too slow," "foolish," and "dishonest.

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

Rated 4.21 of 5 – based on 22 votes