Lógica y Conjuntos

Acerca de la comprensión en matemáticas - MM62
El segundo problema de Hilbert sobre la compatibilidad de los axiomas de la aritmética - MM29
La conquista del infinito - MM16
La lógica matemática en el siglo XX - MM31
La paradoja de Russell es una imposibilidad lógica - MM17
La teoría de conjuntos en el siglo XX - MM31
Lo visual y lo deductivo en matemáticas - MM40
Los conjuntos - MM10
Pruebas de conocimiento cero - MM22
Turing y Godel en el monte de Si - MM56
Una breve historia de un teorema maravilloso - MM23
Una nota sobre un par de demostraciones de Georg Cantor - MM70
Una revisión del completamiento de Dedekind-MacNeille - MM37