3 ms·
See also: https://en.wikipedia.org/wiki/Chaitin%27s_constant https://en.wikipedia.org/wiki/Chaitin%27s_constant A number, that if known, would allow us to deri
by thrance 1y ago
See also: https://en.wikipedia.org/wiki/Chaitin%27s_constant https://en.wikipedia.org/wiki/Chaitin%27s_constant
A number, that if known, would allow us to derive the truth value of any statements from it.
- tromp 1y agoonly the truth of finitely refutable conjectures...
- Y_Y 1y agoCould any number give you the truth of non-finitely refutable conjectures?
- tromp 1y agoIf you had both Omega and the halting probability Omega_1 of a Universal Oracle Turing Machine with Omega as oracle, then it seems you could decide Sigma_2/Pi_2 conjectures. You can alternate bits from both Omegas to make it one number.