Sudanfunktion

Die Sudanfunktion ist eine rekursive berechenbare Funktion, die total μ-rekursiv jedoch nicht primitiv rekursiv ist, was sie mit der bekannteren Ackermannfunktion gemeinsam hat.

Sie wurde 1927 von dem rumänischen Mathematiker Gabriel Sudan publiziert, der wie Wilhelm Ackermann ein Schüler David Hilberts war.

Definition

Für gilt:

Hintergrund

1926 vermutete David Hilbert, dass jede berechenbare Funktion primitiv-rekursiv sei. Dies wurde durch Wilhelm Ackermann und Gabriel Sudan – beides seine Schüler – mittels unterschiedlichen Funktionen, die zeitnah (Sudan 1927 und Ackermann 1928) publiziert wurden, widerlegt. Die Sudanfunktion und die Ackermannfunktion waren so die ersten veröffentlichten, nicht primitiv rekursiven Funktionen.

Wertetabellen

Werte von F1(x, y)
y\x 0 1 2 3 4 5
0 012345
1 1357911
2 4812162024
3 111927354351
4 2642587490106
5 5789121153185217
6 120184248312376440
Werte von F2(x, y)
y\x 0 1 2 3 4 5
0 012345
1 182774185440
2 19F1(8, 10) = 10228F1(27, 29) ≈ 1,55 · 1010 F1(74, 76) ≈ 5,74 · 1024 F1(185, 187)F1(440, 442)

Literatur

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.