¡Encuentra tu historia,
busca un libro!

Algunos resultados matemáticos sobre completitud y consistencia

Godel Kurt

Escolar, 

En este texto se examinan desde el punto de vista proposicional, los requerimientos de un sistema de lógica temporal adecuado para el desarrollo de una teoría de conjuntos en la cual el universo se expanda con el tiempo. Se propone un sistema tal y se prueban su consistencia, su validez y su completitud. Además, se analizan semánticamente las consecuencias de añadir otros axiomas relevantes.

Tags: Axioma, números, naturales, proposiciones, elevación
23
Ir a la Biblioteca Ver foro Generar QR

Comentarios

Titulo: Algunos resultados matemáticos sobre completitud y consistencia

Tema: Escolar

Opinión por: Confa

Los usuarios de la Biblioteca nos dejan sus opiniones.

Jueves, 15-02-2018 02:24:00 PM