| 11. | The theory of fields is undecidable but not essentially undecidable.
|
| 12. | Peano Arithmetic ), there are statements which are undecidable.
|
| 13. | The pharmakon, the undecidable, has been returned decided.
|
| 14. | An undecidable problem is a problem that is not decidable.
|
| 15. | Even more difficult are the undecidable problems, such as the halting problem.
|
| 16. | Even undecidable problems, such as the halting problem, can be used.
|
| 17. | In modern terms, Hilbert's 10th problem is an undecidable problem.
|
| 18. | The Whitehead problem was the first purely algebraic problem to be proved undecidable.
|
| 19. | For instance, type inference with polymorphic recursion is known to be undecidable.
|
| 20. | We have previously shown, however, that the halting problem is undecidable.
|
