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

Argumentation Machines: New Frontiers in Argument and by C. Reed,T.J. Norman PDF

Within the overdue Nineties, AI witnessed an expanding use of the time period 'argumentation' inside of its bounds: in typical language processing, in person interface layout, in common sense programming and nonmonotonic reasoning, in Al's interface with the criminal group, and within the newly rising box of multi-agent platforms.

Vague Objects and Vague Identity: New Essays on Ontic - download pdf or read online

This designated anthology of latest, contributed essays bargains various views on numerous elements of ontic vagueness. It seeks to reply to middle questions relating onticism, the view that vagueness exists on the earth itself. The inquiries to be addressed comprise no matter if obscure gadgets should have imprecise identification, and no matter if ontic vagueness has a particular common sense, one who isn't really shared by means of semantic or epistemic vagueness.

Get Philosophy of Logic (Routledge Revivals) PDF

First released in 1971, Professor Putnam's essay issues itself with the ontological challenge within the philosophy of good judgment and arithmetic - that's, the difficulty of even if the summary entities spoken of in common sense and arithmetic relatively exist. He additionally bargains with the query of even if connection with those summary entities is admittedly indispensible in good judgment and if it is necessary in actual technology in most cases.

Get Potentiality: From Dispositions to Modality (Oxford PDF

Person gadgets have potentials: paper has the capability to burn, an acorn has the aptitude to show right into a tree, a few humans have the aptitude to run a mile in under 4 mins. Barbara Vetter presents a scientific research into the metaphysics of such potentials, and an account of metaphysical modality in keeping with them.

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

Example 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 Paul
4.3

Rated 4.00 of 5 – based on 29 votes