3 ms·
> A human mind looking at the Gödel sentence while strictly adhering to the same formal structure could also not see that the Gödel sentence is true. To say th
by fiatjaf 9y ago
> A human mind looking at the Gödel sentence while strictly adhering to the same formal structure could also not see that the Gödel sentence is true.
To say that you assume a human mind is a machine. Why isn't that begging the question?
- Udo 9y agoNo, it means I think a human mathematician is capable of working within a formal structure by following the rules of that formalism. It's a way of saying that humans can do formal math. Of course you are correct in suspecting I do assume the human mind is a machine, because we have seen zero evidence that it's not the case, but that's not in any way part of the sentence you quoted.
- fiatjaf 9y agoOk, I get it. I had misunderstood your argument.