3 ms·
Right, that's the theory, but what's another concrete Godel sentence that's not a twist on the standard Godel sentence? (As an analogy, in theory there are ton
by fanzhang 6y ago
Right, that's the theory, but what's another concrete Godel sentence that's not a twist on the standard Godel sentence?
(As an analogy, in theory there are tons of different ways to construct non-measurable sets, but in practice all examples come down to some quotient of a nonzero measure set and a measure zero set, like [0,1]/Q.)
- auggierose 6y agoSearching on the web reveals this: https://en.wikipedia.org/wiki/Paris–Harrington_theorem https://en.wikipedia.org/wiki/Paris–Harrington_theorem