3 ms·
Well, the definition given specifically says stronger than Turing Machines, what you're describing is more what I hoped the article would be about, making certa
by dooglius 8y ago
Well, the definition given specifically says stronger than Turing Machines, what you're describing is more what I hoped the article would be about, making certain theoretical oracle machine algorithms partially realizable by putting a human in the loop, to e.g. come up with lower bounds on Chaitin's constant.
- yters 8y agoThis is what I'm working on, a human in the loop approach to Solomonoff induction.