Deutsche Gesellschaft
für phänomenologische Forschung

Series | Buch | Kapitel

218390

Formalismus

Christian Tapp

pp. 115-134

Abstrakt

Bei der Analyse des Logizismus und des Intuitionismus zeigte sich, daß Hilberts Position keineswegs als radikaler Gegensatz zum Logizismus und zum Intuitionismus aufgefaßt werden kann. Hilbert verfolgte (zumindest zeitweise) logizistische Ziele, teilte die Überzeugung von einer bedeutsamen Rolle der formalen Logik für die Mathematik, vertrat viele der intuitionistischen Diagnosen zu Grundlegungsproblemen in der Mathematik und legte schließlich mit dem Finitismus eine Basistheorie vor, die man, wenn nicht als Variante des Intuitionismus, so doch als eine nahe Verwandte interpretieren kann.

Publication details

Published in:

Tapp Christian (2013) An den Grenzen des Endlichen: das Hilbertprogramm im Kontext von Formalismus und Finitismus. Dordrecht, Springer.

Seiten: 115-134

DOI: 10.1007/978-3-642-29654-3_5

Referenz:

Tapp Christian (2013) Formalismus, In: An den Grenzen des Endlichen, Dordrecht, Springer, 115–134.