|
|
|
|
|
|
by archgoon
4564 days ago
|
|
|
How do you know if a number is constructible? It is described by a computer program. Although the set of computer programs can be enumerated, determining if a program it will print out any digits is not something that cannot be determined. So yes, Halting Problem. :) So you cannot list all constructables in a constructive manner because the list itself is not constructible. A related concept https://en.wikipedia.org/wiki/Chaitin%27s_constant |
|
|