Post #3939689
2026-07-19 17:37 UTC
no computing appliance, no matter how complicated, can ever gain capabilities beyond those of a turing machine, or by church-turing, the untyped lambda calculus. anything a computer does must arise from some composition of `x`, `\x -> e`, and `x y` (names, abstractions and applications)
Replies (1)
-
@jcoglan@mastodon.social 2026-07-19 17:37
you can't actually make a computing system that is anything but a large graph of these operations. you can make it as big as you like but it will only ever do those 3 things. therefore you need to show that those 3 things and nothing more can give rise to consciousness