Re: Godel's Theorem under Fuzzy Logic?

Christopher Reid Palmer (
Sat, 28 Mar 1998 23:21:46 +0100 (MET)

On Tue, 24 Mar 1998 wrote:

> This is a crucial question, IMO, with regard to Artificial Intelligence,
> because as I understand it, Roger Penrose's whole argument in his book
> "Shadows of the Mind" that convincingly attempts to show that AI is
> in principle unachievable on any algorithmic computer, assumes that the
> posited machine intelligence thinks in terms of either-or (Aristotlean) logic
> rather than fuzzy logic. Surely fuzzy logic would invalidate Godel's Theorem
> and hence his whole argument? - therefore AI might in fact be possible after
> all.

As I understand it (not very well at all), Penrose's argument does not
hinge on whether or not our minds compute binarily or fuzzily, but rather
if they are algorithmic or not.

Can anyone clarify for us, please?

Christopher Reid Palmer : : innerfire on IRC (EFNet)

Accept loss forever : Jack Kerouac