Drexel dragonThe Math ForumDonate to the Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Topic: Possible error in Grzegorczyk's seminal paper on Grzegorczyk hierarchy?
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  

Posts: 719
Registered: 7/12/10
Possible error in Grzegorczyk's seminal paper on Grzegorczyk hierarchy?
Posted: Jan 8, 2014 8:05 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

I got stuck very early on when trying to read Some classes of recursive functions, available here: http://matwbn.icm.edu.pl/ksiazki/rm/rm04/rm0401.pdf

On page 4, surely K and L are intended to be functions from the naturals to the naturals.

But, let z = 1001. Then the integral part of sqrt(z) = 31. Square that integral part and we get 961. Hence K(z) = 1001 - 961 = 40. Hence L(z) = 31 - 40 = -9. But L(z) should be positive so that we get the promised correspondence between N and N x N.

Is there a typo here, or am I missing something?

Many thanks for your help.

Paul Epstein

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2015. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.