¿Qué podría haber querido decir Kurt Godel al decir ‘a priori es muy poderoso’?

Leí este pasaje en un ensayo llamado “Misticismo y Matemáticas: Brouwer, Godel y la tesis básica común”:

“Gödel ve el bien de hacer matemáticamente conceptualmente. Revela el poder de la lógica a priori, su universalidad. Permea toda la Realidad, y por lo tanto la Mente no puede liberarse de ella. En vista de esto, y en contraste con Brouwer, Gödel minimiza considerablemente la libertad de la voluntad, en el siguiente sentido: a Rucker le dijo:

‘Debería ser posible formar una teoría completa del comportamiento humano, es decir, predecir a partir de los datos hereditarios y ambientales lo que una persona hará. Sin embargo, si una persona traviesa se entera de esta teoría, puede actuar de tal manera que la niegue. Por lo tanto, concluyo que tal teoría existe, pero que ninguna persona traviesa aprenderá de ella. […] El a priori se descuida mucho. La lógica es muy poderosa.

Esto es más revelador sobre la profundidad de la bondad de las cosas. Significa que, aunque en principio hay libertades profundas, se mantienen alejadas de quienes las usarían con propósitos malvados o travesuras “.

Le pregunté a mi ex profesor de Gödel (R. Tieszen) sobre el pasaje, ya que no tuve ningún problema en seguir los conceptos del documento, pero justo antes de la conclusión había una cita de Gödel que me desconcertó por completo. Esta fue la respuesta de Tieszen:

“Conozco a los autores del artículo que mencionas, Tragesser y van Atten. Hay muchas cosas en la cita de Godel. Sobre la ‘bondad de las cosas’, Godel sigue a Leibniz.” Todo caos es una apariencia incorrecta “, algo así como ‘el mejor de todos los mundos posibles’. También puede preguntarle a Rucker sobre el pasaje que cita, ya que lo mencionan “.

Rudy Rucker proporciona una respuesta a esta pregunta en sus Notas para The Lifebox, The Seashell y the Soul:

Uno de los dichos de Gödel fue: “El a priori es muy poderoso”. Con esto quiso decir que a menudo podemos aprender mucho sobre un tema realizando un análisis lógico antes de comenzar nuestra investigación.

Como ilustración, en sus Memorias de Kurt Gödel, Rucker ofrece el siguiente relato de una discusión con Gödel sobre paradojas de viajes en el tiempo:

“Debería ser posible formar una teoría completa del comportamiento humano, es decir, predecir a partir de los datos hereditarios y ambientales lo que una persona hará. Sin embargo, si una persona traviesa se entera de esta teoría, puede actuar de manera tal que la niegue. Por lo tanto, concluyo que tal teoría existe, pero que ninguna persona traviesa aprenderá de ella. De la misma manera, el viaje en el tiempo es posible, pero ninguna persona logrará matar a su yo pasado “. Gödel se rió y luego concluyó:” A priori se le descuida mucho. La lógica es muy poderosa “.

No soy un experto en Godel.

Lo que vino antes afecta lo que viene después de muchas maneras tangibles. Los sistemas reales nunca son verdaderamente sin memoria. La falta de memoria es algo que asumimos o imponemos y por el que oramos. No es natural.

More Interesting

¿Hay un nombre para este hecho que pueda seguir preguntando 'por qué?' a algo para siempre?

¿Las funciones están limitadas en su capacidad para retratar con precisión la realidad?

¿Cómo definirías 'observación pasiva' y 'experimento activo' desde la perspectiva de la epistemología?

¿Cómo se convierten las teorías en conocimiento?

¿Hay alguna superposición entre la ciencia de la información y la epistemología?

¿Cuál es la diferencia entre causalidad y correlación? Por ejemplo, existe una fuerte correlación entre el tamaño del zapato y la inteligencia en los niños, pero esta relación claramente no es causal.

¿Cómo 'saben' los pacientes mientras están inconscientes, están siendo operados?

Si Marx creía que las relaciones sociales determinaban la conciencia individual, ¿cuál era su explicación de por qué él y Engels pudieron trascender eso?

¿Se dirige Estados Unidos hacia una crisis epistemológica?

¿Es posible probar un negativo?

¿Cuáles son las diferencias y similitudes entre los criterios que John Locke y George Berkeley usaron para descubrir que algo es real o no?

¿Es una verdad universal que no hay verdades universales?

Epistemología: ¿Se puede negar justificadamente una creencia porque no tiene justificación o debe ser refutada?

¿Aceptas la idea de que el valor de nuestra velocidad absoluta como Newton esperaba (velocidad objetiva en el vacío) se puede encontrar tomando cuatro fotos de la luna y de la Tierra con 14 días de diferencia? ¿Por qué o por qué no?

¿Por qué se usan las matemáticas para describir el universo?