MathGroup Archive 1995

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Logic Problems

  • Subject: [mg2524] Re: Logic Problems
  • From: fateman at peoplesparc.cs.berkeley.edu (Richard J Fateman)
  • Date: Thu, 16 Nov 1995 06:45:25 GMT
  • Approved: usenet@wri.com
  • Distribution: local
  • Newsgroups: wri.mathgroup
  • Organization: University of California, Berkeley
  • Sender: daemon at wri.com ( )

In article <48c00u$3f2 at ralph.vnet.net>, Paul A. Rubin <rubin at msu.edu> wrote:
>In article <47pnbh$fhc at ralph.vnet.net>,
>   TTCJ34A at prodigy.com (DR JOHN C ERB) wrote:
>->Can Mathematica be used to solve logic problems?  

If you get a book like 
Paradigms of AI programming
 by Peter Norvig

you can learn how to do all kinds of things of this
sort.  

Since Mathematica is "equivalent" to all other computing
formalisms (assuming it doesn't run out of memory), it
is possible to "do" anything that other programs can
do, if you are willing to wait long enough.

On the other hand, there may be more convenient and/or
faster ways of expressing a computation.  This is
probably one of them.
-- 
Richard J. Fateman
fateman at cs.berkeley.edu   http://http.cs.berkeley.edu/~fateman/


  • Prev by Date: RE: Positive[a] = True ???
  • Next by Date: help
  • Previous by thread: Re: Logic Problems
  • Next by thread: Re: Logic Problems