If you could build a machine that was able to generate every relevant scientific fact from first principles, do you think it would be done at some point, or that it would never stop?
-
-
Is this true? Because you can have proofs that are never ending, thus the halting problem. Think printing hello in an endless loop - this is in fact an infinite proof.
-
Proving is just a lossless compression of a statement into axioms. A compression algorithm that does not terminate cannot be claimed to perform a compression.
- 4 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.