Una formalización del sistema de los números reales

Sicard Ramírez, Andrés2018-06-272017http://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 generalspaDemostración automática de TeoremasAGDA (Lenguaje de programación funcional)Una formalización del sistema de los números realesmasterThesisinfo: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é Luis