logoalt Hacker News

derrakyesterday at 6:40 PM2 repliesview on HN

The Church-Turing thesis comes to mind. It would at least suggest that humans aren’t capable of doing anything computationally beyond what can be instantiated in software and hardware.

But sure, instantiating these capabilities in hardware and software are beyond our current abilities. It seems likely that it is possible though, even if we don’t know how to do it yet.


Replies

Verdexyesterday at 11:07 PM

Church turing is about computable functions. Uncomputable functions exist.

For example how much rain is going to be in the rain gauge after a storm is uncomputable. You can hook up a sensor to perform some action when the rain gets so high. This rain algorithm is outside of anything church turing has to say.

There are many other natural processes that are outside the realm of was is computable. People are bathed in them.

Church turing suggests only what people can do when constrained to a bunch of symbols and squares.

sophrosyne42yesterday at 6:53 PM

The church turing thesis is about following well-defined rules. It is not about the system that creates or decides to follow or not follow such rules. Such a system (the human mind) must exist for rules to be followed, yet that system must be outside mere rule-following since it embodies a function which does not exist in rule-following itself, e.g., the faculty of deciding what rules are to be followed.

show 1 reply