Godel

Dawsonzhu@aol.com wrote:

> I did read Penrose argument. I have not read Hofstadter's.
> What came to mind is that Godel is working with prime numbers
> and taking a subset and showing that some theorems cannot
> be proven with that subset that are in fact true. He extends
> that to the fact that algorithms are mathematical and therefore
> represent a limited subset of whatever is true. He then projects
> that because the human mind can discover these truths, therefore
> the mind is not algorithmic.

<skip>
> Central to this seems to be whether we can know things that
> are true (say about God), but cannot prove them so. Again,
> I surely don't _know_ the answer.

If you can't discover these truths, you clearly don't have a mind.
Or have I misunderstood your argument?
Received on Tue Mar 29 23:58:46 2005