7 ms·
Just imagine inputting the final character of the last inference step, then waiting for a few minutes while the computer performs incremental compilation of the
by jamesaguilar 14y ago
Just imagine inputting the final character of the last inference step, then waiting for a few minutes while the computer performs incremental compilation of the last few rules. Finally, it emits simply these four characters: "QED."
- dandrews 14y agoI like this, and it reminds me of the tagline from Asimov's The Last Question.
- sp332 14y agoThere was a billionaire in the book Permutation City who uploaded his brain into a supercomputer, then let an optimizer run on it for years. The goal was to get his brain to run in real-time or better, but eventually it spit out an empty file and a log message: "This program produces no output."