Fork me on GitHub
Math for the people, by the people.

User login

Ackermann function is not primitive recursive

Type of Math Object: 
Theorem
Major Section: 
Reference
Groups audience: 

Mathematics Subject Classification

03D75 no label found

Comments

Hi, I’m arishiki. I’m new to this site, so I’m afraid I would do some inappropriate things. If so, please notice on me.

Thank you for great entry, CWoo. But I think A(q,A(2,z))=A(q+4,z)AqA2zAq4zA(q,A(2,z))=A(q+4,z) at the last of the proof would be a mistake and you should have meant A(q,A(2,z))<A(q+4,z)AqA2zAq4zA(q,A(2,z))<A(q+4,z).

Thank you.

Hi Arishiki - Welcome to the site. You can use LaTeX in forum posts and pretty much everywhere…

Subscribe to Comments for "Ackermann function is not primitive recursive"