Tom Lehrer - That's Mathematics

_lina_ For anyone wondering about the lyric about Andrew Wiles (starting at 1:54): The famous 17th century mathematician Fermat wrote, in the margin of one of his notebooks, that he had a proof that there are no integers a, b, and c that satisfy a^n + b^n = c^n for n > 2, but that he didn't have enough paper to prove it. Mathematicians tried for centuries to prove it. It was finally proven in the mid-90s by Andrew Wiles. And odds are, Fermat never really had a proof for it in the first place, since the proof that Wiles eventually found used tons of math that hadn't been invented in Fermat's time. :)