Fundamento De Matematica

-------------------------------------------------
Fundamentos de la matemática
Los fundamentos de las matemáticas es un término a veces usado para ciertos campos de las matemáticas, como la lógica matemática, teoría de conjuntos axiomática, teoría de la demostración, teoría de modelos y la teoría de la recursividad. La búsqueda de fundamentos de las matemáticas es también una pregunta centralde la filosofía de las matemáticas: ¿En cuál última base puede un fundamento matemático ser verdad?
La filosofía fundamental del realismo matemático platónico, ejemplificado por el matemático Kurt Gödel, propone la existencia del mundo de los objetos matemáticos independiente de los seres humanos; las verdades de estos objetos son descubiertos por seres humanos. Con este punto de vista, las leyesde la naturaleza y las leyes de las matemáticas tienen una posición similar, y la efectividad deja de ser irrazonable. No nuestros axiomas, pero el verdadero mundo de los objetos matemáticos constituye el fundamento. La pregunta obvia entonces es, ¿cómo entramos en ese mundo?
[editar]Formalismo
La filosofía fundamental del formalismo, ejemplificado por David Hilbert, está basado en la teoríaaxiomática de los conjuntos y la lógica formal. Prácticamente todos los teoremas matemáticos actualmente pueden ser formulados como teoremas de la teoría de los conjuntos. La verdad de un enunciado matemático, en este punto de vista, no es nada más que la reclamación de que el enunciado puede ser derivado de los axiomas de la teoría de los conjuntos, usando las reglas de la lógica formal.
Sólo eluso del formalismo no explica varias cuestiones: por qué debemos de usar axiomas que hacemos y no otros, por qué debemos emplear las reglas de la lógica que hacemos y no otras, por qué enunciados matemáticos verdaderos (como leyes de la aritmética) parecen ser verdad, etc. En algunos casos esto puede ser suficientemente contestadas a través del estudio de las teorías formales, en disciplinas comolas matemáticas reversas y la teoría de complejidad computacional.
Los sistemas lógicos formales también pueden correr el riesgo de la incoherencia; con Peano aritmética, esto posiblemente se ha establecido con varias pruebas de coherencia, pero hay un debate sobre si son lo suficientemente significativas. El segundo de los Teoremas de incompletitud de Gödel establece que los sistemas lógicos de laaritmética no pueden contener una prueba válida de su propia coherencia. Lo que Hilbert quería hacer era probar un sistema lógico S que fuera coherente, basado en los principios P, que solo es formado por una pequeña parte de S. Pero Gödel comprobó que los principios P no podían ni siquiera comprobar que P fuera coherente, ¡por no hablar de sólo S!.

FUNDAMENTO CIENTIFICO DEL IDIOMA MATEMATICOCarl Friedrich Gauss se refería a la matemática como "la reina de las ciencias".21 Tanto en el latín original Scientiarum Regina, así como en alemán Königin der Wissenschaften, la palabra ciencia debe ser interpretada como (campo de) conocimiento. Si se considera que laciencia es el estudio del mundo físico, entonces las matemáticas, o por lo menos matemáticas puras, no son una ciencia.
Muchosfilósofos creen que las matemáticas no son experimentalmente falseables, y, por tanto, no es una ciencia según la definición deKarl Popper.22 No obstante, en la década de 1930 una importante labor en la lógica matemática demuestra que las matemáticas no puede reducirse a la lógica, y Karl Popper llegó a la conclusión de que "la mayoría de las teorías matemáticas son, como lasde física ybiología, hipotético-deductivas. Por lo tanto, las matemáticas puras se han vuelto más cercanas a las ciencias naturales cuyas hipótesis son conjeturas, así ha sido hasta ahora".23 Otros pensadores, en particular Imre Lakatos, han solicitado una versión de Falsacionismopara las propias matemáticas.
Una visión alternativa es que determinados campos científicos (como la física teórica) son matemáticas con...