Re: Cantor's Theory: Mathematical creationism

From: Shmuel (Seymour J.) Metz (spamtrap_at_library.lspace.org.invalid)
Date: 11/25/04


Date: Wed, 24 Nov 2004 22:53:20 -0500

In <25bac3c0.0411231413.38e4e990@posting.google.com>, on 11/23/2004
   at 02:13 PM, david_lawrence_petry@yahoo.com (David Petry) said:

>If mathematics were seen as the science of phenomena observable in
>the world of computation,

If ware lilies were elephants they'd have trunks.

>then a very natural approach to the problem
>of artificial intelligence would be to teach computers mathematics.

I see that you don't know much about computers either. There have been
theorem proving systems for a long time.

-- 
Shmuel (Seymour J.) Metz, SysProg and JOAT  <http://patriot.net/~shmuel>
Unsolicited bulk E-mail subject to legal action.  I reserve the
right to publicly post or ridicule any abusive E-mail.  Reply to
domain Patriot dot net user shmuel+news to contact me.  Do not
reply to spamtrap@library.lspace.org


Relevant Pages

  • Re: Is SuSe ready for me yet?
    ... Some of themeven asked me about Linux. ... computers" is still a lie. ... computers preloaded with Linux. ... Unsolicited bulk E-mail subject to legal action. ...
    (alt.os.linux.suse)
  • Re: mathematics
    ... Turing machines are theory, tonto; computers are engineering. ... Unsolicited bulk E-mail subject to legal action. ...
    (comp.theory)
  • Re: mathematics
    ... Turing machines are theory, tonto; computers are engineering. ... Unsolicited bulk E-mail subject to legal action. ...
    (sci.math)
  • Re: Multiple PC syncronization
    ... If it were you would simply unplug the computers, ... >them into the hottest fire you have. ... Security comes behind use. ... Please do not send unsolicited bulk e-mail or unsolicited ...
    (comp.os.linux.security)
  • Re: Reason for usage of term "twos complement"?
    ... >common way to write binary numbers was in octal, ... I've worked on such computers, and I never heard the integer ... Shmuel Metz, SysProg and JOAT ... Unsolicited bulk E-mail will be subject to legal action. ...
    (comp.programming)