Mostrando entradas con la etiqueta David Hilbert. Mostrar todas las entradas
Mostrando entradas con la etiqueta David Hilbert. Mostrar todas las entradas

miércoles, 24 de agosto de 2016

Fundamentos de la Matemática y de la Geometría




"Todo el conocimiento humano comienza con intuiciones,
de allí pasa a conceptos y finaliza con ideas”


Kant


En Geometría es necesario para su desarrollo un número de principios fundamentales simples llamados axiomas. 




  • Existen puntos que los designaremos con las letras A, B, C, …
  • Existen rectas que las designaremos con las letras a, b, c, …
  • Existen planos que los designaremos con letras griegas α, β, γ, …
  • Los puntos son los elementos de la geometría lineal, las rectas son los elementos de la geometría plana y los puntos, las rectas y los planos son los elementos de la geometría del espacio.
  • Estos puntos, rectas y planos tiene relaciones entre ellos, que indicaremos con palabras como “están situados”, “entre”, “paralelas”, “congruentes”, etc.  Una completa descripción de ellos y de sus relaciones serán consecuencias de los axiomas de la geometría. 
Definición:
Si tenemos un número finito de puntos situados en una recta, podemos siempre ordenarlos en una sucesión A, B, C, D, E, … , K tal que B esté entre A y C, D, E, … ,K; C esté entre A, B y D, E, … , K; D esté entre A, B, C y E, … , K, etc.
Aparte de este orden de sucesión, existe otro con propiedades similares, el orden inverso, K, … , E, D, C, B, A.
Si dos rectas a y b, de un plano no tiene intersección con una tercera recta c del mismo plano, entonces entre ellas tampoco hay intersección.
Si A y B son dos puntos en una línea recta a, y si A’ es un punto de la misma o de otra recta a’, entonces a un lado de A’ sobre la recta a’, podemos encontrar siempre un único punto B’  tal que el segmento AB es congruente con A’ B’.
Indicaremos esta relación escribiendo:
Si AB ≡ A’ B’ y AB ≡ A” B”, entonces A’B’ ≡ A” B”
Entonces si AB ≡ A’ B’ y BC ≡ B’ C’ tenemos que AC ≡ A’ C’.

Se ha investigado en este campo con el fin de elegir un conjunto simple y completo de axiomas independientes y para deducir de estos sus teoremas más importantes.
A continuación haremos una clasificación de estos elementos y axiomas desde la investigación de ,David Hilbert,Biografía David Hilbert.





Los elementos de la geometría y los 5 grupos de axiomas.

Los objetos que componen el primer sistema los llamaremos puntos, los del segundo sistema serán llamados rectas y aquellos del tercer sistema serán llamados planos.



Estos axiomas pueden ser presentados en 5 grupos, cada grupo expresa por sí mismo relaciones fundamentales.




Axiomas de conexión: Los axiomas de este grupo establecen una conexión entre los conceptos indicados anteriormente, llamados puntos, rectas y planos.

Axioma I – 1
Dos puntos distintos A y B determinan una única recta a. Escribiremos  a=AB o a=BA.

Axioma I – 2
Dos puntos distintos determinan completamente una recta, esto significa que si a=AB y a=AC, donde B≠C, entonces a=BC.

Axioma I – 3
Tres puntos distintos que no están en la misma recta, determinan completamente un plano, escribiremos ABC=α.
Emplearemos también las expresiones, A, B y C están en α, o A, B y C son puntos de α.

Axioma I- 4
Dados tres puntos distintos A, B y C de un plano α, que no se encuentran sobre la misma recta, determinan completamente ese plano.


Axioma I – 5
Si dos puntos A y B de una recta a, están en el plano α, entonces todos los puntos de a están en el plano α.
En ese caso diremos que la recta a, está en el plano α.

Axioma I – 6
Si dos planos α y β tienen un punto en común, entonces tienen un segundo punto en común.

Axioma I- 7
En toda recta existen al menos dos puntos, en todo plano existen al menos tres puntos que no están en la misma recta, en el espacio existen al menos cuatro puntos no todos en el mismo plano.

Teorema 1
Dos rectas en el plano tienen un punto en común o no tiene puntos en común; dos planos no tienen puntos en común o tienen en una recta en común; una plano y una recta que no está en el plano o no tienen puntos en común o tienen un punto en común.

Teorema 2
Dada una recta y punto que no está en ella, o dadas dos rectas que tienen en un punto en común, un único plano puede pasar por ellos.


Axiomas de orden: definen la idea expresada en la palabra “entre“, y establece en base a ésta idea un orden de sucesión en los puntos de una recta, en el plano y en el espacio. Los puntos de una recta tienen cierta relación y la palabra “entre” sirve para describirla. 

Axioma II – 1
Si A, B y C son puntos de una recta y B está entre A y C, entonces B también está entre C y A.

Axioma II – 2
Si A y C son puntos de una recta, entonces existe al menos un punto B entre A y C y al menos un punto D situado tal que C esté entre A y D.


Axioma II – 3
Dados tres puntos cualesquiera de una recta, existe uno y sólo uno de ellos que está situado entre los otros dos.

Axioma II – 4
Dados cuatro puntos cualesquiera A, B, C, D de una recta  siempre pueden ser ordenados tal que B este entre A y C y también entre A y D; y además, que C esté entre A y D y también entre B y D.

Dados dos puntos A y B sobre una recta, llamaremos segmento a los puntos que están entre A y B, lo denotaremos AB o BA. Los puntos que están entre A y B se dicen que son puntos del segmento AB o que pertenecen al segmento. Todos los otros puntos de la recta se dicen que están fuera del segmento. Los puntos A y B son llamados extremos del segmento.


Axioma II – 5
Sean A, B y C tres puntos que no están sobre la misma recta y sea a una recta que está en el plano ABC y no pasa por los puntos A, B y C. Entonces, si una recta pasa atraves del segmento AB, entonces pasará por un punto del segmento AC o un punto del segmento BC.

Axioma de las paralelas (Axioma de Euclides)

Teorema 3:
Entre dos puntos de una recta, existen infinitos puntos.

Teorema 4:
Si tenemos un número finito de puntos situados en una recta, podemos siempre ordenarlos en una sucesión A, B, C, D, E, … , K tal que B esté entre A y C, D, E, … ,K; C esté entre A, B y D, E, … , K; D esté entre A, B, C y E, … , K, etc.
Aparte de este orden de sucesión, existe otro con propiedades similares, el orden inverso, K, … , E, D, C, B, A.

Teorema 5:
Toda recta a que se encuentra en un plano α, divide al resto de los puntos en dos regiones que tienen las siguientes propiedades: Todo punto A de una de las regiones determina con cada punto B de la otra región un segmento AB que contiene un punto de la recta a.  Por otro lado, dos puntos cualesquiera A, A’ de la misma región determinan un segmento AA’ que no contiene ningún punto de a.
Si A, A’, O B son cuatro puntos de una recta a, donde O se encuentra entre A y B pero no entre A y A’, entonces podemos decir: Los puntos A, A’ están situados del mismo lado con respecto a O, y los puntos A y B están situados sobre diferentes lados del punto O.
Todos los puntos de a que se encuentran del mismo lado del punto O, tomados juntos, son llamados semirrecta de origen O. Por lo tanto, cada punto de una recta divide a la misma en dos semirrectas.
Haciendo uso de la notación del teorema 5, decimos: los puntos A, A’ están en un plano α sobre el mismo lado con respecto a la recta a, y los puntos A y B están en lados diferentes con respecto a la recta a.

Definiciones:
Un sistema de segmentos AB, BC, CD, … , KL es llamado línea quebrada que une A con L, y es designada brevemente, como la línea quebrada ABCDE … KL. Los puntos que se encuentran sobre los segmentos AB, BC, CD, … ,KL, como así también los puntos A, B, C, D, … , K, L son llamados los puntos de la línea quebrada. En particular, si el punto A coincide con el punto L, la línea quebrada es llamada polígono ABCD … K. Los segmentos AB, BC, CD, … , KA son llamados lados del polígono y los puntos A, B, C, D, …, K los vértices. Los polígonos que tiene 3, 4, 5, … , n vértices son llamados, respectivamente, triángulos, cuadrángulos, pentágonos, … , n-ágonos. Si los vértices de un polígono son todos distintos y no se encuentran sobre los segmentos que componen los lados del polígono, y, además, si dos lados no tienen puntos en común, entonces el polígono es llamado polígono simple.

Axioma III
En un plano α, dados una recta a y un punto A, que no pertenece a la recta. Existe una y solo una recta que pasa por el punto A y no intersecta a la recta a. Esta recta es llamada paralela a la recta a que pasa por A.
Este axioma de las paralelas contiene dos afirmaciones. La primera es que en el plano α, hay siempre una recta que pasa por A y no intersecta a la recta a. La segunda es que sólo hay una.

Teorema 8:
Si dos rectas a y b, de un plano no tiene intersección con una tercera recta c del mismo plano, entonces entre ellas tampoco hay intersección.

Axiomas de congruencia: definen la idea de congruencia o desplazamiento.

Axioma IV – 1
AB ≡ A’ B’
Todo segmento es congruente con si mismo, eso significa que AB ≡ AB.


Axioma IV – 2
Si un segmento AB es congruente a un segmento A’ B’ y también a un segmento A”B”, entonces el segmento A’B’ es congruente con el segmento A” B”.

Axioma IV – 3
Sean AB y BC dos segmentos de una recta a que no tienen puntos en común salvo B, y sean además, A’ B’ y B’ C’ dos segmentos en la misma recta o en otra a’, que no tiene puntos en común salvo B’.

Axioma de continuidad (Axioma de Arquímedes)

Sean dos segmentos AB y CD tales que C es diferente de D. Entonces existe un entero n, y n puntos A1, ..., An de la recta que contiene al segmento AB, tales que Aj se sitúa entre Aj-1y Aj+1 si 2 ≤ j < n - 1, AjAj+1 es congruente a CD si 1≤ j <n - 1, A se confunde con A1 y B se sitúa entre A y An.











Formalismo, intuicionismo y logicismo

Corrientes de la Epistemología de la Matemática.



FORMALISMO



El formalismo matemático entiende las matemáticas como un juego basado en un cierto conjunto de reglas para manipular cadenas de caracteres: “... el programa del formalismo matemático consiste en construir la Matemática como un sistema lógico-formal puro, cuya condición fundamental es la ausencia de contradicción, prescindiendo de todo tipo de contenido; se trata, pues, de un sistema formal vacío. Estaría integrado por uno o más conjuntos de elementos fundamentales, por relaciones definidas entre esos conjuntos y por proposiciones reguladoras de estas relaciones.

David Hilbert es considerado fundador del formalismo moderno. Su interés era la construcción axiomática consistente y completa de la totalidad de las matemáticas, seleccionando como punto de partida los números naturales y asumiendo que mediante el uso de axiomas se obvía la necesidad de definir los objetos básicos con el fin de lograr un sistema completo y consistente.
"Las matemáticas no conoce razas o fronteras geográficas, las matemáticas, el mundo cultural es un país".

En esta visión los enunciados matemáticos dejan de ser proposiciones “sobre algo”. Lo que importa son las relaciones que se establecen entre ellos.
Otro matemático que fue inspirado por el formalismo fue Haskell Curry, generalmente considerado el fundador de la lógica combinatoria.

INTUICIONISMO

El intuicionismo es un posicionamiento filosófico acerca de la realidad de la matemática. Desde este punto de vista, la matemática (los números, los conjuntos, el infinito, etc.) es interpretada en términos de construcciones mentales, de tal modo que se puede ver al intuicionismo como una variante del constructivismo.

Kronecker (1823-1891) fue el precursor del intuicionismo, mientras que las ideas fundamentales del intuicionismo fueron elaboradas por L. E. J. Brouwer en su tesis doctoral (1907), en la que criticó las tesis fundamentales del logicismo y el formalismo acerca de la naturaleza, la fundamentación y los métodos matemáticos.



Los intuicionistas, pensaban que las matemáticas clásicas estaban plagadas de errores, y que las bases de las matemáticas estaban en la explicación del origen, o la esencia de los números naturales 1, 2, 3,… Para la filosofía intuicionista, todo ser humano tiene una intuición congénita en relación con los números naturales. Esto significa en primer lugar que tenemos una certeza inmediata de lo que significamos con el número “1”, y en segundo lugar, que el proceso mental que originó el número 1 puede repetirse. La repetición de este proceso, induce la creación del número 2, una nueva repetición y aparece el número 3. Esta construcción mental de un número natural tras de otro, nunca podría darse, si no tuviéramos dentro de nosotros, una preconcepción del tiempo.
También es importante notar que, esta construcción es, a la vez, inductiva y efectiva; inductiva en el sentido de que si queremos construir, digamos el número 2¸ uno tiene que recorrer el proceso mental de construir el número 1 y luego el número 2. El proceso es efectivo (entendido como causa-efecto) en el sentido de que una vez hemos logrado la construcción de un número natural dado, él queda ya como un constructo mental completo, listo a convertirse en objeto de estudio.
Según la filosofía intuicionista, las matemáticas podrían definirse como una actividad mental y no como un conjunto de teoremas en el sentido del logicismo; así una definición intuicionista de matemáticas dice: las matemáticas son una actividad mental, que consiste en realizar constructos, uno detrás del otro.
Para los intuicionistas, los procesos lógicamente válidos se dan, porque ellos son constructos y así, la parte válida de la lógica clásica es parte de las matemáticas.
Así pues, hay aritmética, álgebra, análisis, teoría de conjuntos, desarrolladas, todas ellas, con el enfoque intuicionista. Sin embargo, en cada una de estas ramas de las matemáticas, ocurren teoremas clásicos los que no están compuestos de constructos y, serán para los intuicionistas, meras combinaciones de palabras sin ningún sentido. Consecuentemente, se puede decir, que los intuicionistas no han podido, al menos hasta ahora, reconstruir todo el espectro de las matemáticas clásicas. Si se mira al intuicionismo desde la perspectiva de un matemático clásico, se puede decir que el intuicionismo ha fallado en el logro del objetivo de dar a las matemáticas una fundamentación adecuada. Una razón para ello es que los matemáticos clásicos no están dispuestos a alejarse de muchos de los hermosos problemas y teoremas que, para los intuicionistas no son más que combinación de palabras sin sentido.


LOGICISMO

En la filosofía de la matemática, el logicismo es la doctrina que sostiene que la matemática es en algún sentido importante reducible a la lógica. El logicismo fue clave en el desarrollo de la filosofía analítica en el siglo XX.
La doctrina logicista tuvo su primer antecedente en Gottfried Leibniz. Sin embargo, el primer intento serio y detallado de reducir la matemática a la lógica tuvo que esperar hasta el siglo XIX, cuando Richard Dedekind, Georg Cantor y Giuseppe Peano articularon los principios básicos de la matemática, y Gottlob Frege desarrolló el primer sistema de lógica de predicados.

Gottlob Frege dedicó gran parte de su carrera al proyecto logicista. A principios del siglo XX, Bertrand Russell descubrió una inconsistencia grave en los principios de los que Frege había partido, hoy conocida como la paradoja de Russell. Esto desanimó a Frege, quien terminó abandonando el proyecto.
Bertrand Russell y Alfred North Whitehead publicaron Principia Mathematica, entre 1910 y 1913, un intento monumental de reparar los problemas en el sistema de Frege y completar el proyecto logicista. Sin embargo, el sistema de Principia Mathematica tuvo sus propios problemas.
En particular, dos de sus axiomas fueron muy cuestionados: por un lado el axioma de infinitud, que afirma que existe un número infinito de objetos, fue criticado por parecer más una proposición empírica que una verdad lógica. Por otro lado, el axioma de reducibilidad, que resuelve algunas dificultades técnicas del sistema, fue criticado por ser demasiado ad hoc como para estar filosóficamente justificado.