En 1874 el matemático conjuntista Georg Cantor despertó a la bestia y aparecieron ciertas paradojas que resultaban ser un gran problema. La hasta entonces inquebrantable ciencia de la matemática comenzó a tambalearse. Así, a principios del siglo XX estalló la llamada “crisis de los fundamentos”, que llevaría a una terrible conclusión: las matemáticas no eran infalibles. Dos jóvenes matemáticos, Kurt Gödel y Alan Turing, fueron los encargados de demostrar, entre otros, aquellas limitaciones.
|
etiquetas: matemáticas , georg cantor , kurt gödel , alan turing , computación
Serían falibles si dieran un resultado erroneo.
Lo impresionante es que en muchos casos son capaces de demostrar infaliblemente que es imposible alcanzar el resultado.
sea cual sea el sistema definido, si está construido de forma que no quepan contradicciones, existirán en él enunciados de los que nunca se podrá demostrar ni su falsedad ni su veracidad.
Si un sistema tiene enunciados de los que no se sabe su veracidad o falsedad, pues no se la puede definir como infalible, porque su mismos pilares no se sabe hasta qué punto son sólidos.
En cualquier caso no has entendido el texto que acabas de citar (aunque resulta que efectivamente es cierto que no se puede demostrar que los pilares son sólidos
En particular con los los axiomas Z-F (es.m.wikipedia.org/wiki/Axiomas_de_Zermelo-Fraenkel) no se puede determinar si existe un conjunto más grande (en términos de cardinalidad) que el de los números naturales y más pequeño que el de los reales.
La Totalidad Cósmica excede la suma de sus partes.
Las partes de las fábulas me aburrían mucho pero el resto es oro puro.
Venga que ya pasó.
Para empezar, es falso que no puedan existir sistemas axiomáticos correctos, recursivos y completos. La lógica de primer orden cumple con todas estas propiedades. La demostración de la completitud de la teoría es uno de los grandes logros de Gödel, precisamente:
en.wikipedia.org/wiki/Gödel's_completeness_theorem
Es la lógica de segundo orden la que no tiene completitud, y la falta de la misma parece ser consecuencia de los axiomas aritméticos. Como es natural, carecer de aritmética es un coste muy alto para asumirlo, y por eso es un revés importante no tener completitud en este ámbito.
El artículo, por cierto, tampoco aborda correctamente el concepto de completitud, que es esencialmente una equivalencia entre demostrabilidad sintáctica y demostrabilidad semántica. Esto es, la equivalencia entre los "observables" y la consecuencia de las reglas que predicen esos observables.
¿Exactamente qué quieres que te demuestre? Tau es la longitud de una circunferencia de radio 1 y eso es fácilmente comprobable.
Y lo que también es cierto es que sin las matemáticas estaríamos todavía viviendo en cuevas mientras que la filosofía actual es inútil como reconocen incluso miles de filósofos actuales.
En todo caso, la incompletitud de la lógica de segundo orden no hace inútiles las teorías que se basan en ella, solo acaba con el "sueño húmedo" de algunos matemáticos de tener un sistema formal perfecto.
En cuanto a la filosofía moderna, pues sí, es más bien un fraude. Cuesta entender cómo alguien puede autodenominarse filósofo (alguien que ama el saber) y no ponga todo su empeño en tratar de acercarse al conocimiento científico, que es la forma más avanzada de conocimiento que tenemos actualmente.
- Por definición decimos que una lógica es completa respecto a un cálculo cuando todas las verdades semánticas son derivables en el cálculo.
- Por definición decimos que una teoría es completa cuando para toda fórmula se cumple que o bien ella o bien su negación son verdaderas en la teoría (en muchas ocasiones identificamos la teoría con las derivaciones en un cálculo, y en tales casos la parte final de la frase se puede leer como que o bien la fórmula o bien su negación son derivables en el cálculo).
La lógica de primer de la que tú hablas cumple la completud del primer tipo pero no la del segundo (es obvio que hay sentencias de primer orden, por ejemplo "Pc", tales que ni ellas ni sus negaciones son verdades lógicas). Por contra, el teorema de Gödel de incompletud hace referencia a la noción de completud de la segunda acepción.
De todas formas, si es cierto que hay teorías completas (con la segunda acepción) y recursivas pero son "poco" expresivas. El caso más célebre entre esas teorías poco expresivas es el del "cuerpo de los números reales" (el resultado viene a ser el teorema de Tarski-Sidenberg en.wikipedia.org/wiki/Tarski–Seidenberg_theorem ). Contrariamente a la intuición inicial, la teoría de primer orden de los números naturales (que en el fondo es de lo que habla el teorema de incompletitud de Gödel) es mucho más expresiva que la del cuerpo de los números reales.
El teorema de completud de Gödel habla de la lógica de primer orden. Y lo que dice es que se puede dar un listado concreto (y efectivo en tanto computable) de reglas para el cual las 2 nociones siguientes coinciden exactamente: 1) la noción de consecuencia lógica, 2) la noción de derivable usando el listado de reglas.
El teorema de incompletitud de Gödel no habla de la lógica de primer orden, sino que lo que dice que es incompleto son las matemáticas. Y lo que dice es que para las teorías matemáticas suficientemente expresivas (y de hecho un ejemplo particular de estas es la teoría del modelo estándar de los naturales con la suma y el producto) sucede que cualquier propuesta de listado concreto (y efectivo en tanto computable) de reglas hace que las 2 nociones siguientes no coincidan exactamente: 1) la noción de verdad en dicha teoría matemática, 2) la noción de derivable usando el listado de reglas.
El problema es que pretender demostrar que algo es indemostrable, creo que es por definición indemostrable y eso no es un fracaso de las matemáticas sino un problema de lógica.
Una dificultad para entender sus resultados radica en que la gente se cree que hay una noción conceptual de "demostrable", la gente cree que cualquier enunciado matemático o bien cumple la propiedad de "demostrable" o bien la de "no demostrable". Eso es totalmente erróneo.
Para entender a Gödel lo primero es tener claro que para cada elección de axiomas, hay una noción diferente de demostrable. Un enunciado matemático puede ser simultáneamente "no demostrable usando ciertos axiomas" (porqué hayamos encontrado casos que cumplan las axiomas pero no el enunciado) y "demostrable usando otros axiomas". La gracia del teorema de incompletitud de Gödel está en justificar que ninguna elección particular de axiomas puedo ir bien simultáneamente para todos los enunciados matemáticos verdaderos .
Si me quieres preguntar que por qué las traslaciones, homotecias y giros cumplen lo que digo, bueno, primero no sé si sabes cuál es la definición de longitud. Pero digamos brevemente que consiste en elegir una cantidad finita de puntos y por orden ir uniendo estos por rectas, calcular la longitud de las rectas y tomar su límite. De aquí es fácil ver que para ver que una aplicación de estas conversa la longitud basta ver que la conserva en el caso de caminos formados por segmentos a trozos. Esto último en realidad se reduce claramente a verlo con un segmento, y con un segmento es bastante evidente que esto es así.
P.d. El auténtico profesor no habría hecho una pregunta trol tan fácil de responder
No puedes demostrar la inexistencia de ninguna cosa, al menos de forma científica porque la ciencia se basa exclusivamente en hechos.
No se puede demostrar la inexistencia de absolutamente nada.
Anda, piensa realmente en lo que acabas de decir.
Por cierto, has escrito dos veces
porquéen lugar de por quéAquí te dejo un ejemplo de enunciado que claramente no se puede demostrar; en otras palabras, es indemostrable. El enunciado es "acastro es cristiano y ateo"
- Como sabes que para todas las circunferencias la razón es la misma, basta coger una y medir tanto radio como circunferencia, controlando los errores de medición cometidos para saber la cota de error.
- Multitud de series, pero muchas que se demuestran de forma más o menos sencilla que convergen a dicho número. Te voy a poner un ejemplo de una sencilla de entender su convergencia. Coge la función arcsen(x) y calculo su desarrollo de Taylor de orden n (para el n que quieras) y en dicho desarrollo sustituye x por 1 y lo que te de lo multiplicas por 4. Si conoces lo que es el desarrollo de Taylor y cómo se acota el error verás que es fácil haciendo n suficientemente grande (e importante, pudiendo calcular ese suficientemente grande) aproximar el valor de Tau tanto como queramos. Esta serie que te he dicho (la serie estrictamente sería el límite) no es la mejor para calcular Pi, hay otras mucho más rápidas, pero te he puesto este ejemplo por lo sencillo que es entender que funciona.
- Multitud de otros métodos indirectos. Por ejemplo con integrales definidas que sabes que su resultado es Tau y aproximarlas con algún método numérico controlando el error.
Etc, etc.
Puede que tu enunciado tenga toda la lógica del mundo, otra acosa es demostrarlo con hechos.
En física hay enunciados con toda la lógica del mundo que ha fallado miserablemente en la realidad.
Cuidado con usar la palabra ser o no ser. Hay un matiz interesante diferente al de existir o no existir.
Un electrón es y no es una partícula.
Yo puedo decir que las cosas inexistentes no existen.
Lo que no puedo asegurar es cuales son las cosas que no existen.
Repasa tu sentido común porqué sin él vas a tener muchos problemas en tu vida. Eres tú mismo, en esa frase que te he pegado, el que dices que hay cosas indemostrables.
Si no te aclaras ni contigo mismo no esperes que los demás tomemos en serio tus dudas.
Se ha demostrado que no existen números naturales a, b, c y n con n además mayor que 2 que cumplan que an+bn=cn.
Si demuestras que A implicaba B estás demostrando que no existen simultáneamente algo con la propiedad A y que carezca de la propiedad B.
Se ha demostrado que es imposible determinar si existe un conjunto cuyo tamaño esté entre el de los naturales y el de los reales.
Etc.
Yo te pedía que digas si la Matemática es capaz de explicar el por qué tau es siempre 6.28318, no que me demostraras que es dicha relación, aproximando hasta millones de decimales.Por qué es dicho número y no otro. O, si la matemática carece de respuestas, tendría que hablar mejor con un filósofo?
¿Hasta aquí de acuerdo?
¿Qué preguntas entonces? ¿Que por qué Tau vale 6.28318? Es que Tau no vale 6.28318 sino que 6.28318 aproxima el valor de Tau con un error menor a 10-5. Si lo que quieres saber es por qué las primeras cifras de Tau son 6.28318 pues eso se hace calculando una aproximación de Tau con un error menor a 10-6 y de ahí sale.
Las matemáticas te dicen que existe ese número, que además es único, y te permite determinar ese número con tantos decimales como quieras. ¿Qué es lo que te falta?
Bueno, paso que en realidad no te contesto a ti que sé que es un intento malo de troll, pero lo escribo por si le sirve a algún otro usuario para aprender algo.
El único principio de veracidad al cual yo considero valioso es el que se basa en hechos probados.
Hasta ahora ha servido para hacer avanzar el conocimiento humano en la medida que ciertos hechos pueden ser verificados de forma independiente.
Con las matemáticas entramos en terrenos resbaladizos que dependen de la forma en que definimos los diferentes conceptos y el concepto cero y el concepto infinito son fuente de problemas que necesitan convenios especiales para ciertas situaciones.
No es lo mismo un convenio que un hecho.
o que pasa, lo ha hecho Dios así y debemos aceptarlo? A la velocidad de la luz, la relación cambia?
4 * 0 = 0 = 5 * 0 siplificando por cero llegamos a, 4 = 5. Entonces llegan los matemáticos y dicen. No se vale, eso es trampa porque 0/0 es indeterminado (Eso es un convenio )
Lo mismo ocurre con el cero factorial y otras muchas cosas parecidas. Operaciones que hacen excepciones para ciertos valores asumiendo entonces un resultado conveniente.
Y no, 0/0 n les una indeterminación sino que es algo no definido y sin sentido.
Concretamente 0/0 responde la pregunta de cual es el valor que multiplicado por cero da cero. Respuesta cualquier valor.
Decir que preguntar cual es el valor que multiplicado por cero da cero no tiene sentido, es lo mismo que decir esa pregunta no me gusta y sin embargo tiene una respuesta que es la que quizá no guste a todo el mundo porque se sale de lo habitual.
0/0 no es una indeterminación, es una expresión carente de sentido ya que el cociente es una aplicación de un subconjunto RxR en R y como aplicación a cada par del dominio en el que está definida le corresponde un único valor en la imagen. Decir que a (0,0) le corresponde cualquier valor de la imagen atenta contra la definición de aplicación en sí
Os hacéis trampas continuamente. Sabedores de un problema insoluble adecuáis las definiciones de las operacione y luego afirmais que las cosas son así tal y como las habéis definido. Una maravilla vamos.
Las cosas que los matemáticos definís de una forma, son tal y como vosotros las habéis definido. Estupendo tienes mucha razón. El problema al que yo me refiero no va de definiciones sino de conceptos y conviene tener muy claro lo que es un convenio y lo que no lo es.
En el caso de una división por cero es mucho más fácil decir lo que no es que decir lo que es. NO ES UN NÚMERO. y como yo hablo de números lo llamo indefinición y no todas la indefiniciones son equivalentes. No es lo mismo -1/0 que 0/0 que 1/0. Al final se recurren a los convenios que me parece perfecto sean consensuados entre los matemáticos par poder esquivar ciertos problemas pero no dejan de ser convenios.
En informática los procesadores simplemente dan un tipo de error asociado a esos resultados porque no pueden devolver un valor numérico que es lo que se espera de una operación de este tipo. Son circunstancias que pueden venir no por problemas de lógica sino por valores en una entrada de datos y que hay que decidir como tratar en cada caso, porque en cada caso habrá que hacer algo completamente distinto. Algunas veces se continua ignorando ese dato y se continua con otros, en otros casos el programa se detiene por imposibilidad de continuar y en otros casos se le da un significado especial y se continua, etc.
Lo que quiero decir es que la decisión de si algo así tiene sentido o no, no la van a decir los matemáticos. Los mátemáticos deberían limitarse a decir que el resultado no es un número, es otra cosa. En informática a esa cosa se la llama división por cero y tiene mucho sentido y puede ser tratada como tal. Es un tipo de resultado especial.
Lo del convenio que ahora dice ya es cachondeo. Esta persona debe ser la típica que cuando le enseñas una manzana te dice que la manzana no existe porque hay un convenio: unos les llaman "manzana", otros "apple", otros "poma", etc. No es capaz de distinguir entre los convenios lingüísticos y los hechos.