Sicard Ramírez, Andrés2018-06-272017https://hdl.handle.net/10784/12429Se 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 generalapplication/pdfspaDemostración automática de TeoremasAGDA (Lenguaje de programación funcional)Una formalización del sistema de los números realesinfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessAXIOMASPROGRAMACIÓN LÓGICALÓGICA SIMBÓLICA Y MATEMÁTICATEOREMA DE LA COMPLETITUDTEORÍA DE LOS NÚMEROSNÚMEROS REALESAxiomsLogic programmingLogic, symbolic and mathematicalCompleteness theoremNumbers, Theory ofNumbers, realAcceso abierto2018-06-27Acevedo Acosta, Jorge OhelEcheverri Jurado, José Luisreponame:Repositorio Institucional Universidad EAFITinstname:Universidad EAFITrepourl:https://repository.eafit.edu.cohttp://purl.org/coar/access_right/c_abf2