Yet we live in a world where millions of humans assert their will over undecidables every day. Because we can make irrational decisions, logic be damned. Explain that one.
That’s not deciding anything in the information-theoretical sense. We rely a lot on approximations and heuristics when it comes to day to day functioning.
You can’t decide the halting problem by saying “I’ll have a glance at it and go with whatever I think after thinking about it for half a second”. That’s not deciding the problem that’s giving up on it and computers are perfectly capable of doing that.
Yet we live in a world where millions of humans assert their will over undecidables every day. Because we can make irrational decisions, logic be damned. Explain that one.
That’s not deciding anything in the information-theoretical sense. We rely a lot on approximations and heuristics when it comes to day to day functioning.
You can’t decide the halting problem by saying “I’ll have a glance at it and go with whatever I think after thinking about it for half a second”. That’s not deciding the problem that’s giving up on it and computers are perfectly capable of doing that.