3 ms·
> Do you consider Church-Turing Thesis couched in a culture of human exceptionalism too? there is a branch of philosophy called logical positivism or logical e
by LesZedCB 6y ago
> Do you consider Church-Turing Thesis couched in a culture of human exceptionalism too?
there is a branch of philosophy called logical positivism or logical empiricism, which in my understanding only deals with statements that can be proven a priori or via verifiability. Church-Turing Thesis exists within this framework, as far as i can tell.
i think that's supremely boring and leaves out the entire other half of epistemological discussion.
but honestly i dont see how this thesis holds any bearing on AI, maybe you can bridge the gap for me.
> life would loose a lot a meaning for a lot of people
this is so loaded with metaphysical assumptions it's hard to engage with.
to rephrase "if i was deterministic, my life would be meaningless" is exactly the kind of reasoning somebody who is a human exceptionalist would use without realizing that's what they are stating.
- tsimionescu 6y agoThe Church-Turing thesis is not logically provable, as it asserts that an informal concept, 'any solvable problem', can be formally defined as 'any problem solvable by a Turing machine', or equivalently by a few other models of computation (primitive recursive functions, lambda calculus, others discovered in the meantime). The equivalency of the formal models is well-proven. However, equivalency between a formal construct and an informal human idea is outside the realm of what we can even attempt to currently prove.