Re: "Complement" to the Risch Algorithm
- To: mathgroup at smc.vnet.net
- Subject: [mg131459] Re: "Complement" to the Risch Algorithm
- From: Richard Fateman <fateman at cs.berkeley.edu>
- Date: Sat, 27 Jul 2013 05:38:54 -0400 (EDT)
- Delivered-to: l-mathgroup@mail-archive0.wolfram.com
- Delivered-to: l-mathgroup@wolfram.com
- Delivered-to: mathgroup-outx@smc.vnet.net
- Delivered-to: mathgroup-newsendx@smc.vnet.net
- References: <ksq0os$8na$1@smc.vnet.net>
On 7/24/13 6:58 PM, Matthias Bode wrote:
> Hola:
>
> Motivated by An analytical solution to an integral not currently in Mathematica? and by the interview with Mr. Daniel Lichtblau
on omega tau
Huh? oh, I found it using Google.
three questions arose to me:
>
> 1. Are there theorems that prove that particular types of functions - e. g. x^(1/x) - can not be integrated?
Yes. You can find "integration in finite terms" discussions (including
by Risch, and successors e.g. Bronstein) via Google.
>
>
> Or:
>
>
> 2. Is there a theorem which proves that theorems as per 1. above can not exist?
No, see above.
>
>
> Or:
>
>
> 3. Is this an undecidable problem?
Since you cannot tell in general if a factor of an integrand is zero or
not, you cannot tell if you can integrate or not.
Suggestion: Google for {undecidable integration}
Important hint for effective use of the internet. Instead of posting a
question or 3 here first, try to use the Google. It is your friend.
RJF
>