Repository | Book | Chapter
(2013) An den Grenzen des Endlichen, Dordrecht, Springer.
Die Frage, wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt, hat wohl niemand so deutlich gestellt wie Georg Kreisel (geb. 1923). In den frühen 1970er Jahren betitelte er einen Vortrag entsprechend, der 1976 in den Jahresberichten der Deutschen Mathematiker-Vereinigung erschien. Der Titel weist auf die Verknüpfung der historischen und der systematischen Fragen nach den Ordinalzahlen in der Beweistheorie hin. Dieser Verknüpfung fühlen sich die folgenden Ausführungen verpflichtet, auch wenn sie nicht die von Kreisel propagierte Sichtweise einnehmen und auch wenn sie ein Problem behandeln, das mit dem von Kreisel angeführten nicht ganz deckungsgleich ist.
Publication details
DOI: 10.1007/978-3-642-29654-3_15
Full citation:
Tapp, C. (2013). Der Problemkreis "Kreisel", in An den Grenzen des Endlichen, Dordrecht, Springer, pp. 339-352.
This document is unfortunately not available for download at the moment.