logoalt Hacker News

Verdexyesterday at 11:07 PM0 repliesview on HN

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.