Supongo que uno se tambalea al borde de la onu-matemático, pero aquí va...
Yo he estado en algo de una lógica de la borrachera últimamente y han (sorpresa, sorpresa!) sido especialmente interesados en los resultados de Gödel, Teoremas de Incompletitud. Entiendo que la gran, gran mayoría de los matemáticos y los lógicos entender el resultado que implica la incompletitud de las matemáticas en lugar de su inconsistencia, pero me parece divertido jugar al abogado del diablo con este tipo de cosas. Estoy interesado en la exploración de la inconsistencia lado de la dicotomía.
Hay alguna buena literatura disponible (matemática, lógica, o simplemente en general filosófica), que explora la naturaleza de la paradoja en sí, en vez de paradojas? Sé que hay algunas investigaciones en paraconsistent lógica con la verdadera dialetheia. Es esta vale la pena explorar?
