noway Creative Commons License 2001.11.08 0 0 57
asszem egy Mérő László könyvben olvastam egy olyan programról, amelyiket arra írtak, hogy bizonyos matematikai összefüggéseket elemezzen, rámutasson az azonosságokra stb. nem emlékszem pontosan a részletekre, a tanulsága a történetnek az volt, hogy az egyszerűbb összefüggéseknél (ahol ereditleg tudták a programozók is a megoldást) jól válaszolt a gép, a bonyolultabbaknál viszont az ember nem tudta ellenőrinzni a megoldást :)

Érdekessége a történetnek, hogy ez a program találta meg Euklidesz egyik alapvető tételének (ha egy háromszög két szöge egyenlő, akkor a szögek mentén fekvő oldalak is) a legrövidebb ismert bizonyítását.

Előzmény: ID (52)