Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Standard view
Full view
of .
Look up keyword
Like this
0 of .
Results for:
No results containing your search query
P. 1
Ackermann Sudan

Ackermann Sudan

Ratings: (0)|Views: 22|Likes:
Published by icar1997

More info:

Published by: icar1997 on Nov 29, 2008
Copyright:Attribution Non-commercial


Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less





The references for Ackermann+Sudan functions:http://planetmath.org/encyclopedia/AckermannFunction.htmlandhttp://mathforum.org/epigone/math-history-list/smixsmeebluRead this:Subject: Ackermann vs. Sudan function: priority of discovery [was:Ackermann - or Budan or ?]Author: Bill Dubuque <wgd@martigny.ai.mit.edu>Organization: MITDate: Fri, 12 Sep 1997 08:09:48 -0400The following message is a courtesy copy of an articlethat has been posted as well.mac@abacus.concordia.ca ( JOHN MCKAY ) writes:|| Can someone assess who originated the so-called "Ackermann fn" ?| It appears it may not be Ackermann.Cristian Calude has written a number of papers on the historyof the Ackermann and Sudan functions, e.g. seeCalude, Cristian; Marcus, Solomon; \cedla Tevy, IonelThe first example of a recursive function which is not primitive recursive.Historia Math. 6 (1979), no. 4, 380--384. MR 80i:03053 03D20 01A60Chronologically, Sudan's function is the first example of a recursive but not primitive recursive function (Bull. Math. Soc. Roumaine Sci.30 (1927), 11 - 30; Jbuch 53, 171). Ackermann's work was publishedslightly later (Math. Ann. 99 (1928), 118 - 133; Jbuch 54, 56). Bothwere students of Hilbert, and were working on a problem posed byHilbert, and were acquainted with each other's work. Sudan's functionextends to ordinals and majorizes Ackermann's function (except ata single point). As Smorynski says in his book Logical Number Theoryindependently, to two of Hilbert's students, Wilhelm Ackermann andGabriel Sudan. Although they gave essentially the same recursion,Sudan worked with functions of transfinite ordinals and Ackermannwith functions of natural numbers, whence Hilbert cited Ackermannand Ackermann's is the name associated with the resulting functions.The paper cited above also has speculations as to why Hilbert andBernays did not mention Sudan's construction.According to MR 82k:03061, Sudan's function is as follows

You're Reading a Free Preview

/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->