Post #2022528
2026-05-04 14:11 UTC
I really don't see what either gödels or turnings theorems have to do with it
All they (basically) tell you is that you can't tell if a computation will guarantee to halt , and that you can't proof everything with math
It's not excluding consciousness on a digital basis. Unless you already prerequisite some special property of consciousness to begin with
Replies (1)
-
@yeahiknow3@lemmy.dbzer0.com 2026-05-04 15:38
You’re misunderstanding the implications of both the halting problem and Gödel’s first incompleteness theorem. What Turing and Gödel independently proved is that a human observer can (theoretically) always have insights about mathematics and programming that are incomputable. That is, you cannot program or axiomatize or formalize or digitize everything that a mind can do. Period. Analog computers are sufficiently different from digital systems to potentially emulate brain activity. But digital (discrete) methods are probably too constrained.