4 ms·
Gödel’s sentence comes to mind. Yes, it is not “practical” but it is undecidable.
by pfortuny 8y ago
Gödel’s sentence comes to mind. Yes, it is not “practical” but it is undecidable.
- pas 8y agoGodel's sentence is not an exact problem. It's a big number representing a claim (a theorem) about Godel numbers and the sentence itself. There's nothing to calculate there. It's a proof by construction for Godel's incompleteness theorem.