Everything2
Near Matches
Ignore Exact
Full Text
Everything2

Derivation is a science, integration is an art

created by mrichich

(idea) by ariels (16.8 hr) (print)   ?   (I like it!) 1 C! Tue Oct 22 2002 at 12:08:39

Any Mathematics high school student or undergrad knows that derivation is easy: there is a fixed set of rules which, if followed, lets you compute the derivative of any elementary function. And any Mathematics undergrad or high school student also knows that integration is hard: integrating an elementary function (like sin(ln(x))) is decidedly non-trivial, and often appears to require the use of a trick.

Hence statements like this node's title: any machine can derive, but only a human artiste can integrate.

Unfortunately for this claim and fortunately for future generations, in 1970 Robert Risch came up with an algorithm for symbolic integration of elementary functions. You do have to make some assumptions; the most important one is that you are computing over the reals and can solve all polynomial equations (otherwise some undecidable problems pop up, related to the solution of Hilbert's Tenth Problem; but they are truly unimportant compared to the usefulness of an integration algorithm).

The algorithm is by no means efficient (although some work has been done, symbolic algebra is hard to do quickly). Whether or not it is useful is debatable. But the fact remains: an algorithm exists which can give the antiderivative of any elementary function which has one (or prove that none exists).

So, at least as regards the art of integration, there isn't one. Any machine can integrate. Though it might take a while...


printable version
chaos

integrating sin(ln(x)) You lack the fire Hilbert Problems Risch Algorithm
sin(x)/x Tipping strippers with Susan B. Anthony dollars Derivation The creative juices are all dried up and crusty
Calculus Grade 12 antiderivative trick
Integration When people say destroying a work of art is good Hilbert's third problem Schrödinger's Equation
Architect's Leap elementary function Art is not reducible to text Errol Flynn
Mathematica spherical coordinates October 1, 2007 Art of Noise
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
Little presents from the Node Fairy:
Two Gentlemen on Veronica
Everything Literature
Closer (I want to love you like a pikachu)
break shot
Our hearts were hard, but they were warm
A Brief History of Medicine
Integration
The Great Grand E2 Book Lotto
Service for those Fallen Asleep
condom man page
The Incredible String Band
March 28, 2006
Kids from the short bus
New Writeups
Tom Rook
Talk is cheap(poetry)
shaogo
Adelle Davis(person)
Aerobe
race car g sfjsgsd(poetry)
Binah
Dream Log: July 5, 2008(dream)
StrawberryFrog
Forgotten things in space(idea)
antigravpussy
velvet revolution fairy tale(idea)
Heitah
Nerve agent VX(thing)
Pavlovna
shite(idea)
wonton
Days and nights come together in a slow falling down(fiction)
Pavlovna
wee(idea)
katherine
root log: July 2008(log)
Madara
There’s nothing like a trail of blood to find your way back home(fiction)
Heitah
After sneeze(idea)
froggy7384
Why we smoke(personal)
SubSane
Loneliness is a Warm Tuna Melt on a Cold Summer Night(person)
This page courtesy of The Everything Development Company