★★★★★
Creo que está ocurriendo un gran cambio en la epistemología de las matemáticas y la ciencia. Esta no es una cita exacta, estoy escribiendo esto de memoria y lo arreglaré y daré la fuente esta noche, pero estaba leyendo un ensayo con el siguiente experimento mental: “Considere lo siguiente: supongamos que usamos todo el asunto en el Universo para construir una computadora paralela masiva especializada en factorizar números. Ahora será posible elegir un número que sea lo suficientemente grande como para que esta computadora demore más de lo que existirá en el universo “.
En otras palabras, aquí hay un número que sabemos cómo factorizar pero es imposible factorizarlo; Es decir, no podemos conocer sus factores.
- ¿Cuál es la diferencia epistemológica entre cooperación y colaboración?
- ¿Cuáles son las formas 'diferentes' de probar teoremas? Hay muchos métodos comunes: Deducción, Inducción, Prueba por contradicción, Prueba por agotamiento, etc. Estoy buscando formas "extrañas" de pruebas.
- ¿Es el conocimiento justificado la verdadera creencia?
- ¿Cómo sabemos que algo es verdad? ¿Qué hace que algo sea verdad?
- ¿Qué significa 'ser'?
Ahora, viene la computación cuántica y, en teoría, ¡podemos factorizar ese mismo número en unos segundos! ¿Qué significa esto sobre lo que podemos y no podemos saber? El horizonte entre lo que podemos y no podemos saber está retrocediendo cada vez más rápido y las viejas ideas sobre ese horizonte están siendo aplastadas en el camino.
