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

Gabriel Sudan

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

More info:

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

Availability:

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

06/14/2009

pdf

text

original

 
I read in the following web site:http://mathforum.org/epigone/math-history-list/smixsmeebluSubject: 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 followsF (x, y) = x+y0

You're Reading a Free Preview

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