De ninguna manera estoy calificado para responder esta pregunta, voy a intentarlo de todos modos, pero agradezco cualquier corrección. Me parece interesante lo lejos que están las teorías recientes de Física Matemática y Teórica de la comprensión de los legos, por lo que mi proceso para tratar de comprender estos conceptos puede ser útil para otros que realmente los entienden y quieren explicarlos. El artículo del New Scientist [1] que Gary se refiere muestra esto para mí. Hace algún intento de expandir las teorías básicas hasta hace unos 100 años, pero las secciones posteriores sobre Woodin Cardinals que viven en suites de áticos matemáticos parecen hacer poco para explicar lo que dicen las teorías más recientes.
Del artículo de New Scientist entiendo que Ultimate Logic es una estructura matemática que describe la estructura de las estructuras matemáticas. Esto puede repetirse varias veces más, pero en algún lugar puede describir la teoría y lógica de conjuntos familiares, junto con otros modelos matemáticos desconocidos. Este artículo se refiere a un multiverso y universos, pero parece significarlos como conceptos matemáticos, un universo de sistemas matemáticos compatibles.
Siguiendo el artículo de New Scientist busco el Nivel IV de Tegmark y termino en el artículo de Wikipedia para la hipótesis del universo matemático [2]. Esto me dice que Tegmark afirma que la realidad es, en última instancia, de naturaleza matemática, que al variar el tipo de matemática utilizada terminas con un universo (físico) diferente. El multiverso de Nivel IV son los universos basados en “estructuras matemáticas completas de Godel (completamente decidibles)”, nuestro universo físico es uno de ellos.
Tegmark presentó el multiverso de Nivel IV en On Math, Matter and Mind [3] en 2006, y según el artículo de New Scientist Woodin presentó su Ultimate L en 2010, por lo que supongo que Ultimate L proporciona una nueva forma de identificar y restringir tipos de matemáticas en las que se puede basar el universo físico
- ¿Los estudiantes de habla inglesa estarían mejor aprendiendo lógica formal en lugar de un segundo idioma en la escuela?
- ¿Es posible ver “Primer” y entender exactamente lo que está pasando?
- ¿Es racional la racionalidad?
- ¿Hay algún término para usar “si” significa “en caso” como en “si tienes hambre, hay un sándwich en la mesa”?
- ¿Se adhieren las reglas de la gramática lingüística del lenguaje humano a las leyes de la lógica, y si no lo hacen, qué reglas siguen?
[1] http://www.newscientist.com/arti…
[2] http://en.wikipedia.org/wiki/Mat…
[3] http://arxiv.org/abs/physics/051…