Dada una cantidad infinita de tiempo y una vida útil infinita, ¿podrá una persona descubrir todas las matemáticas? ¿Por qué?

Esta pregunta, como está formulada, es bastante imprecisa. Sin embargo, para las interpretaciones más comunes, la respuesta es “No.”

Primero, como señaló David Joyce, si la cantidad de trabajo es infinita, entonces nunca habrá un momento en que haya terminado, sin importar cuánto tiempo lo haya hecho. Entonces, para la interpretación más ingenua de tu pregunta, la respuesta es un “No” bastante fácil.

Probablemente, sin embargo, la interpretación ingenua no es lo que querías. Una interpretación alternativa podría ser “Para cualquier hecho matemático dado, ¿es cierto que puede descubrirse, si se le da suficiente tiempo?” Esa pregunta depende de lo que quiere decir con “hecho matemático”, pero para las definiciones que los matemáticos han encontrado útiles, la respuesta a la pregunta sigue siendo “No”.

Un resultado importante, debido a Kurt Gödel, es el teorema de incompletud. El teorema dice que para cualquier sistema mecánico (como una computadora) lo suficientemente poderoso como para probar una variedad de afirmaciones matemáticas (incluidas muchas afirmaciones que ya sabemos que son ciertas), siempre habrá algunas afirmaciones que son ciertas pero que el sistema no puede probar . Eso significa que no puede tener un sistema que pueda enumerar todas las afirmaciones matemáticas verdaderas, sin importar cuánto tiempo le dé.

Otro resultado importante, relacionado, debido a Alan Turing, es el problema de la detención. El problema de la detención dice que si tiene un procedimiento mecánico para cualquier tipo de cálculo (como, por ejemplo, hacer pruebas matemáticas), no hay ningún procedimiento mecánico para probar que su primer procedimiento terminará realmente. Por lo tanto, incluso si intenta enumerar solo las afirmaciones verdaderas que puede probar, no puede estar seguro de que todas las pruebas terminarán.

El Problema de la Detención y el Teorema de la Incompletabilidad se aplican a cualquier programa en cualquier lenguaje de programación que se haya descubierto y, por lo tanto, a cualquier computadora que cualquiera pueda imaginar construir. Hay una buena posibilidad de que cualquier computadora que obedezca las leyes de la física esté sujeta a esas restricciones. Igualmente importante, hay razones para creer que los humanos también están sujetos a estas mismas restricciones. Entonces, la conclusión es que, a falta de alguna ley de la física no descubierta, o de un descubrimiento matemático que pueda no existir, hay algunos hechos matemáticos que nadie puede descubrir, sin importar cuánto tiempo pasen buscándolos.

Déjame simplificar la pregunta. Dado un tiempo infinito, ¿puede una persona contar todos los enteros positivos?

Respuesta: en ningún momento la persona habrá contado todos los enteros positivos.

Pero, dices, ¿qué pasa después de que todo el tiempo haya terminado, entonces todos serán contados?

Respuesta: no hay fin a una cantidad infinita de tiempo.

Asimismo, la cantidad de matemáticas por descubrir es infinita.

No. No podemos en la actualidad el tiempo infinito. Hay infinitas verdades que se pueden encontrar en la teoría matemática que tomarán la plenitud del tiempo infinito para demostrarlo por completo. Solo en el límite podremos actualizar todas las verdades matemáticas. En cualquier punto dado … mil millones … 1 billón … años fuera, no habríamos terminado. Nunca puedes llegar a ese punto en el infinito.

En verdad, incluso en el límite probablemente no obtendríamos esto sin modificar nuestras expectativas. Verá que lo que estamos pidiendo es la realización de las pruebas de TODAS las verdades matemáticas que resultarán ser infinitas incontables [solo considere los teoremas “1 es mayor que A” y sustituya todos los valores reales de A en el intervalo (0 , 1)]. La condición tendría que aflojarse [¿verdades suficientemente generales?] Para que el conjunto de cosas que necesitamos probar sea contable infinito ya que el tiempo está cuantificado.

La conclusión es … no, no va a suceder, a menos que cambie sus expectativas.

El primer nivel de esta pregunta nos pide que escojamos entre dos filosofías:

1. La ignorancia e ignorancia de du Bois-Reymond (no sabemos y no sabremos) http://en.wikipedia.org/wiki/Ign
2. Hilbert’s Wir mussen wissen, wirden wissen (tenemos que saber y lo sabremos) http://en.wikipedia.org/wiki/Ign

El segundo nivel juega con el teorema del mono infinito. Como tienes tiempo infinito, puedes escribir todos los libros de matemáticas que se han escrito y los que se escribirán. Entonces la pregunta ahora es: ¿es eso suficiente? ¿Llegaremos al final de las matemáticas? Mi humilde opinión es no . Siempre encontraremos un trabajo para un matemático en las fronteras de la ciencia.

Tengo que estar en desacuerdo con la mayoría de las respuestas a continuación. Existe un método simple y mecánico para descubrir todas las matemáticas dado un tiempo infinito. Uno simplemente genera todas las consecuencias de los axiomas de las matemáticas, generalmente aceptado como el sistema de axiomas llamado ZFC.

Hay una forma directa de hacer esto: usando el alfabeto de todos los símbolos matemáticos y lógicos, genere cadenas de estos símbolos. Para cada cadena, decida si representa una prueba matemática válida. Si no lo hace, ignóralo. Si lo hace, escribe el teorema que prueba. Ahora has descubierto un teorema matemático.

Procede de esta manera, comprobando cada cadena en orden alfabético. Cada teorema de las matemáticas se descubrirá de esta manera, y habrás descubierto todas las matemáticas.

Sostengo que esta pregunta no tiene respuesta en este momento, al menos en la interpretación más significativa. Hay que hacer una distinción importante: conocimiento frente a comprensión. Acepto que saber todos los objetos matemáticos es imposible, pero nadie aquí realmente se refiere a si una entidad podría entender todas las matemáticas. El concepto de un conjunto infinito de enteros se usa todo el tiempo y no plantea dificultades para realizar cálculos matemáticos. Sin embargo, ¿siempre seremos desafiados por problemas similares a la hipótesis de Riemann o la conjetura de los dos primeros?

Para decirlo de manera sucinta, depende de si las matemáticas son cristalinas o casi cristalinas.

Con esto, quiero decir, ¿hay un punto en el que una comprensión dada de las matemáticas es suficiente para ver un patrón e inferir todos los enlaces conceptuales adicionales? ¿O podría no haber un “período” para las matemáticas, y cada fenómeno emergente debe investigarse por sí mismo?

Creo que es muy probable que cualquier patrón de arqueo en las matemáticas sea muy complejo y todavía no hayamos completado una pequeña porción. Tampoco creo que sea particularmente probable que exista este patrón. Sin embargo, la posibilidad de que exista significa que uno no puede afirmar que nosotros o algún sistema que creamos nunca podemos entender todas las matemáticas.

Considero que esta es una de las preguntas más complejas que he visto hasta ahora en quora (y no ha sido larga). Antes de comenzar a formular una respuesta, permítame hacer las siguientes exenciones de responsabilidad:

A) Va a ser largo y leer como un montón de galimatías,
B) No puedo llegar a una conclusión,
C) No soy matemático: estudié matemáticas en la universidad como parte de un curso de ciencias informáticas, pero eso es todo.
D) Y no, no estoy drogado y no he estado fumando nada 😀

Creo que la respuesta a su pregunta puede que ni siquiera sea matemática; más bien, ¿probablemente sería biológica, filosófica o incluso metafísica? La respuesta puede no ser sobre el infinito de la teoría numérica o algo así, porque una vez que sepa cómo generar el siguiente y el número anterior para cualquier número dado, probablemente ya lo haya descubierto todo. Además, si ha demostrado que algo no se puede resolver, entonces una forma de verlo sugeriría que ya ha agotado toda la información al respecto. Más bien, se trata de la definición de conocimiento y nuestra percepción.

En la actualidad, cualquiera que esté investigando la ciencia popular puede saber seriamente que ciertos conceptos familiares de la geometría euclidiana ya no son válidos desde que surgió la Relatividad General. En cambio, Euclidian aparece como un caso especial de la Geometría Reimanniana más complicada, que se supone que pinta una imagen más real de nuestro universo. Tomemos, por ejemplo, la comprensión intuitiva de la rectitud de una línea recta. Con General Relative declarando que el tejido del espacio está curvado, no puede imaginarse su línea recta para continuar en su camino hasta el infinito sin doblarse. Puede usar su imaginación para hacer un orificio en el tejido espacial y empujar la línea a través del conjunto, pero no tendrá sentido ni será correcto, porque no puede imaginar el otro lado del tejido espacial, porque no tiene ningún significado. Es necesario un cambio importante en el marco del pensamiento.

Similar con todo conocimiento, incluso. Me inclino a pensar que todo el conocimiento no se descubre , sino que se inventa. Lo que define una cosa como una ley matemática es lo interesante que percibes que es. Por ejemplo, una fórmula para averiguar el n-ésimo número es un conocimiento interesante , como la prueba de que el sistema de números pares es infinito. Descubrir los números pares individuales, por ejemplo, el 18,015º número par, o el 120,109,752 o cada número par en el medio puede no ser matemáticamente interesante en absoluto. Puede que no haya una propiedad inherente y absoluta adjunta a una pregunta en cada categoría; más bien, es nuestra percepción la que introduce la distinción necesaria.

Para responder a su pregunta: si una persona con un tiempo de vida infinito y un tiempo infinito puede descubrir todas las matemáticas, la respuesta rápida y flexible sería sí, porque parecería que la mente no es infinitamente poderosa, y no con una memoria infinita. Solo hay una cantidad finita de cosas que él podría clasificar como ‘matemáticamente interesantes’. Es como preguntar, ¿puede una computadora con una cantidad finita de RAM pero una cantidad infinita de almacenamiento secundario ejecutar una cantidad infinita de programas al mismo tiempo sin intercambiar ninguno (no puede)? Por lo tanto, a medida que nuestro conocimiento crece, la cantidad de parámetros independientes necesarios para formular nuevas preguntas que crecerían tanto que ya no se adaptarían a la mente de una sola vez. Entonces, dejaremos de hacer nuevas preguntas y cuando no tengamos más preguntas, ese será el fin de todo conocimiento (supongo que podemos decir que hemos “descubierto” todas las matemáticas cuando ya no tenemos más preguntas sobre nada matemático) .

Pero, no es tan simple. Algunas de las cosas clave a considerar son:
a) ¿Un mayor conocimiento matemático parece implicar conocer más cosas no relacionadas o menos? Por ejemplo, en física, más conocimiento posiblemente podría significar cosas menos independientes para saber. Como, en un momento dado, la materia y la electricidad se habían percibido como tres cosas diferentes en conjunto, entonces alguien se encuentra y descubre numerosas partículas subatómicas y las eliminamos inmediatamente como cosas mutuamente independientes. Luego tropezamos con los quarks, y nos muestran cómo las partículas subatómicas no son “fundamentales”, y finalmente, ahora descubrimos cadenas, ¡lo que es aún más fundamental para un quark! Parece que el crecimiento del conocimiento en física es esencialmente una contracción , e incluso podría tener un final visible? Sin embargo, puede que no sea lo mismo para las matemáticas, y un mayor conocimiento bien podría significar una verdadera expansión del conocimiento. Esperemos un poco de iluminación aquí

b) Dado un conjunto de piezas de información matemáticamente interesantes (¿y posiblemente no relacionadas?), ¿es posible derivar siempre de ellas otra pregunta matemáticamente interesante? No tengo idea de cómo probar esto, pero algún día lo intentaré. Si la respuesta es no, entonces bien podría significar que el final está una vez más a la vista (limitado por la finitud de nuestra propia mente).

Otra pregunta interesante (o corolario) que surge aquí es si es posible medir la capacidad de la propia mente. Siento que es algo así como tratar de pintar el suelo de una habitación sin salir de la habitación y sin pisar la pintura húmeda, ¡no se puede hacer! Sin embargo, eso no significa que no puedas descubrir los límites de la mente de otra persona. ¡Tal vez entonces pueda descubrir todo el conocimiento matemático de esa persona (debería variar entre personas) antes de dicha persona en un tiempo determinado!

PD: Me doy cuenta de que mi respuesta es una respuesta a un antojo narcisista interno, y como tal, todo está lleno de agujeros. En cuyo caso, agradecería mucho que alguien me pusiera en el camino correcto

Matemáticas no es algo que espera ser descubierto.
Es un hombre inventado y se inventa / desarrolla aún más para resolver nuevos tipos de problemas.
Solo cuando todos los problemas se resuelvan, las matemáticas dejarán de ser necesarias para seguir inventándose. Pero incluso entonces puede desarrollarse para resolver problemas aún desconocidos. Por ejemplo, James Clerk Maxwell, entre otras importantes teorías predictivas, introdujo estadísticas y probabilidad en la física de lo muy pequeño, sentando las bases de la teoría cuántica. Usó las matemáticas para explicar los anillos de Saturno más de 100 años antes de que la nave espacial Voyager confirmara que tenía toda la razón.

Depende de lo que quieras decir. Hay dos preguntas posibles: (1) Si una persona trabaja por un tiempo infinito, ¿alcanzará un punto en el que haya descubierto todas las matemáticas? (2) Si una persona trabaja por un tiempo infinito, ¿se descubrirá eventualmente cada teorema individual de las matemáticas?

La respuesta a (1) es no, por las razones especificadas por ejemplo, David Joyce. Hay infinitos teoremas, por lo que esta persona no llegará a un momento en que los haya enumerado todos. (Para ver esto explícitamente, tenga en cuenta que “n = n” es un teorema para cada número natural n.)

La respuesta a (2) es sí, pero con algunas advertencias. Específicamente, se enumerarán todas las consecuencias de un sistema axiomático específico , pero no se enumerarán todas las afirmaciones verdaderas (suponiendo que el sistema axiomático sea realmente coherente, y suponiendo que seamos lo suficientemente realistas que creemos que hay un conjunto de afirmaciones verdaderas). Entonces, en otras palabras, si nuestro matemático imaginario trabaja en un sistema axiomático como la Aritmética de Peano, una afirmación matemática verdadera que nunca probará será “La Aritmética de Peano es consistente”, aunque es probable que sea cierta. Eso no es especialmente importante, porque probará (por ejemplo) “ZFC demuestra que la Aritmética Peano es consistente”. Ella no probará que ZFC es consistente, aunque probablemente lo sea, pero probará que “ZFC + ‘hay un cardinal inaccesible’ prueba que ZFC es consistente”, y así sucesivamente.

Es concebible, entonces, que haya algunas declaraciones matemáticas interesantes que nuestro matemático nunca demostrará; es concebible que, por ejemplo, la Hipótesis de Riemann sea independiente de cualquier sistema axiomático base que elijan. En este caso, nunca probarán o refutarán la Hipótesis de Riemann, pero demostrarán que algún sistema axiomático más fuerte implica que tanto la Hipótesis de Riemann como su negación son consistentes con el sistema axiomático base.

(No sabrán que un sistema axiomático más fuerte es consistente, aunque, por ejemplo, puedo demostrar ahora que ZFC + “hay modelos de ZFC + la hipótesis de Riemann” + “hay modelos de ZFC + la negación de la hipótesis de Riemann “implica que la Hipótesis de Riemann es independiente de ZFC, pero no sé si ese sistema axiomático más fuerte es consistente, y creo que muchas personas sospechan que es inconsistente.

No. Las matemáticas son como una cueva infinita y nosotros somos como personas con linternas. Cada vez que obtenemos una linterna más potente, la cantidad que podemos ver se expande; pero la cantidad que no podemos ver se expande más rápido.

Descubrir TODAS las matemáticas es fácil. Solo escribe {teoremas verdaderos}. Ahora dándole un sentido, es una idea. También puedes construir una máquina de Turing con el conjunto anterior, así también una computadora puede hacerlo.

La filosofía está escrita en este gran libro, me refiero al universo, que permanece abierto a nuestra mirada, pero no puede entenderse a menos que uno primero aprenda a comprender el lenguaje en el que está escrito. Está escrito en el lenguaje de las matemáticas, y sus caracteres son triángulos, círculos y otras figuras geométricas, sin las cuales es humanamente imposible entender una sola palabra de él; sin estos, uno está vagando en un oscuro laberinto. – Galileo

La pregunta es, por lo tanto, si podemos entender completamente nuestro mundo. No. No somos más que una pieza de algo increíble. El tiempo ni siquiera puede ser real.

Aquí hay una prueba para demostrar por qué no pueden descubrirlo todo:

asume: inf – inf = 0
entonces: inf – inf + x = 0 + x
pero sabemos que inf + cualquier número es todavía inf así:
inf + x = inf y 0 + x = x

lo que da: inf – inf = x

¡pero espera! acabamos de decir inf – inf = 0, no x.

Esta respuesta es indefinida.

Mirando tu pregunta:

Si tiene un suministro infinito (todas las matemáticas desconocidas) y la capacidad de deducir una cantidad infinita de él (alguien que vive para siempre y puede eliminarlo para siempre), no obtendrá un 0 (no hay más matemáticas para descubrir). ).

¿Hay alguna prueba para el infinito de las matemáticas? ¿O es eso una conjetura? 🙂

Además, nuestros cerebros solo tienen una capacidad finita. Propongo mi propia conjetura de que todas las matemáticas son probablemente finitas, pero muy grandes, mucho más grandes de lo que caben en nuestro cerebro.

Usamos símbolos finitos para representar conjuntos infinitos todo el tiempo. Así que tendría que ser si el conjunto de conceptos matemáticos distintos es o no infinito. Sospecho que no.

Pero ahora la pregunta es ¿podemos probarlo? ¿Podemos probar que el conjunto de conceptos matemáticos distintos es finito (o infinito)?

El tiempo puede sustituir al talento … hasta cierto punto. Pero así como ninguna cantidad de tiempo me convertirá en un jugador profesional de baloncesto, sospecho que ninguna cantidad de tiempo me permitirá descubrir todas las matemáticas.

Tal vez una mejor pregunta sería si un Euler o Gauss, con un tiempo infinito, ¿descubrirían todas las matemáticas?

No. Hay un conjunto incontable de funciones y solo podemos escribir un subconjunto contable.

Las matemáticas se crean , no se descubren.