Catalogue > Serials > Book Series > Book > Chapter

Publication details

Publisher: Springer

Place: Berlin

Year: 2013

Pages: 339-352

Series: Mathematik im Kontext

ISBN (Hardback): 9783642296536

Full citation:

, "Der Problemkreis "Kreisel"", in: An den Grenzen des Endlichen, Berlin, Springer, 2013

Abstract

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

Publisher: Springer

Place: Berlin

Year: 2013

Pages: 339-352

Series: Mathematik im Kontext

ISBN (Hardback): 9783642296536

Full citation:

, "Der Problemkreis "Kreisel"", in: An den Grenzen des Endlichen, Berlin, Springer, 2013