Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Favorites infavorites:mine
infavorites:1234
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with Search options user 35842

Questions concerning the Halting problem which is to decide whether a given a program halts on a given input.

1
vote
If we cannot determine from program description whether it halts we also cannot write algorithm to do so (otherwise we could have determined it from description). The ability to think and reason like …
answered May 27 '16 by Evil
16
votes
No it is not, and moreover it does not depend on I/O. Simple counterexample: write a program to find a perfect odd number (this is an open problem: we do not know yet whether one exists) - it does no …
answered Sep 12 '16 by Evil