3 ms·
The parent article discusses the idea of a partial halting oracle (PHO), which decides for an undecidable subset of problems. A TM cannot meet this requirement
by yters 8y ago
The parent article discusses the idea of a partial halting oracle (PHO), which decides for an undecidable subset of problems. A TM cannot meet this requirement, by definition. It seems like humans are in the category of PHOs.
- adrianN 8y agoThere is no proof that human brains are capable of deciding uncomputable sets and really no reason to believe that they should be able to.
- yters 8y agoThat's a bit of a tangent. Here we were discussing whether the concept itself makes sense. But, as for empirical evidence, max entropy + Bayesian hypothesis selection makes the PHO hypothesis much more plausible than the TM hypothesis.