noway
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)
|
|