Re: Re: Integration

• To: mathgroup at smc.vnet.net
• Subject: [mg44434] Re: [mg44423] Re: Integration
• From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
• Date: Sun, 9 Nov 2003 06:01:23 -0500 (EST)
• References: <bmg0li\$e9k\$1@smc.vnet.net> <bmj2os\$prs\$1@smc.vnet.net> <200311040823.DAA10480@smc.vnet.net> <bob5i2\$qe6\$1@smc.vnet.net> <200311080951.EAA24667@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

```On 8 Nov 2003, at 18:51, Alex wrote:

>>
>>   There is no computer program or a human being who can do that and no
>> sane person would make this sort of claim. Unless, that is,"can
>> handle"
>> means "can handle in principle" - in other words, there are no
>> specific
>> types of such integrals it "can't handle", in which case the claim is
>> valid.
>>
>>
>
> 1) I expected from you more than just play on words, but rather an
> advice on how to make Mathematica compute an elementary integral.
>
> 2) I did compute this particular integral and I challenge you and
> anybody else to give me an integral, which is computable as indefinite
> in terms of elementary functions, so that I couldn't handle it by
> myself.
>
> Alex
>
>
>

Here is an extract form MathWorld:

The Risch algorithm is a decision procedure for indefinite integration
that determines whether a given integral is elementary, and if so,
returns a closed-form result for the integral. It builds a tower of
logarithmic, exponential, and algebraic extensions. The case of
algebraic extensions is quite complicated and is therefore not
completely implemented in any computer algebra system. Liouville's
principle, which dates back to the 19th century, is an important part
of the Risch algorithm. There are extensions to the Risch algorithm,
notably by Cherry, to be able to handle some special functions.

I really do not intend to waste my time on trying to construct an
"example" for you to "handle." In my fairly long career as professor of
mathematics I have come across people who claimed that had proved
Fermat's Theorem (none of their names was Wiles), disproved The Theory
of Relativity and constructed the "Perpetuum Mobile". As a rule I
politely agree and change the subject. Unless you are a re-incarnation
of Evarist Galois your claim as dubious as theirs.

Andrzej Kozlowski
Yokohama, Japan
http://www.mimuw.edu.pl/~akoz/

```

• Prev by Date: Re: Integration
• Next by Date: Re: exporting a list of functions for use in a C function
• Previous by thread: Re: Re: Integration
• Next by thread: Function-type arguments in function definition