Computing and Information Technology Interactive Digital Educational Library

 

CITIDEL >
Planet Math Computer Science  >
Planet Math Computer Science Collection >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10117/1135

Title: halting problem
Issue Date: 28-Apr-2006
Publisher: PlanetMath
Citation: http://planetmath.org/encyclopedia/HaltingProblem.html
Abstract: The ... halting problem is to determine, given a particular input to a particular computer program, whether the program will terminate after a finite number of steps. The consequences of a solution to the halting problem are far-reaching. Consider some predicate ... regarding natural numbers; suppose we conjecture that ... holds for all ... . (Goldbach's conjecture, for example, takes this form.) We can write a program that will count up through the natural numbers and terminate upon finding some
URI: http://www.citidel.org/handle/10117/1135
Appears in Collections:Planet Math Computer Science Collection

Files in This Item:

File SizeFormat
HaltingProblem.html24KbHTMLView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2006 MIT and Hewlett-Packard - Feedback