Matematico Automatico
Da Wikipedia, l'enciclopedia libera.
Il Matematico Automatico è un software che venne creato nel 1982 da Douglas Lenat. Questo avrebbe dovuto essere in grado di "scoprire" principi e proprietà matematiche. In una notte, il programma, che conosceva solo la definizione di "classe", "unione", "intersezione" e qualche regola logica per organizzare i concetti ha "scoperto" i numeri naturali, l'addizione, la moltiplicazione e i numeri primi. Ha anche inventato i concetti opposti di numeri primi, che erano sconosciuti allo stesso Lenat. Nel 1984 Lenat ha poi creato Cyc, un altro ambizioso programma con uno scopo simile.
