Talk:Primitive recursive function: Difference between revisions

Content deleted Content added
signing unsigned posts
Line 428:
NEXT statements at his time. Unfortuntaley I cannot help with a title for
this separate article. By what name goes the LOOP Isomorphism?
 
[[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 11:44, 28 February 2024 (UTC)
 
 
== Split off Gödel stuff ==
Line 440 ⟶ 443:
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)