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

Fecha

2017

Autores

Acevedo Acosta, Jorge Ohel
Echeverri Jurado, José Luis

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

Citación