zlacker

>>mdszy+(OP)
Why is there never any fundamental research whether human intelligence is even computable? All these huge, expensive projects based on an untested premise.

>>yters+GI
I think it’s pretty certain that we can improve a lot. If that leads to human intelligence or something else we don’t know. But it’s worth working on improving things and trying different approaches even if the final result isn’t known.

>>Ididnt+qJ
But there might be even better approaches if human intelligence is not computable. E.g. if the mind is a halting oracles that can get us all kinds of cool things.

>>yters+nT
If the mind were a halting oracle I don't think most of our open problems in mathematics would be.

>>inimin+VK1
It's possible for the mind to solve more halting problems than any finite computer, yet still not be as powerful as a complete halting oracle. Thus, the fact we haven't solved every problem does not count as evidence against the mind being a halting oracle.