[mensetmanusman]

Imagine you have no will.

Each series of words and arguments is equivalent because no understanding actually exists.

There is no mechanism behind picking one series of words over the other because a random number generator is behind anything.

You can’t trust such a system to produce any logical outcome, therefore free will (embodied understanding and decisions etc.) is required to conclude that free will doesn’t exist :)

[Vecr]

That does not follow, a robot following the rules of correct reasoning can conclude (to a reasonable probability) that a statement is false. You may have very strong requirements in your definition of "understanding", but the robot can output a number between 0 and 1, and that's good enough for a conclusion by everyday language.

Saying an airplane concludes to tell the pilot to "pull up" is correct as far as I think most people see it.

[mensetmanusman]

Mathematicians have proven that there are true statements that can not be concluded to be true by following a set of rules or axioms.

Turing machine based robots will get stuck until the end of time stuck in infinite loops that humans are able to easily step out of. This is one of the requirements for understanding, so examples of robots aren’t very illuminating.

[Vecr]

There are ways to detect that to an extent and abort in machine systems, and for humans you can see kind of analogous attacks against the immune system (it gets really, really crazy in there, real arms race stuff), but in general why do you expect humans to be specially invulnerable to Godel attacks? To the extent they're hard to attack, it's because they don't actually execute math.