AM, l'ordinateur qui est un mathématicien amateur

AM est un système, écrit par Douglas Lenat en 1977, qui « fait des découvertes » en mathématiques, comme le ferait un mathématicien amateur qui ne connaîtrait au départ que des rudiments de la théorie des ensembles. Par exemple AM va découvrir le concept de nombre entier en associant à chaque nombre la classe des listes qui ont cette longueur ; puis plus tard il découvrira le concept d'addition en considérant l'opération « union » sur des ensembles qui n'ont pas d'éléments communs (la taille de l'ensemble résultat est alors la somme de la taille des deux ensembles de départ)....