> [people] are not currently practically computable, but it seems physically possible to simulate them. To be fair, it being physically possible to simulate pe

> [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.