Content deleted Content added
Line 430:
Given Dedekinds 1888 Recursion Theorem, I guess Gödel is not
the father of primitive recursive. The history has landmarks such
as
of computable functions, until Ackerman proved contrary in 1926
| |||
Line 430:
Given Dedekinds 1888 Recursion Theorem, I guess Gödel is not
the father of primitive recursive. The history has landmarks such
as
of computable functions, until Ackerman proved contrary in 1926
| |||