Todistus

Andrew Wiles todisti Fermat'n lausekkeen todeksi, eli yhtälöllä ei ole ratkaisua 2 suuremmilla eksponenteilla. Wiles vastaanotti 1997 palkinnon tästä tekemästään työstä, joka yhdisti antiikin Kreikasta lähtien syntyneet matemaattiset teoriat tämän päivän suuriin otaksumiin. Wiles teki kahdeksan vuotta työtä lakkaamatta, omassa kammiossaan lähes täysin eristettynä muusta maailmasta. Fermat oli väittänyt 1600-luvulla ratkaisseensa tämän lausekkeen, mutta pitääkö se paikkansa? Se ei joka tapauksessa ollut tämä sama todistus kuin minkä Wiles teki. Itseasiassa todistus syntyi Taniyama-Shimuran otaksumasta tehdystä sovelluksesta, jonka sovelluksen keksi Gerhard Frey. Minusta siis Frey todisti Fermat'n lausekkeen, mutta Wiles todisti todistuksen todeksi. Fermat'lla ei ollut Wilesin todistusta, eikä tarvittavaa modulaarista matematiikkaa. Miten Fermat sitten väitti todistaneensa lausekkeen? Ehkä hän ei sitä todistanut. Ehkä on olemassa vielä jokin toinen tie todistukseen? Jokin 1600-luvun matemaattisilla tekniikoilla löydettävä ratkaisu? Kukaan ei tiedä. Tiedätkö sinä?