List of undecidable problems
This page lists the items of the Wikipedia article List of undecidable problems in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1368845154, with the assessment List/Low.
| Outcome | Items |
|---|---|
| deferred | 42 |
The gap signals of the article are S1,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | topic | List of undecidable problems | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #05IS | definition | Wang tile | deferred until 2027-05-01 | the item has its own article, page 65798 | |
| #19RO | conjecture | Mortal matrix problem | deferred until 2027-05-01 | the item has its own article, page 76723533 | |
| #23JN | definition | Simplicial complex | deferred until 2027-05-01 | the item has its own article, page 252686 | |
| #2WO7 | definition | Context-free grammar | deferred until 2027-05-01 | the item has its own article, page 6759 | |
| #3HUS | definition | Horn clause | deferred until 2027-05-01 | the item has its own article, page 333824 | |
| #3UP3 | statement | Richardson's theorem | deferred until 2027-05-01 | the item has its own article, page 13463844 | |
| #3Y09 | definition | free | deferred until 2027-05-01 | the name starts with a lower case letter, so the name is a part of a sentence | |
| #4X17 | definition | Kolmogorov complexity | deferred until 2027-05-01 | the item has its own article, page 1635 | |
| #5SLB | problem | Conjugacy problem | deferred until 2027-05-01 | the item has its own article, page 4942384 | |
| #5ZKI | problem | Hilbert's tenth problem | deferred until 2027-05-01 | the item has its own article, page 101851 | |
| #6P66 | definition | busy beaver champion | deferred until 2027-05-01 | the name starts with a lower case letter, so the name is a part of a sentence | |
| #6VD5 | unknown | Joint spectral radius | deferred until 2027-05-01 | the kind of the item is unknown | |
| #872A | definition | λ-calculus | deferred until 2027-05-01 | the item has its own article, page 18203 | |
| #88HK | definition | Entscheidungsproblem | deferred until 2027-05-01 | the item has its own article, page 9672 | |
| #8APE | definition | Polyominoes | deferred until 2027-05-01 | the item has its own article, page 72634 | |
| #8C56 | unknown | spectral gap | deferred until 2027-05-01 | the kind of the item is unknown | |
| #8U6G | definition | Ordinary differential equation | deferred until 2027-05-01 | the item has its own article, page 32742753 | |
| #97R4 | problem | Emptiness problem | deferred until 2027-05-01 | the item has its own article, page 57342784 | |
| #BDIZ | definition | Type inference | deferred until 2027-05-01 | the item has its own article, page 279690 | |
| #BKCI | definition | Partially observable Markov decision process | deferred until 2027-05-01 | the item has its own article, page 3063552 | |
| #D3QC | definition | Pushdown automaton | deferred until 2027-05-01 | the item has its own article, page 24510 | |
| #ESDX | definition | MRDP theorem | deferred until 2027-05-01 | the item has its own article, page 101700 | |
| #F4FF | definition | Rule 110 | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #FXHN | definition | Network coding | deferred until 2027-05-01 | the item has its own article, page 3084295 | |
| #HD6B | definition | the page section | deferred until 2027-05-01 | the name starts with a lower case letter, so the name is a part of a sentence | |
| #IL6N | problem | Word problem for groups | deferred until 2027-05-01 | the item has its own article, page 33563 | |
| #JLIV | statement | Trakhtenbrot's theorem | deferred until 2027-05-01 | the item has its own article, page 4232656 | |
| #K5H6 | unknown | Magic: The Gathering | deferred until 2027-05-01 | the kind of the item is unknown | |
| #KW88 | definition | Conway's Game of Life | deferred until 2027-05-01 | the item has its own article, page 37035 | |
| #N06M | definition | Simply connected | deferred until 2027-05-01 | the item has its own article, page 523879 | |
| #O66P | definition | Fundamental group | deferred until 2027-05-01 | the item has its own article, page 11004 | |
| #PFU7 | statement | Rice's theorem | deferred until 2027-05-01 | the item has its own article, page 25852 | |
| #QI6V | problem | Post correspondence problem | deferred until 2027-05-01 | the item has its own article, page 64685 | |
| #SEWJ | definition | Logic of graphs | deferred until 2027-05-01 | the item has its own article, page 47857242 | |
| #U0Y9 | problem | Group isomorphism problem | deferred until 2027-05-01 | the item has its own article, page 18054026 | |
| #VU3C | definition | Simplicial complex | deferred until 2027-05-01 | the item has its own article, page 252686 | |
| #W6QD | definition | Register machine | deferred until 2027-05-01 | the item has its own article, page 505218 | |
| #X8N9 | definition | subsemigroups | deferred until 2027-05-01 | the name starts with a lower case letter, so the name is a part of a sentence | |
| #YLYQ | problem | Halting problem | deferred until 2027-05-01 | the item has its own article, page 21391870 | |
| #YS6H | unknown | Air travel | deferred until 2027-05-01 | the kind of the item is unknown | |
| #ZT1I | unknown | ray tracing | deferred until 2027-05-01 | the kind of the item is unknown |
Refer to Wikipedia articles and their nodes for the other articles.