Ero sivun ”Matemaattinen todistus” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
CocuBot (keskustelu | muokkaukset)
p r2.6.1) (Botti lisäsi: gl:Proba matemática
Kekkone (keskustelu | muokkaukset)
"valitettavasti" on pov
Rivi 8:
Luonnollisesti todistus ei saa sisältää väitettä oletuksena missään muodossa, muuten kyseessä on [[kehäpäätelmä]]. On myös tärkeää, että väitteessä on mainittu riittävän selvästi käytetyt '''oletukset'''. Oletukset rajaavat ja määrittävät ongelmaa tarkemmin, esimerkiksi todistettavan väitteen sisältämät luvut saattavat olla aina ei-negatiivisia [[kokonaisluku]]ja.
 
Valitettavasti kaikkiaKaikkia selvästi todentuntuisia väitteitä ei ole helppo todistaa matemaattisesti. Esimerkiksi ''[[Pierre de Fermat]]'''n tunnettu [[Fermat'n suuri lause|teoreema]] säilyi todistamattomana yli 300 vuotta, kunnes viime vuosikymmenellä englantilainen matemaatikko [[Andrew Wiles]] löysi sille todistuksen yli 10 vuoden työn tuloksena. Vaikka todistettava väite itsessään on erittäin yksinkertainen, on sen todistus niin mutkikas, että vain harvat matemaatikot ovat kykeneväisiä ymmärtämään sen.
 
Matemaattisia todistuksia käytetään laajalti muun muassa ohjelmistotieteessä, kun halutaan todistaa jokin [[algoritmi]] oikeaksi. Periaatteessa myös kokonaisia tietokone-ohjelmia voidaan todistaa oikeaksi, mutta [[ohjelmien todistaminen]] on kuitenkin osoittautunut sen verran työlääksi, että käytännössä vain pieniä, kriittisiä osia todistetaan tarvittaessa.