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)
|