Halting problem/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Daniel Mietchen m (Robot: encapsulating subpages template in noinclude tag) |
No edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| Line 24: | Line 24: | ||
{{r|Register allocation}} | {{r|Register allocation}} | ||
{{Bot-created_related_article_subpage}} | |||
<!-- Remove the section above after copying links to the other sections. --> | <!-- Remove the section above after copying links to the other sections. --> | ||
==Articles related by keyphrases (Bot populated)== | |||
{{r|W. V. Quine}} | |||
{{r|Quine (disambiguation)}} | |||
{{r|Placebo}} | |||
{{r|Lambda calculus}} | |||
Latest revision as of 11:00, 25 August 2024
- See also changes related to Halting problem, or pages that link to Halting problem or to this page or whose text contains "Halting problem".
Parent topics
Subtopics
Bot-suggested topics
Auto-populated based on Special:WhatLinksHere/Halting problem. Needs checking by a human.
- Alan Turing [r]: British mathematician, code breaker and computer pioneer. [e]
- Cantor's diagonal argument [r]: Proof due to Georg Cantor showing that there are uncountably many sets of natural numbers. [e]
- Graph coloring [r]: Graph labelling, which assigns labels traditionally called 'colours' to elements of a graph subject to certain constraints. [e]
- History of computing [r]: How electronic computers were first invented; how the technology underlying them evolved. [e]
- Kurt Gödel [r]: (1906-1978) Austrian-born, American mathematician, most famous for proving that in any logical system rich enough to describe naturals, there are always statements that are true but impossible to prove within the system; considered to be one of the most important figures in mathematical logic in modern times. [e]
- Lambda calculus [r]: A formal system designed to investigate functions and recursion. [e]
- Optimization (computer science) [r]: Transformation of computer programs and compilers to decrease runtime. [e]
- Register allocation by graph coloring [r]: Add brief definition or description
- Register allocation [r]: Add brief definition or description
- W. V. Quine [r]: Add brief definition or description
- Quine (disambiguation) [r]: Add brief definition or description
- Placebo [r]: A treatment or drug, administered by, or at the orders of, a health professional, that the professional knows will have no physiologic effect [e]
- Lambda calculus [r]: A formal system designed to investigate functions and recursion. [e]