Sucesores de Gödel: El teorema de Löb y su linaje
por Craig Smorynski · 1991
Sinopsis
Smorynski explora el teorema de Löb, que es una generalización del Teorema de Fijo de la Logica Modal y su relación con la auto-referencia y los teoremas de incompletitud.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda