|
|
|
|
|
|
by Vecr
589 days ago
|
|
|
What I don't know how to do is bounded rationality. Iterating over all the programs weighted by length (with dovetailing if you're a stickler) is "easy", but won't ever get anywhere. And you can't get away with the standard tricky tricks that people use to say it isn't easy, logical induction exists. |
|
|