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

Re: modulo solving lacking domain?

• To: mathgroup at smc.vnet.net
• Subject: [mg126861] Re: modulo solving lacking domain?
• From: Richard Fateman <fateman at eecs.berkeley.edu>
• Date: Thu, 14 Jun 2012 05:30:13 -0400 (EDT)
• Delivered-to: l-mathgroup@mail-archive0.wolfram.com
• References: <201206120659.CAA25892@smc.vnet.net> <C49675CE-DFFB-4759-A1FC-F853D06D2456@mimuw.edu.pl> <4FD7DD77.6040101@eecs.berkeley.edu> <88093364-D782-410D-8920-E66714C94086@gmail.com> <4FD8A1D4.2030201@eecs.berkeley.edu> <1D1918EF-72C2-4292-8573-C8D8FCD77B15@gmail.com>

On 6/13/2012 12:26 PM, Andrzej Kozlowski wrote:
>
> But Mathematica does not "refuse" to do it - you are just using the wrong approach.
By that reasoning, anything that Mathematica fails to do yet is 
computable ( by a Turing machine, say)
can be done with Mathematica but using a different approach.
Have Mathematica simulate a Turing machine, and then the user can
write the program to solve the problem.

The nice part of this reduction is that Mathematica can never be 
faulted.  It is always the
user's fault for using the wrong approach.

RJF

• References:
  • modulo solving lacking domain?
    • From: Richard Fateman <fateman@cs.berkeley.edu>