Talk:Primitive recursive function: Difference between revisions

Revision as of 13:51, 28 February 2024

Revision as of 13:51, 28 February 2024

Line 402:

But the SEP article uses a different argument ordering.

[[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 11:44, 28 February 2024 (UTC)

== Split off Gödel stuff ==

Given Dedekinds 1888 Recursion Theorem, I guess Gödel is not

the father of primitive recursive. The history has landmarks such

as David Hilbert believe primitive recursive is the only notion

of computable functions, until Ackerman proved contrary in 1926

with the function named after him. An Ackerman function cannot be

written with a LOOP program, only WHILE programs suffice.

So why not devote a separte article to Gödels use of the notion

primitive recursive.

[[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 11:44, 28 February 2024 (UTC)