Re: Incompleteness vs. Mechanical Reasoning

On Apr 5, 4:07 am, Aatu Koskensilta <aatu.koskensi...@xxxxxxxxx>
wrote:
On 2008-04-04, in sci.logic, Rupert wrote:

How do you know that we have free will?

Being the predictable scoundrel I am, I would first ask just what it
means for us to have or fail to have free will. Isn't philosophy fun!

And what would it mean to us if |R| = |N| instead of |R| > |N|?
.