5 ms·

I think the 'Incompleteness Theorem' http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems http://en.wikipedia.org/wiki/G%C3%B6del%27s_incomplete

I think the 'Incompleteness Theorem' http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_t... might address what you're describing.

bdr 17y ago
No, 10ren is merely talking about correctness within the given system.