Re: Logic Problems

*To*: mathgroup at smc.vnet.net*Subject*: [mg2524] Re: Logic Problems*From*: fateman at peoplesparc.cs.berkeley.edu (Richard J Fateman)*Date*: Thu, 16 Nov 1995 01:45:25 -0500*Organization*: University of California, Berkeley

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/