Mi objetivo es desarrollar un programa de demostración automatizado para la aritmética de Peano. Quiero conocer tantas pruebas como sea posible en este sistema tanto para mi cultura matemática como para enriquecer la base de datos de mi futura inteligencia artificial.
Estoy pensando en utilizar Racket o Haskell.
Gracias de antemano,
