Matematiikassa algoritmeillä on tärkeä rooli. Hilbert uskoi että matemaattisin menetelmin voitaisiin ratkaista mitä vain, ja hän nostikin algoritmin luonteen läytämisen keskiöön. Ongelman ratkaisi Alan Turing, joka pelkisti matemaattisesta prosessoinnista epäoleellisen. Jäljelle jäi Turingin kone, teoreettinen laite. Siinä on lukupää ja kirjoituspää, sääntö/ohjelmisto jolla se toimii ja ääretön nauha. Laite lukee nauhalta tietoja, siirtelee nauhaa eteenpäin ja taaksepäin. Ja kun kone saa vastauksen, se tulostaa vastauksen.
Tärkeää oli se, että Turingin kone oli algoritmin määritelmä ja tietokoneen perusmalli. Näin ollen tietotekniikan kyvyt ja matematiikka osuvat yhteen.
Samalla päästiin miettimään myös laskennallisuuden rajoja. Ratkeavuusongelmat alkoivat kiinnostamaan. Hilbertin optimismi matematiikan kyvyistä osoittautui liioitelluksi ; Esimerkiksi kun havaittiin pysähtymisongelma. Se näyttää että algoritmi ei kykene kertomaan kyvyistään. Ei voida selvittää saavuttaako kone lopputuloksen vai jääkö se pyörimään ikuisesti. Jos algoritmi pyörii äärettömästi, se ei voi kertoa sitä. Jos algoritmi ratkaisee kysymyksen, tiedetään että se voi ratkaista ongelman. Mutta monesti "tulee seinä vastaan".
Tietokoneohjelmiston kannalta on otettava esiin esimerkiksi Kleenen kiintopistelause. Sen mukaan ei esimerkiksi voida tehdä täydellistä tietokonevirusta ; Ei ole yksinkertaisesti sellaista ohjelmaa joka voisi manipuloida minkä tahansa ohjelman toimimaan väärin. Samoin Gödelin
epätäydellisyysteoria on johtanut sovellukseen jonka mukaan ei ole mahdollista tehdä täydellistä virusturvallisuusohjelmaa joka ei muuttaisi samalla koneen toimintaa.
Diofantoksen ongelma on siitä olennainen, että hän mietti kokonaislukuratkaisujen etsimistä. Haaste on helposti muotoiltava ; On etsittävä kokonaislukujuuret polynomille jonka kertoimet ovat kokonaislukuja. Hilbert oli kiinnostunut näistä Diofantoksen yhtälöistä. Haastetta riittikin, sillä ratkaisuja oli paljon vaikeampaa etsiä kuin reaalilukuvastauksia. Diofantoksen yhtälöiden kohdalla laskettavuuden seinä tuleekin vastaan ; Osoitettiin että mikään tietokoneohjelma ei osaa kertoa varmasti sille annetusta Diofantoksen yhtälöstä sen, onko sillä ratkaisua. Ratkaisussa törmätään pysähtymisongelmaan.
Onkin mielenkiintoista, että vaikka matematiikkaa pidetään joskus suorastaan jumalallisena ja kaikkitietävänä - tästä on vahvoja sävyjä esimerkiksi Platonin ideamaailman ajattelutapoihin yhdistetyssä teologisessa ajattelussa, kun ideamaailma yhdistetään transsendenttiin yliluonnolliseen, Jumalan kaikkitietävyyteen ja muuhun vastaavaan - sillä on kuitenkin rajat.
Ei kommentteja:
Lähetä kommentti
Ciinnostuin ma sun sanoist ia haluan sixi ehdottomasti mitellä canssais sanain säilää tahi muuten huastella.
Ennen taistoa näytän caswoni cuhin tekee tosi gentlemanni, tahi raotan cybäräin cantta antaen taiteilijanimen jolla minua puhuttaa. Ios haluan beittää aateluuteni ia toimia incognito iotta ylen ialoinen sucuisuuteni ei wastincumbbanini cättä turhaan bidättelis, teen tunnuxeni iotencin selwäxi. Nihin et caici tietäwät että sanoien tacana olen juuricin minä, encä secotu sanomain ioncu muun nimettoman sanomax, he cun ylen usein ioncin sortin celmi tahi ryovari on.
Mittelömme on cescittyy vahin tähän asiaan, encä halua tuoda muita rienoia, cinoia ia riitoia cun mist tässä hengen mieccain mittelemme. Seison sanoieni tacana iotca owat omiani. Suuni ei lurita toisten buheita, matci houccain sanomisia. Encä sanoillani toist arenaa mainoza.
Caicel olcon aicansa. Onbi aica taistella ia aica cwolla, eri aica bascahysisa asioida. Näit en toisiinsa secota ; Ymmärrän, joshi mittelö on wacawa asia, iossa hurmekin hubelehtii. Helbosti woisi haawain loucaantua. En halua catceroittaa cetään lobuxi icäänsä mielisuruihin waan byrin taistelemaan cuin tosi herrasmiehen, ritarim ia gentlemannin cunnialle sobii.
Sixi uscallan lausua noin nimetä että ios iocu alcaa himoita cuontaloani seinälleen wiisaitteni wuoxi, on turmeltunembi miesi, ei uroiden sotilasi waan boica-sicuri ionca buheis haise häne uran labiointi, ioca io hänen aiwoiens baica toimittabi.
En carde ; Sa varaudu!