Da dopunimo ovu temu odgovorima na neka postavljena pitanja i ponekim ispravkama.
Citat:
PeraT:
Dokaz Fermaove p.t. je na par stotina strana a4 formata (koliko ja znam)
Nije baš nekoliko stotina strana već nešto preko 100, koga interesuje može ceo dokaz skinuti
ovde.
Citat:
PeraT:
i da bi ga (mi obicni smrtnici) razumeli trebalo bi nam par hiljada godina (zato ga je i pregledalo 4-5 ljudi pola godine)
Zapravo, pregled bilo kog matematičkog rada, pa čak i nekog koji ima svega desetak strana, obično traje od pola godine pa naviše. Ovo nije neki „propisani rok“ ali u praksi tako izgleda jer je bolje uložiti koji mesec više za što detaljniju analizu nego objaviti pogrešan rad na koji se kasnije mogu pozivati mnogi autori, i jednom kad greška bude otkrivena padaju i sve posledice. Istina, ne radi baš uvek 4-5 ljudi na reviziji, obično je u pitanju samo 1-2, ali pola godine zaista nije nikakvo iznenađenje već se komotno može svrstati u kratke rokove.
Citat:
PeraT:
Ono sto mene zanima jeste da li je E.W. dobio Filtz-ovu nagradu za ovu
teoremu? (Mislim da se tako zove pandan Nobelovoj za matematicare)
Koliko sam ja cuo pricu, jeste (posto je imao manje od 40 godina) ali mu
je valjda oduzeta, kada je pronadjena greska u primeru.
Ali da ne bude ljudima tako dosadno E.W. je ispravio gresku, ali na zalost
par meseci nakon sto je napunio 41 godinu.Pitanje glasi:Jel mu je F. nagrada vracena?
Nikad čuo za Filtzovu nagradu, verovatno misliš na
Fields medal. Prvo, van svake pameti je dodeljivati jednu toliko prestižnu nagradu za dokaz koji još nije pregledan i potvrđen, tako da nije tačno da su mu je najpre dodelili pa oduzeli. A sledeće, Vajls svakako nije zaslužio tu nagradu (na osnovu propozicija, naravno, ne na osnovu uloženog truda) jer u vreme kada je objavio tačan dokaz imao je više od četrdeset godina, a sve što je netačno se jednostavno ne broji. Netačan dokaz može da napiše svako i sa 15 godina, a samo tačan je ono što se računa. Međutim, pošto su predsedavaoci komiteta za dodelu ove medalje uvideli paradoksalnost situacije, Vajlsu su uručili
IMU silver plaque (IMU=International Mathematical Union), specijalnu nagradu za izvanredan doprinos.
Citat:
dRock9:
Znam da je postojala greska u dokazu i da je ispravljena i znam da postoji neka matematickarska nagrada, koju daje neki burzuj (ili mozda fond) a za sada obuhvata 7 velikih problema, medju kojima je i pomenuta teorema. Ne znam da li i ti mislis na istu nagradu, ali kada sam citao o njoj (pre oko godinu dana), ne secam se da sam video neko starosno ogranicenje.
Ovo je nešto sasvim drugo, ti pričaš o milenijumskim problemima koje je postavio (preciznije: sakupio)
Clay Mathematics Institute, radi se o 7 problema od kojih je nagrada za svaki milion dolara, ali se Fermaova teorema ne nalazi među njima. Jedan od razloga je taj što su problemi objavljeni 24.5.2000. godine, u vreme kada je Fermaova teorema bila već uveliko rešena, a osim toga, lično ne verujem (mada je ovo samo moje mišljenje) da bi se ova teorema našla na tom spisku čak i da u to vreme nije bila rešena, jer ti zadaci su oni čije bi rešenje imalo veliku primenu u daljem razvoju matematike (i drugih oblasti), dok Fermaova teorema nema skoro nikakvu primenu. Njena vrednost je neverovatan razvoj velikog broja grana matematike koji je ona inicirala svojom postavkom, ali praktičnu korist od rešenja zaista nemamo. Ipak, Fermaova teorema se na neki način nalazila na jednoj drugoj listi, čuvenih Hilbertovih problema. Kažem „na neki način“ jer je deseti Hilbertov problem tražio algoritam za određivanje da li data Diofantova jednačina ima rešenja. Pozitivno rešenje ovog problema bi očigledno rešio i Fermaovu teoremu (bilo dokazom da postoji rešenje ili dokazom da ne postoji), međutim 1970. godine Juri Matijaševič (Yuri Matiyasevich) dokazao je da takav algoritam u opštem slučaju ne postoji, i time je propao ovaj pristup.
Citat:
dRock9:
Za prirodne brojeve (ili cele bez nule, ne secam se tacno) x, y, z i prirodan broj n jednacina x^n+y^n=z^n nema resenja ako je n>2.
Potpuno je svejedno da li gledamo prirodne brojeve ili cele bez nule, jer ukoliko se dogodi da je neki član negativan prebacimo ga na drugu stranu i kraj posla.
Citat:
dRock9:
Ono sto mislim da si ti hteo da pitas je kratke crte dokaza, a one su dostupne na par stranica (mozes ih naci i na internet-u). Mada se tu moze videti samo osnovna idejica i vezano je za Swinnerton-Dyer Conjecture.
Berč—Svinerton-Dajerova hipoteza (postavili su je zajednički B. Berč i H. P. F. Svinerton-Dajer ranih 60-ih pa mislim da je pravilno napisati oba imena) se bavi eliptičnim krivima, koje su zaista osnovno sredstvo u dokazu Fermaove teoreme, ali to je jedna od ukupno samo dve sličnosti između ova dva problema. Druga sličnost je ta što je Vajls, zajedno sa saradnikom Koutsom (Coatesom), dokazao specijalan slučaj pomenute hipoteze. Međutim, Vajlsovo rešenje Fermaovog problema se ne poziva na to već se oslanja na jednu drugu hipotezu, Tanijame i Šimure (Taniyama-Shimura conjecture), čiji specijalan slučaj je Vajls pokazao i na tome izgradio svoj proslavljeni dokaz (zapravo, to je veći deo rešenja Fermaove teoreme), a interesantno je napomenuti da su 1999. godine dokaz kompletne hipoteze Tanijame i Šimure dali Kristof Brej (Christophe Breuil), Brajan Konrad (Brian Conrad), Fred Dajmond (Fred Diamond) i Ričard Tejlor (Richard Taylor); Taylor je poznat i po zajedničkom radu sa Vajlsom koji premošćava jednu od rupa iz Vajlsovog prvog dokaza Fermaove teoreme.
Citat:
dRock9:
Sto se tice one nagrade koju sam pominjao, malo pojasnjenje. Tih 7 problema navedeni su kao milenijumski problemi. Pored pomenutog (Swinnerton-Dyer Conjecture) tu su i Riemann-ova hipoteza, Quantum Yang-Mills Theory, The P versus NP Problem, Postojanje i glatkost Navier-Stokes - ove jednacine, The Hodge Conjecture i dokaz poslednje Fermatove Teoreme.
Milenijumski problemi su sledeći (abecednim redom):
1) Hipoteza Berča i Svinerton-Dajera (Birch and Swinnerton-Dyer Conjecture),
2) Hodžova hipoteza (Hodge Conjecture),
3) Navje—Stouksove jednačine (Navier-Stokes Equations),
4) P vs NP,
5) Poenkareova hipoteza (Poincaré Conjecture),
6) Rimanova hipoteza (Riemann Hypothesis),
7) Jang—Milsova teorija (Yang-Mills Theory).
Izostavio si Poenkareovu hipotezu (o kojoj je bilo neke kratke priče i na ES-u, koga zanima neka pogleda
ovde) i umesto nje ubacio Fermaovu teoremu.
I za kraj, jedan problem težak $100000, vrlo sličan Fermaovoj poslednjoj teoremi. Endru Bil (Andrew Beal) je 1993. godine postavio sledeću hipotezu, poznatu pod imenom Bilova hipoteza (Beal’s Conjecture):
Jednačina

gde su

i

nema rešenja u skupu prirodnih brojeva.
Nagrada (koja se dodeljuje bilo za dokaz tvrđenja bilo za pružanje kontraprimera) još nije podignuta, pa ako neko ima viška slobodnog vremena neka se pozabavi ovim problemom i kada uzme pare obavezno da me časti što sam mu skrenuo pažnju na to. :)
[Ovu poruku je menjao Bojan Basic dana 13.10.2006. u 23:38 GMT+1]
Ljubičice crvena, što si plava kô zelena trava.