Re:Gödel's Theorem
by TuringTest on Thursday January 31, 2019 @08:32AM
(#19044549)
> [people] are not currently practically computable, but it seems physically possible to simulate them.
To be fair, it being physically possible to simulate people doesn't mean that human mind is computable/decidable.
Even if the "low-level" physical behavior of simulated neurons could be formalized, there's the possibility that the "high level" mind could belong to a different "emergent" layer that can't be represented by an axiomatic system.
In essence, you would have a computer program that represents a human mind, but the answers to problems asked to that mind would be evaluated as human replies, not formal expressions; and human replies are not axiomatic.
To be fair, it being physically possible to simulate people doesn't mean that human mind is computable/decidable.
Even if the "low-level" physical behavior of simulated neurons could be formalized, there's the possibility that the "high level" mind could belong to a different "emergent" layer that can't be represented by an axiomatic system.
In essence, you would have a computer program that represents a human mind, but the answers to problems asked to that mind would be evaluated as human replies, not formal expressions; and human replies are not axiomatic.