|
|
|||||
|
Be the first pioneers to continue the Astronomy Discussions at our new Astronomy meeting place... The Space and Astronomy Agora |
Tien's Abstract
Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To Posted by Richard Ruquist on July 11, 2002 14:09:09 UTC |
***The limits of mathematical computability have been set solely by mathematical logic and reasoning until now. Taking the view that information is after all physical, however, we argue that physics, particularly quantum physics, could help extend the notion of computability. Here, we list the important and unique features of quantum mechanics in {\em intrinsic randomness} and {\em implied infinity}. We then outline a quantum mechanical "algorithm" for one of the insoluble problems of mathematics, the Hilbert's tenth and equivalently the Turing halting problem. The key element of this algorithm is the {\em computability} and {\em measurability} of both the values of physical observables and of the quantum-mechanical probability distributions for these values. The algorithm, as it stands, has its limit as it cannot solve non-computable problems of other classes different than that of Turing halting problem. But it provides an interesting and new perspective that computability, and with it the limits of Mathematics, ought to be determined not solely by
|
|
Additional Information |
---|
About Astronomy Net | Advertise on Astronomy Net | Contact & Comments | Privacy Policy |
Unless otherwise specified, web site content Copyright 1994-2024 John Huggins All Rights Reserved Forum posts are Copyright their authors as specified in the heading above the post. "dbHTML," "AstroGuide," "ASTRONOMY.NET" & "VA.NET" are trademarks of John Huggins |