Advanced Search

Query:

Fill in the form and click »Search«...

Format:

Display: entries per page entries

JFM 54.0056.06
Ackermann, W.
Zum Hilbertschen Aufbau der reellen Zahlen. (German)
[J] Math. Ann. 99, 118-133 (1928). ISSN 0025-5831; ISSN 1432-1807/e

Diese Arbeit enthält einen Beweis dafür, da\ss\ eine gewisse zahlentheoretische Funktion nicht durch gewöhnliche Rekursionen definiert werden kann, wenn simultane Rekursionen ausgeschlossen werden; dagegen gelingt die rekurrierende Definition, wenn man einen höheren Variablentypen benutzt. Dieser Satz von {\it Ackermann} ist schon von {\it Hilbert} in seiner Abhandlung ``Über das Unendliche'' (F. d. M. 51, 44 (JFM 51.0044.*); insbesondere p. 185, 186 der Arbeit) erwähnt worden. Nach Hilbert können nämlich die zahlentheoretischen Funktionen nach ihrem Typ klassifiziert werden, und zwar nach dem niedrigsten Variablentyp, den man braucht, um eine rekurrierende Definition der Funktion aufzustellen.\par Ackermann beweist seinen Satz dadurch, da\ss\ er zeigt, da\ss\ die betreffende Funktion schneller wächst als jede Funktion des ersten Typs. Dies gelingt durch Induktion: Hat man einen endlichen Bereich von Funktionen des ersten Typs derart, da\ss\ jede Funktion darin langsamer wächst als die betreffende Funktion, und leitet man aus den Funktionen des Bereiches neue Funktionen mittels Einsetzungen und Rekursionen nach einer Zahlenvariablen ab und fügt diese hinzu, so erhält man immer wieder einen Bereich derselben Art.\par Die Bemerkung am Anfang der Abhandlung, da\ss\ Hilbert diese Klassifikation benutzt hat, um den Beweis des Kontinuumsatzes zu erbringen, ist insofern irreführend, als der Leser danach glauben könnte, da\ss\ ein solcher Beweis fertig und einwandfrei vorliege. Nicht nur ist das nicht der Fall, sondern es ist schwer verständlich, wie das jemals der Fall werden soll. U. a. kann man sogar fragen, wie die Begriffe, auf die es hier ankommt, das Kontinuum und die zweite Zahlklasse, eigentlich aufzufassen sind; denn nach dem bekannten {\it Löwenheim}schen Satze scheint es undenkbar zu sein, da\ss\ man jemals imstande sein sollte, etwas absolut Nichtabzählbares finit zu formalisieren.
(Data of JFM: JFM 54.0056.06; Copyright 2005 Jahrbuch Database used with permission)
[Skolem, Th.; Dr. (Oslo)]

Citations: JFM 51.0044.*

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Article Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Advanced Search

Zentralblatt MATH Berlin [Germany]