Difference between revisions of "Computational Complexity Theory"
(→Context) |
(→Context) |
||
| Line 11: | Line 11: | ||
Between 1500–1700, there was an important and dramatic shift in the way that people in Europe perceived and understood the world. Through the works of thinkers such as Francis Bacon, Galileo Galilei, Johannes Kepler, Rene Descartes, and Isaac Newton, the Western world underwent a scientific revolution. This resulted in a shift from a worldview governed by the Church and Christian theology and ethics, to that of an inanimate, machine-like material world governed by natural forces and exact mathematical rules.<ref>Capra and Luisi, ''The Newtonian world-machine. In The Systems View of Life: A Unifying Vision'' (pp. 19–34). Cambridge: Cambridge University Press. (2014) doi:10.1017/CBO9780511895555.004</ref> | Between 1500–1700, there was an important and dramatic shift in the way that people in Europe perceived and understood the world. Through the works of thinkers such as Francis Bacon, Galileo Galilei, Johannes Kepler, Rene Descartes, and Isaac Newton, the Western world underwent a scientific revolution. This resulted in a shift from a worldview governed by the Church and Christian theology and ethics, to that of an inanimate, machine-like material world governed by natural forces and exact mathematical rules.<ref>Capra and Luisi, ''The Newtonian world-machine. In The Systems View of Life: A Unifying Vision'' (pp. 19–34). Cambridge: Cambridge University Press. (2014) doi:10.1017/CBO9780511895555.004</ref> | ||
| − | David Hilbert assumed in the early 1900's challenges proposed that algorithm solutions could always be found for logical problems. Kurt Gödel showed that this was not possible in 1931.<ref>Kurt Gödel, On Formally Undecidable Propositions of Principia Mathematica and Related Systems'' Dover (original in German 1931) ISBN 9780486669809</ref> This discovery was just a few years after Heisenberg | + | David Hilbert assumed in the early 1900's challenges proposed that algorithm solutions could always be found for logical problems. Kurt Gödel showed that this was not possible in 1931.<ref>Kurt Gödel, On Formally Undecidable Propositions of Principia Mathematica and Related Systems'' Dover (original in German 1931) ISBN 9780486669809</ref> This discovery was just a few years after Heisenberg showed that the mathematics of [[Quantum Mechanics]] asserted a fundamental limit to the accuracy of any measurements made on an individual quantum particle. |
==References== | ==References== | ||
Revision as of 08:15, 2 July 2023
Full Title or Meme
The meta-mathematics of determining how hard it is to solve a problem. This is the origin of what is now called computational complexity theory.
Context
- The wiki page on Complexity begins to address Complexity from a computation point of view.
- This page is interesting the the
https://www.physicsforums.com/insights/how-to-better-define-information-in-physics/
Between 1500–1700, there was an important and dramatic shift in the way that people in Europe perceived and understood the world. Through the works of thinkers such as Francis Bacon, Galileo Galilei, Johannes Kepler, Rene Descartes, and Isaac Newton, the Western world underwent a scientific revolution. This resulted in a shift from a worldview governed by the Church and Christian theology and ethics, to that of an inanimate, machine-like material world governed by natural forces and exact mathematical rules.[1]
David Hilbert assumed in the early 1900's challenges proposed that algorithm solutions could always be found for logical problems. Kurt Gödel showed that this was not possible in 1931.[2] This discovery was just a few years after Heisenberg showed that the mathematics of Quantum Mechanics asserted a fundamental limit to the accuracy of any measurements made on an individual quantum particle.
References
- ↑ Capra and Luisi, The Newtonian world-machine. In The Systems View of Life: A Unifying Vision (pp. 19–34). Cambridge: Cambridge University Press. (2014) doi:10.1017/CBO9780511895555.004
- ↑ Kurt Gödel, On Formally Undecidable Propositions of Principia Mathematica and Related Systems Dover (original in German 1931) ISBN 9780486669809
Other Material
- See wiki page on Information in Physics
