Hacker News new | ask | show | jobs
by tromp 344 days ago
only the truth of finitely refutable conjectures...
1 comments
Y_Y 344 days ago
Could any number give you the truth of non-finitely refutable conjectures?
link
tromp 344 days ago
If 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.
link