MathGroup Archive 2012

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

Search the Archive

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





  • Prev by Date: Re: FrameLabel and Style
  • Next by Date: Re: Theta function integration bug
  • Previous by thread: Re: modulo solving lacking domain?
  • Next by thread: Re: modulo solving lacking domain?