Moro! Brittiläinen matemaatikko ratkaisi pitkään matemaatikkoja vaivanneen fermat`n kuuluisan ongelman, joka itse väitti ratkaisseensa ongelman mutta ei itse viitsinyt sitä seikkaperäisesti todistaa.
Haluaisin uteliasuuttani tietää, mistä tämän todistuksen voisi saada. Se lienee yli 100 sivuinen todistus.
Olen vain yksinkertainen insinööri, mutta kiinnostaa vain nämä matemaattiset jutut.
Fermat`n lauseen todistus
mistä saa
9
1789
Vastaukset
- mat. opiskelija
Muistelisin, että Wilesin todistukseen jäi alun perin joku virhe, joka korjattiin paperissa http://www.math.harvard.edu/~rtaylor/hecke.pdf . En ole varma, kun en ole lukenut tarpeeksi matematiikkaa ymmärtääkseni todistuksen yksityiskohtaisesti.
- ystavatar
mat. opiskelija kirjoitti:
Muistelisin, että Wilesin todistukseen jäi alun perin joku virhe, joka korjattiin paperissa http://www.math.harvard.edu/~rtaylor/hecke.pdf . En ole varma, kun en ole lukenut tarpeeksi matematiikkaa ymmärtääkseni todistuksen yksityiskohtaisesti.
Mahtaakohan Suomessa olla vieläkään henkilöä, joka hallitsisi todistuksen yksityiskohtaisesti?
- mat. opiskelija
ystavatar kirjoitti:
Mahtaakohan Suomessa olla vieläkään henkilöä, joka hallitsisi todistuksen yksityiskohtaisesti?
Eräältä matemaatikolta kuulin, että joku hänen kaverinsa aikoi väiteltyään perehtyä Wilesin todistukseen. Tiedä sitten rupesiko hommiin. Wilesin todistukseen kuuluu muun muassa paljon algebrallista geometriaa ja Suomessa on käsittääkseni vain muutama henkilö joka on sitä alaa lukenut.
- asia
Huomionarvoista tässä yhteydessä on edelleen, että Fermatin suuresta lauseesta on rakentunut useita merkittäviä lukuteoreettisia kulmakiviä. Fermatin suuren lauseen perusteella muun muassa yhtälö a^n b^n = c^n ei sisällä ratkaisua, jos n on suurempi kuin n. Toinen huomionarvoinen seikka on se, että muun muassa ydinfyysikko Stephen Hawking huomasi, ettei Fermatin suuri lause päde kovinkaan hyvin suurissa intuitiokuvioissa. Myös Albert Einstein oivalsi Fermatin suuren lauseen merkityksen, ja kiteytti sen omiksi Einsteinin Alkuluvuiksi. Joskin Einstein konstruktio ensin Einsteinin Liukuluvut, mutta ei ollut järinkään tyytyväinen lukuihinsa, jolloin hän jatkokehkä merkittävimpään ehitti visiotaan, ja päätyi ehkä lukuteorian merkittävämpään johtopäätökseen: alkukuluku n on aina pienempi kuin vähintään n plus n plus 2, jossa ja vain jossa lukuparit n ja n plus 2 ovat Einsteinin Alkulukuja.
- lukuteoreetikko
Luepa Helsingin Sanomista 11.2.1998 artikkeli: Miten Fermatin ongelma ratkesi. Sen on kirjoittanut Tauno Metsänkylä. On myös kirja Amir D. Aczel: Fermat'n teoreema, suom. Risto Varteva, 166 s.
- Ohman
Mene esim. sivustolle Amazon / UK ja etsi kirjoista hakusanoilla "Fermat's Last Theorem".
Sieltä löytyy esim. Alf van der Poorten : Notes on Fermat's Last Theorem. Pääset lukemaan "Introduction" - lukua jossa jo vähän historiaa,
Löytyy myös Takeshi Sato: Fermat's Last Theorem Basic Tools ja Fermat's Last Theorem The proof joitka yhdessä käynevät kokonaan läpi tuon todistuksen.
Sato saattaisi olla parempi lukea kuin Wilesin alkuperäinen varsinkin kun se alkuperäinen ei vielä sisältänyt ihan sitovaa todistusta vaan sitä vähän lisäiltiin myöhemmin. van der Poorten saattaa olla kevyempää luettavaa mutta liekö sitten yhtä perusteellinen kuin Sato?
Ohman - Anonyymi
https://github.com/ImperialCollegeLondon/FLT Fermat'n suurta lausetta on alettu formalisoimaan Leanilla.
Ketjusta on poistettu 0 sääntöjenvastaista viestiä.
Luetuimmat keskustelut
Ikävöin sinua kokoyön!
En halua odottaa, että voisin näyttää sinulle kuinka paljon rakastan sinua. Toivon, että uskot, että olen varsin hullun614418KALAJOEN UIMAVALVONTA
https://www.kalajokiseutu.fi/artikkeli/ei-tulisi-mieleenkaan-jattaa-pienta-yksinaan-hiekkasarkkien-valvomattomalla-uimar1523261Jos sinä olisit pyrkimässä elämääni takaisin
Arvelisin sen johtuvan siitä, että olisit taas polttanut jonkun sillan takanasi. Ei taida löytyä enää kyliltä naista, jo492544Kadonnut poika hukkunut lietteeseen mitä kalajoella nyt on?
Jätelautta ajautunut merelle ja lapsi uponnut jätelautan alle?532524- 1102235
- 241893
- 231662
- 301626
- 1691530
- 361265