Halting problem/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Daniel Mietchen m (Robot: encapsulating subpages template in noinclude tag) |
imported>Housekeeping Bot m (Automated edit: Adding CZ:Workgroups to Category:Bot-created Related Articles subpages) |
||
| 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. --> | ||
Revision as of 16:04, 11 January 2010
- 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