Damus
jcoglan profile picture
jcoglan
@jcoglan
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
1
jcoglan · 1w
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)