Albert Visser

Tesis doctoral que profundiza en generalizaciones de los Teoremas de Incompletitud de Gödel y explora el rol de la teoría de la recursión en sistemas formales.

Investigación en dos partes sobre los fenómenos de autorreferencia y los enunciados que afirman su propia no demostrabilidad en aritmética.

Este libro explora el Teorema de Incompletud de segundo orden a través de reflexiones y rumiaciones sobre su significado y consecuencias en la lógica matemática y la filosofía de las matemáticas.

Estudio que desarrolla un marco categórico para comprender las relaciones de interpretabilidad entre teorías lógicas y aritméticas.

Artículo que examina la teoría aritmética de Robinson Q y sus propiedades en relación con la complejidad e incompletitud.