Search Results
| 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 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| 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 decidability
Search options not deleted
user 20186
9
votes
Undecidable puzzles
This answer is not entirely serious, but it does not fit as a comment.
Numberwang is undecidable.
Numberwang, of course, is a fictional popular game show featured as a running gag in the real sketch …
- 5,971
17
votes
Two (probably) equal real numbers which are not proved to be equal?
The moving sofa constant is conjectured to be 2.2195..., which is computable as the implicit solution of a set of equations (see Eqs. 1-4 in Romik 2018). On the other hand, while not immediately obvio …
10
votes
Undecidable infinite analogs of NP-complete problems?
Edge matching problems, such as the Eternity II puzzle are NP-complete. Wang Tiles might be considered to be be the infinite analog, and the question of whether a set of Wang tiles can tile the plane …