|
|
Re: quotation
Posted:
Aug 17, 1996 11:39 PM
|
|
In article <4v27do$qpu@charity.ucr.edu>,
james dolan <jdolan@math.ucr.edu> wrote:
>ilias kastanas writes:
>
>- His dream was first, a precise symbolic language ("characteristica
>- universalis") to express everything in science 'and philosophy' (it is
>- not clear how _wide_ this was to be) and second, a computational method
>- ("calculus ratiocinator") to resolve statements in that language. I
>- don't remember whether he actually envisaged a machine doing the work.
>- I recall the quote that instead of quarrels and squabbles people would
>- say "Calculemus".
>-
>- Limited to mathematics, the dream did come true;
>
>
>
>of course it did _not_ come true. as you well know it was destroyed
>by (among others) goedel.
It did come true. You are confusing Goedel Incompleteness with
Goedel Completeness.
Ilias
|
|
