3 ms·
So specified .. that it can actually prove it can't be completely specified by any single specification
by gottheUIblues 6mo ago
So specified .. that it can actually prove it can't be completely specified by any single specification
- vatsachak 6mo agoAll mathematical statements we care about fall out of the purview of incompleteness
- gottheUIblues 6mo agoTo the contrary (as summarised by Gemini): Gödel showed that arithmetic cannot prove everything about itself. Turing showed that computers cannot predict everything about themselves. Rice showed that we cannot automatically verify what programs will do. Chaitin showed that mathematics is full of random, unprovable facts. Lawvere showed that they are all failing for the exact same structural reason! These are not fringe issues. They define the absolute boundaries of human and machine intelligence.