Become a fan of Slashdot on Facebook


Forgot your password?
Check out the new SourceForge HTML5 internet speed test! No Flash necessary and runs on all devices. ×

Quantum Test Found For Mathematical Undecidability 223

KentuckyFC writes "Philosophers have long wondered at the profound link between mathematics and physics, but how deep does this connection go? Pretty deep according to the results of a quantum experiment exploring the nature of mathematical undecidability. Here's how: any logical system must be based on axioms, which are propositions that are defined to be true. A proposition is logically independent from these axioms if it can neither be proved nor disproved from them; mathematicians say it is undecidable. In the experiment, researchers encoded a set of axioms as quantum states. A particular measurement on this system can then be thought of as a proposition which, if undecidable, yields a random result — which is what they found. 'This sheds new light on the (mathematical) origin of quantum randomness in these measurements,' say the researchers (abstract)."

Slashdot Top Deals

% APL is a natural extension of assembler language programming; ...and is best for educational purposes. -- A. Perlis