Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



Re: quotation
Posted:
Aug 19, 1996 3:05 PM


ilias kastanas writes:
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.
no i am not. you are speaking total nonsense.



