Math 2.0

Kleene's recursion theorem

This page lists the items of the Wikipedia article Kleene's recursion theorem in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1353842766, with the assessment C/Mid.

OutcomeItems
deferred10
attached2

The gap signals of the article are S1,S3,S4,S5,S6,S8,S9.

ItemKindNameOutcomeNodesReason
subjectstatementKleene's recursion theoremdeferred until 2027-05-01the item has the flag informal (WP9.2)
#0OLFstatementGeneralized theoremdeferred until 2027-05-01the heading has a meaning only in its article
#A8AUstatementComparison to the second recursion theoremdeferred until 2027-05-01the heading names a part of the text and not one item
#BZZLstatementRogers's fixed-point theoremdeferred until 2027-05-01the item has the name of the subject of its article, and a person decides if they are one item
#EOW8proofProof sketch for the first recursion theoremattached
#LNZ6exampleExampledeferred until 2027-05-01the cue heading names a section and not one item
#LU48proofProof of the fixed-point theoremattached
#M2G9statementKleene's second recursion theoremdeferred until 2027-05-01the item has the name of the subject of its article, and a person decides if they are one item
#NXEGdefinitionNotationdeferred until 2027-05-01the cue heading names a section and not one item
#TJC6statementRogers's fixed-point theoremdeferred until 2027-05-01the item has the name of the subject of its article, and a person decides if they are one item
#VXNPstatementThe first recursion theoremdeferred until 2027-05-01the heading names a step or a part of the text and not one item
#ZEL5statementComparison to Rogers's theoremdeferred until 2027-05-01the heading names a part of the text and not one item

Refer to Wikipedia articles and their nodes for the other articles.