personal/nunosempere.com
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tweak: solomonoff tweaks

Browse Source
This commit is contained in:
NunoSempere 2023-03-02 11:56:25 -06:00
parent 08c7a78b9d
commit 4c62563ade
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
blog/2023/03/01/computable-solomoff/index.md
View File

@ -54,6 +54,9 @@ This can easily be fixed as follows:
- Repeat step 2 until you have one program which has predicted past bits within your compute budget. Eventually this program must exist, since the Turing machine which is producing your trail of bits is by construction computable and non-halting[^3].
4. Observe the next bit, purge the machines from your set which don't predict it. If none predict it, go to 2.
It is not clear to me whether all Turing machine models require this epicycle.
<p>
<section id='isso-thread'>
<noscript>Javascript needs to be activated to view comments.</noscript>