La aleatoriedad inherente a la matemática. Russell y las paradojas de la lógica. La llama paradoja de Epiménides o paradoja del mentiroso. Turing:  ningún sistema axiomático formal puede ser completo. La distribución detallada de cada número primo, parece aleatoria. Godel y los límites del razonamiento. Turing y los límites de la matemática. Según la teoría algorítmica de la información existen muchas cosas que no es posible demostrar. Sin embargo, las matemáticas siguen avanzando.

Aquí te dejo una URL con un excelente artículo sobre:

Título:   Ordenadores, paradojas y fundamentos de las matemáticas

Autor:    Gregory J. Chaitin

En pdf:    http://www.cs.umaine.edu/~chaitin/investigacion_y_ciencia.pdf

FUENTE:    Green  Super Computing  At the University of Maine http://www.cs.umaine.edu/

AVISO: LOS PDF Y LAS PÁGINAS CUYA VISITA RECOMIENDO SON PROPIEDAD DE SUS RESPECTIVOS AUTORES. SU LECTURA NO ESTÁ PROHIBIDA. Saludos.

Principios de este blog: Mis post serían siempre de menor calidad que los textos de los expertos.