Información del autor
Autor Sloan, David |
Documentos disponibles escritos por este autor (1)
Crear una solicitud de compra Refinar búsqueda
Undecidability, Uncomputability, and Unpredictability / Aguirre, Anthony ; Merali, Zeeya ; Sloan, David
TÃtulo : Undecidability, Uncomputability, and Unpredictability Tipo de documento: documento electrónico Autores: Aguirre, Anthony, ; Merali, Zeeya, ; Sloan, David, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: VIII, 180 p. 27 ilustraciones, 17 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-70354-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencia Probabilidades Funciones computables TeorÃa de la recursividad FÃsica matemática Fundamentos de FÃsica y CosmologÃa TeorÃa de probabilidad TeorÃa de la computabilidad y la recursividad FilosofÃa de la Ciencia FÃsica Teórica Matemática y Computacional Clasificación: 530.01 Resumen: Durante un breve perÃodo de la historia, fue posible imaginar que un intelecto suficientemente avanzado podrÃa, con el tiempo y los recursos suficientes, entender en principio cómo demostrar matemáticamente todo lo que era cierto. PodrÃan discernir qué matemáticas corresponden a las leyes fÃsicas y usar esas leyes para predecir cualquier cosa que suceda antes de que suceda. Ese tiempo ha pasado. Los resultados de indecidibilidad de Gödel (los teoremas de incompletitud), la prueba de valores no computables de Turing, la formulación de la teorÃa cuántica, el caos y otros desarrollos durante el siglo pasado han demostrado que existen argumentos rigurosos que limitan lo que podemos probar, calcular y predecir. Si bien algunas conexiones entre estos resultados han salido a la luz, muchas siguen siendo oscuras y las implicaciones no están claras. ¿Existen, por ejemplo, consecuencias reales para la fÃsica (incluida la mecánica cuántica) de la indecidibilidad y la no computabilidad? ¿Existen implicaciones para nuestra comprensión de las relaciones entre agencia, inteligencia, mente y el mundo fÃsico? Este libro, basado en los ensayos ganadores del concurso anual FQXi, contiene diez exploraciones de la indecidibilidad, la incomputabilidad y la imprevisibilidad. Las contribuciones abundan en conexiones, implicaciones y especulaciones al tiempo que llevan a cabo una investigación rigurosa pero audaz y de mente abierta sobre el significado de estas limitaciones para el mundo fÃsico y para nosotros como humanos. Nota de contenido: Introduction (Aguirre, Merali, Sloan) -- Undecidability and Unpredictability: Not Limitations, but Triumphs of Science (Markus Müller) -- Indeterminism and Undecidability (Klaas Landsman) -- Unpredictability and Randomness (Rade Vuckovac) -- Indeterminism, Causality and Information: Has Physics ever been Deterministic? (Flavio Del Santo) -- Undecidability, Fractal Geometry and the Unity of Physics (Tim Palmer) -- A Gödelian Hunch from Quantum Theory (Hippolyte Dourdent) -- Epistemic Horizons: This Sentence is ..... (Jochen Szangolies) -- Why is the Universe Comprehensible? (Ian Durham) -- Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes (David Wolpert, David Kinney) -- Computational Complexity as Anthropic Principle: A Fable (Rick Searle) -- Appendix (Aguirre, Merali, Sloan). Tipo de medio : Computadora Summary : For a brief time in history, it was possible to imagine that a sufficiently advanced intellect could, given sufficient time and resources, in principle understand how to mathematically prove everything that was true. They could discern what math corresponds to physical laws, and use those laws to predict anything that happens before it happens. That time has passed. Gödel's undecidability results (the incompleteness theorems), Turing's proof of non-computable values, the formulation of quantum theory, chaos, and other developments over the past century have shown that there are rigorous arguments limiting what we can prove, compute, and predict. While some connections between these results have come to light, many remain obscure, and the implications are unclear. Are there, for example, real consequences for physics — including quantum mechanics — of undecidability and non-computability? Are there implications for our understanding of the relations between agency, intelligence, mind, and the physical world? This book, based on the winning essays from the annual FQXi competition, contains ten explorations of Undecidability, Uncomputability, and Unpredictability. The contributions abound with connections, implications, and speculations while undertaking rigorous but bold and open-minded investigation of the meaning of these constraints for the physical world, and for us as humans. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Undecidability, Uncomputability, and Unpredictability [documento electrónico] / Aguirre, Anthony, ; Merali, Zeeya, ; Sloan, David, . - 1 ed. . - [s.l.] : Springer, 2021 . - VIII, 180 p. 27 ilustraciones, 17 ilustraciones en color.
ISBN : 978-3-030-70354-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Ciencia Probabilidades Funciones computables TeorÃa de la recursividad FÃsica matemática Fundamentos de FÃsica y CosmologÃa TeorÃa de probabilidad TeorÃa de la computabilidad y la recursividad FilosofÃa de la Ciencia FÃsica Teórica Matemática y Computacional Clasificación: 530.01 Resumen: Durante un breve perÃodo de la historia, fue posible imaginar que un intelecto suficientemente avanzado podrÃa, con el tiempo y los recursos suficientes, entender en principio cómo demostrar matemáticamente todo lo que era cierto. PodrÃan discernir qué matemáticas corresponden a las leyes fÃsicas y usar esas leyes para predecir cualquier cosa que suceda antes de que suceda. Ese tiempo ha pasado. Los resultados de indecidibilidad de Gödel (los teoremas de incompletitud), la prueba de valores no computables de Turing, la formulación de la teorÃa cuántica, el caos y otros desarrollos durante el siglo pasado han demostrado que existen argumentos rigurosos que limitan lo que podemos probar, calcular y predecir. Si bien algunas conexiones entre estos resultados han salido a la luz, muchas siguen siendo oscuras y las implicaciones no están claras. ¿Existen, por ejemplo, consecuencias reales para la fÃsica (incluida la mecánica cuántica) de la indecidibilidad y la no computabilidad? ¿Existen implicaciones para nuestra comprensión de las relaciones entre agencia, inteligencia, mente y el mundo fÃsico? Este libro, basado en los ensayos ganadores del concurso anual FQXi, contiene diez exploraciones de la indecidibilidad, la incomputabilidad y la imprevisibilidad. Las contribuciones abundan en conexiones, implicaciones y especulaciones al tiempo que llevan a cabo una investigación rigurosa pero audaz y de mente abierta sobre el significado de estas limitaciones para el mundo fÃsico y para nosotros como humanos. Nota de contenido: Introduction (Aguirre, Merali, Sloan) -- Undecidability and Unpredictability: Not Limitations, but Triumphs of Science (Markus Müller) -- Indeterminism and Undecidability (Klaas Landsman) -- Unpredictability and Randomness (Rade Vuckovac) -- Indeterminism, Causality and Information: Has Physics ever been Deterministic? (Flavio Del Santo) -- Undecidability, Fractal Geometry and the Unity of Physics (Tim Palmer) -- A Gödelian Hunch from Quantum Theory (Hippolyte Dourdent) -- Epistemic Horizons: This Sentence is ..... (Jochen Szangolies) -- Why is the Universe Comprehensible? (Ian Durham) -- Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes (David Wolpert, David Kinney) -- Computational Complexity as Anthropic Principle: A Fable (Rick Searle) -- Appendix (Aguirre, Merali, Sloan). Tipo de medio : Computadora Summary : For a brief time in history, it was possible to imagine that a sufficiently advanced intellect could, given sufficient time and resources, in principle understand how to mathematically prove everything that was true. They could discern what math corresponds to physical laws, and use those laws to predict anything that happens before it happens. That time has passed. Gödel's undecidability results (the incompleteness theorems), Turing's proof of non-computable values, the formulation of quantum theory, chaos, and other developments over the past century have shown that there are rigorous arguments limiting what we can prove, compute, and predict. While some connections between these results have come to light, many remain obscure, and the implications are unclear. Are there, for example, real consequences for physics — including quantum mechanics — of undecidability and non-computability? Are there implications for our understanding of the relations between agency, intelligence, mind, and the physical world? This book, based on the winning essays from the annual FQXi competition, contains ten explorations of Undecidability, Uncomputability, and Unpredictability. The contributions abound with connections, implications, and speculations while undertaking rigorous but bold and open-minded investigation of the meaning of these constraints for the physical world, and for us as humans. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]