Content deleted Content added
→Rogers's fixed-point theorem: Prose to delineate from conventional fixed point definition |
m Adding local short description: "Theorem in computability theory", overriding Wikidata description "also called the fixed point theorem, in computability theory" |
||
Line 1:
{{Short description|Theorem in computability theory}}
{{distinguish|text=[[Kleene's theorem]] for regular languages}}
{{Use shortened footnotes|date=May 2021}}
| |||