home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.math.symbolic      Symbolic algebra discussion      10,432 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 8,660 of 10,432   
   Richard Fateman to All   
   Re: Algorithm for symbolic solving of Re   
   01 Sep 14 12:29:33   
   
   XPost: sci.math   
   From: fateman@cs.berkeley.edu   
      
   On 8/30/2014 9:32 AM, IV wrote:   
   > "Axel Vogt"  wrote in news:c6c8d8F6dkkU1@mid.individual.net...   
   >> I think the English article contains 'errors' (it is meant:   
   >> inverse of trigs, only)   
   > There are some slightly different definitions of Elementary functions.   
   > It depends on the objectives of the respective author.   
   >   
   >> What should "real" be? You already kick out sqrt and log,   
   >> besides inverse trigonometrics.   
   > I have "Real" capitalized. That means, it is a proper name. This refers   
   > to the functions in the Real numbers.   
   >   
   >   
      
   If you would do your homework and define explicitly   
   the meaning of your phrase "functions in the Real numbers"   
   then maybe you could expect an answer.   
      
   Given at least one interpretation, the answer is clear.   
      
   You cannot even tell if an arbitrary function f(x) composed of common   
   elementary functions is identically zero.  Thus if someone   
   told you  the solution to f(x)=0   is   x=p,  you could not   
   even check if f(p) is zero.  So you can't always solve f(x)=0.   
      
   At least not with 100% algorithmic methods over all such functions.   
      
   If you want to learn what this means, look up work by Daniel   
   Richardson in 1967-68  on decidability.   
      
   RJF   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca