The Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: quotation
Replies: 21   Last Post: Aug 27, 1996 12:42 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
james dolan

Posts: 93
Registered: 12/8/04
Re: quotation
Posted: Aug 19, 1996 3:05 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply



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.







Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2017. All Rights Reserved.