Seuraa 
Viestejä45973

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

Kommentit (3)

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

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.

Sisältö jatkuu mainoksen alla
Sisältö jatkuu mainoksen alla

Suosituimmat

Uusimmat

Sisältö jatkuu mainoksen alla

Uusimmat

Suosituimmat