3 ms·
How can you see something is true without proving it is true? Many an obvious truth turns out to be mendacious. See various counter examples in analysis.
by drivebyhooting 2y ago
How can you see something is true without proving it is true?
Many an obvious truth turns out to be mendacious. See various counter examples in analysis.
- enugu 2y agoThere is no special insight required here. Merely, a simple diagonalization argument (https://news.ycombinator.com/item?id=43257904 https://news.ycombinator.com/item?id=43257904) which given a partial process to detect if a Turing machine halts, constructs a new machine which does not halt but was not detected by the earlier process.