Mind Matters Where Natural and Artificial Intelligence Meet

Taghalting problem

kai-pilger-395931-unsplash

Human intelligence as a halting oracle

Jonathan Bartlett proposes to model the human mind as a halting oracle.
A common objection to Bartlett’s idea is that humans cannot be halting oracles because we embed any unsolvable math problem as the halting condition for a loop and a human cannot tell us whether the loop will halt or not. This objection misses the fact that there is a range of oracles between plain Turing machines and a complete halting oracle. Read More ›