Joutuvatko muut kuin he joiden ammatti on matemaatikko tekemään matemaattisia todistuksia?
Todistaminen
Anonyymi
3<50
0Äänestä
Muut lukivat myös
Odottaa vastausta
Näihin keskusteluihin ei ole vielä vastattu. Ole ensimmäinen.
Turvaa tilisi vahvistamalla puhelinnumerosi. Voit silloin palauttaa unohtuneen salasanan tekstiviestillä.
Näihin keskusteluihin ei ole vielä vastattu. Ole ensimmäinen.
Vastaukset 3
Vanhimmat
Myös ne, jotka soveltavat matematiikkaa työssään (fyysikko, kemisti, insinööri tms.) saattavat joutua matemaattisesti osoittamaan, että heidän käyttämänsä menetelmä on toimiva.
Matematiikka sovelletaan monessa. Joissain tieteellisessä laskuissa voi olla käytetty jotain menetelmää, jota ei ole ennen tarvittu ja joka voidaan todistaa oikeaksi. Joskus mulle tuli ohjelmoinnissa vastaan ongelma, jossa piti keksiä menetelmä ja todistus sille, miksi homma toimii.
Tässä kuitenkin pieni varoituksen sana: Se, että esimerkiksi jokin iteratiivinen ratkaisumenetelmä voidaan matemaattisesti todistaa suppenevaksi, ei tarkoita, että menetelmästä tehty tietokoneohjelma tuottaisi aina suppenevan ratkaisun.
Matematiikka olettaa luvuille äärettömän tarkkuuden, tietokone käyttää vain rajallista määrää bittejä lukujen esittämiseen. Numeerinen epästabiilisuus voi helposti sortaa matemaattisesti oikein toimivan algoritmin, jos asiaa ei ota koodia kirjoittaessaan erityisesti huomioon.
Olen ohjelmistokehityksessä ollessani käyttänyt muutamia kertoja kymmeniä tunteja tällaisten ongelmien selvittämiseen.