Matemaattinen todistaminen tietokoneella

Seuraa 
Viestejä45973
Liittynyt3.9.2015

Ovatko matemaatikot koodanneet ohjelmia, jotka osaisivat suorittaa oikeaoppisen matemaattisen todistuksen jollekin lauseelle, kun ohjelmalle olisi ensiksi syötetty tarvittavat aksioomat.

Kommentit (3)

Vierailija

En ole ainakaan tuollaiseen törmännyt ja luulisin ko ohjelman olevan aika hankala tehdä. Kun matemaattinen todistus ei tapahdu tietyn saman kaavan mukaan, vaan usein joutuu keksimään kaikenlaisia jippoja, ajattelemaan luovasti. Tietokoneet eivät ole luovan ajattelun mestareita, ainakaan vielä.

H
Seuraa 
Viestejä2622
Liittynyt16.3.2005

Ainakin predikaatti logiikalla onnistuu. Se on jo vanha jutta ja sen mukaan toimivia ohjelmointikieliäkin on olemassa. Sillä todistaa kaikenlaisia asioita, myös matematiikkaa, jos vain tarvittavat "totuudet" on ohjelmalle annettu.

Uusimmat

Suosituimmat