El problema de la fundamentación de la matemática y la filosofía

Diana Valentina González C.

La crisis matemática de la historia viene siendo una lucha intermitente

entre la validez filosófica y la razón matemática, se ha dicho que en
nuestro tiempo ya se puede decir que se ha resulto parcial o
completamente la fundamentación matemática que durante siglos ha
perdido validez entre los matemáticos con sus fallidos métodos en el
caso de Spinoza de crear una ética de more geométrica, Kant con su
segunda edición de crítica de la razón pura, ha hecho creer que la
certeza de ciertos enunciados matemáticos han sido problemáticas en
su carencia de validez.
No es si no hasta el siglo XIX que empezaron a cambiar enunciados
matemáticos por otros más comprensibles, como también se intentó
reducir el enunciado de números reales que son muy extensos.
Tanto ha sido la crítica a la fundamentación a la matemática que un
joven ingles encontró una contradicción tan plena al sistema de frege.
Este problema de fundamentación, es un problema metodológico y con
ella viene a competencia de la filosofía parece con otro aspecto.
La primera propuesta de fundamentación para las proposiciones
matemáticas fue hecha por Christian Huygens en 1960, este
procedimiento fue exitoso en las matemáticas, aunque esta propuesta
no es todavía incompleta porque no se dicen cómo se justifican las
consecuencias mismas.
La concepción más amplia de la actualidad es la fundamentación
axiomática, En lógica y matemáticas, un sistema axiomático consiste
en un conjunto de axiomas que se utilizan, mediante deducciones, para
demostrar teoremas. Ejemplos de sistemas axiomáticos deductivos son
la geometría euclidiana compilada por Euclides en los Elementos y el
sistema axiomático de la lógica proposicional.
Teniendo en cuenta el programa de Hilbert, formulado por el matemático
alemán David Hilbert en la década de 1920, fue una solución propuesta
ante la crisis fundacional de las matemáticas, en épocas en que en los
primeros intentos por clarificar los fundamentos de la matemática
contenían paradojas e inconsistencias.
El descubrimiento de Kurt Gödel en 1931, dice que para que un sistema
axiomático que contenga al menos la aritmética no puede nunca
realizarse una demostración de consistencia empleando solo medios
formalizables en tal sistema, por el descubrimiento el programa de
Hilbert necesito medios más fuertes que los formalizables en el; fue así
como toral skolem demostró que el programa de Hilbert fue un fracaso
primitivo.
Muchas de las líneas actuales de investigación sobre lógica
matemática, teoría de la demostración y matemática inversa pueden
ser vistas como continuaciones naturales del programa original de
Hilbert. Gran parte de él puede ser salvado cambiando sus objetivos
ligeramente, y con las siguientes modificaciones cierta parte pudo ser
exitosamente completada, Si bien no es posible formalizar toda la
matemática, sí es posible formalizar esencialmente toda matemática
que cualquiera usa. En particular la teoría de conjuntos de Zermelo y
Fraenkel, combinada con lógica de primer orden, resulta en un
formalismo satisfactorio y generalmente aceptado para, esencialmente,
toda matemática actual.
Aunque no hay algoritmo para decidir la veracidad de las afirmaciones
de los postulados de Peano, hay muchas teorías interesantes y no
triviales para las cuales dichos algoritmos sí han sido encontrados. Por
ejemplo, el matemático polaco Alfred Tarski encontró un algoritmo que
puede decidir la veracidad de cualquier afirmación dentro de
la geometría analítica. Dado el axioma Cantor-Dedekind, este algoritmo
puede ser visto como un algoritmo para decidir la veracidad de cualquier
afirmación dentro de la geometría euclidiana. Esto es importante ya que
pocas personas considerarían a la geometría euclidiana una teoría
trivial.
Poniendo los dos puntos de vista, el punto de vista de los filósofos y el
de los matemáticos. Desde el punto de vista filosófico, el objetivo
principal es dilucidar una variedad de aspectos problemáticos en la
relación entre las matemáticas y la filosofía. Desde el punto de vista
matemático, el interés principal es proveer al conocimiento matemático
de fundaciones firmes. Es importante mantener presente que, aunque
estos puntos de vistas pueden implicar diferentes esquemas e
intereses, no son opuestos, sino más bien complementarios.
Podemos concluir que la filosofía aporta al problema de la
fundamentación matemática en la parte teórica, debido a que la
matemática no es algo que se pueda presenciar físicamente, se puede
argumentar en la vida diaria y en los aspectos que lo componen,
basándose en creer en resultados matemáticos para que sea verídico.
Tal como lo aportan algunas teoría o doctrinas filosóficas.