Post #3939676
2026-07-19 17:36 UTC
one thing that irks me about the "complexity -> consciousness" argument is that computer people do not have a well defined idea of what "complexity" is, it is a "I know it when I see it" thing. whereas we do have a very rigorous formal model of what a computer can do
Replies (1)
-
@jcoglan@mastodon.social 2026-07-19 17:37
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)