De hecho, en qu consiste la creacin matemtica?

No consiste en hacer nuevas

combinaciones con las entidades matemticas ya conocidas. Uno podra hacer eso, pero las
combinaciones hechas de esta manera seran infinitas en nmero y la mayora de ellas no
seran interesantes. Crear consiste precisamente en no hacer combinaciones intiles y hacer
slo aquellas que son tiles y constituyen una pequea minora. Invencin es
discernimiento, eleccin.

[]

Puede resultar sorprendente encontrar la sensibilidad emocional invocada a propsito de

las demostraciones matemticas, las cuales, parecera, pueden interesar slo al intelecto.
Esto sera olvidar el sentimiento de belleza matemtica, de la armona de nmeros y
formas, de la elegancia geomtrica. Este es verdaderamente un sentimiento esttico que los
matemticos reales conocen, y de seguro pertenece a la sensibilidad emocional.

[]

Las combinaciones tiles son precisamente las ms bellas, quiero decir, aquellas que
mejor pueden encantar esta sensibilidad especial que todos los matemticos conocen, pero
de la cual los profanos son tan ignorantes que frecuentemente se ven tentados a rerse de
ella.

-H. Poincar, La creacin matemtica

Los sistemas formales ms amplios construidos hasta ahora son el sistema de Principia
Mathematica (PM) y la teora axiomtica de conjuntos de Zermelo-Fraenkel (desarrollada
an ms por J. von Neumann). Estos dos sistemas son tan amplios que todos los mtodos
usados hoy en la matemtica pueden ser formalizados en ellos, es decir, pueden ser
reducidos a unos pocos axiomas y reglas de inferencia. Resulta por tanto natural la
conjetura de que estos axiomas y reglas basten para decidir todas las cuestiones
matemticas que puedan ser formuladas en dichos sistemas. En lo que sigue se muestra que
esto no es as, sino que, por el contrario, en ambos sistemas hay problemas relativamente
simples de la teora de los nmeros naturales que no pueden ser decididos con sus axiomas
(y reglas). Este hecho no se debe a la especial naturaleza de los sistemas citados, sino que
se da en una clase muy amplia de sistemas formales, a la que en especial pertenecen todos
los que resultan de aadir un nmero finito de axioma a los dos sistemas citados []

Sobre proposiciones formalmente indecidibles

[] un tratamiento axiomtico de la teora de los nmeros, por ejemplo, no puede agotar

el campo de la verdad aritmtica. Resulta tambin que lo que entendemos por proceso de la
prueba matemtica no coincide con la explotacin de un mtodo axiomtico formalizado.
Un procedimiento axiomtico formalizado se basa en un conjunto, inicialmente fijo y
determinado, de axiomas y de reglas de transformacin. Como la propia argumentacin de
Gdel seala, no es posible trazar ningn lmite previo a la inventiva de los matemticos en
la ideacin de nuevas reglas de prueba. Por consiguiente, no puede darse ninguna
descripcin definitiva de la forma lgica precisa de las demostraciones matemticas
vlidas.

[]

Significa que los recursos del intelecto humano no han sido, ni pueden ser, plenamente
formalizados, y que subsiste la posibilidad de descubrir nuevos principios de demostracin.
Hemos visto que las proposiciones matemticas que no pueden ser demostradas por
deduccin formal a partir de un conjunto dado de axiomas pueden, sin embargo, ser
demostradas mediante un razonamiento metamatemtico informal.

El teorema de Gdel, Nagle & Newman.