Halting problem/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Daniel Mietchen m (Robot: Creating Related Articles subpage) |
imported>Housekeeping Bot m (Automated edit: Adding CZ:Workgroups to Category:Bot-created Related Articles subpages) |
||
(One intermediate revision by one other user not shown) | |||
Line 1: | Line 1: | ||
{{subpages}} | <noinclude>{{subpages}}</noinclude> | ||
==Parent topics== | ==Parent topics== | ||
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. --> |
Latest revision as of 17: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. [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