Una formalización del sistema de los números reales
Fecha
2017
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad EAFIT
Resumen
Descripción
Se presenta una formalización de una axiomática del sistema de los números reales en un asistente de pruebas -- Además de una axiomática clásica se presenta una axiomática del sistema de los números reales para la matemática intuicionista -- Se demuestran formalmente de forma interactiva y automática algunas propiedades del sistema -- Las demostraciones automáticas fueron realizadas por demostradores automáticos de teoremas de propósito general
Palabras clave
Demostración automática de Teoremas, AGDA (Lenguaje de programación funcional)