東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Undecidable long-term behavior in cl...

The University of Chicago.

Linked to FindBook

Google Book

Amazon

博客來

Undecidable long-term behavior in classical physics: Foundations, results and interpretation.

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Undecidable long-term behavior in classical physics: Foundations, results and interpretation./
Author:	Parker, Matthew W.
Description:	217 p.
Notes:	Adviser: Howard Stein.
Contained By:	Dissertation Abstracts International66-03A.
Subject:	Computer Science. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3168371
ISBN:	9780542043635

Undecidable long-term behavior in classical physics: Foundations, results and interpretation.
Parker, Matthew W.

Undecidable long-term behavior in classical physics: Foundations, results and interpretation. - 217 p.

Adviser: Howard Stein.

Thesis (Ph.D.)--The University of Chicago, 2005.

The behavior of some systems is non-computable in a precise new sense. One infamous problem is that of the stability of the solar system: Given the initial positions and velocities of several mutually gravitating bodies, will any eventually collide or be thrown off to infinity? Many have made vague suggestions that this and similar problems are undecidable: no finite procedure can reliably determine whether a given configuration will eventually prove unstable. But taken in the most natural way, this is trivial. The state of a system corresponds to a point in a continuous space, and virtually no set of points in space is strictly decidable. A new, more pragmatic concept is therefore introduced: a set is decidable up to measure zero (d.m.z.) if there is a procedure to decide whether a point is in that set and it only fails on some points that form a set of zero volume. This is motivated by the intuitive correspondence between volume and probability: we can ignore a zero-volume set of states because the state of an arbitrary system almost certainly will not fall in that set. D.m.z. is also closer to the intuition of decidability than other notions in the literature, which are either less strict or apply only to special sets, like closed sets. Certain complicated sets are not d.m.z., most remarkably including the set of known stable orbits for planetary systems (the KAM tori). This suggests that the stability problem is indeed undecidable in the precise sense of d.m.z. Carefully extending decidability concepts from idealized models to actual systems, we see that even deterministic aspects of physical behavior can be undecidable in a clear and significant sense.

ISBN: 9780542043635Subjects--Topical Terms:

626642
Computer Science.

Undecidable long-term behavior in classical physics: Foundations, results and interpretation.
LDR:02602nam 2200289 a 45 001 969778
005 20110920
008 110921s2005 eng d
020 $a 9780542043635
035 $a (UnM)AAI3168371
035 $a AAI3168371
040 $a UnM $c UnM
100 1 $a Parker, Matthew W. $3 1293836
245 1 0 $a Undecidable long-term behavior in classical physics: Foundations, results and interpretation.
300 $a 217 p.
500 $a Adviser: Howard Stein.
500 $a Source: Dissertation Abstracts International, Volume: 66-03, Section: A, page: 1027.
502 $a Thesis (Ph.D.)--The University of Chicago, 2005.
520 $a The behavior of some systems is non-computable in a precise new sense. One infamous problem is that of the stability of the solar system: Given the initial positions and velocities of several mutually gravitating bodies, will any eventually collide or be thrown off to infinity? Many have made vague suggestions that this and similar problems are undecidable: no finite procedure can reliably determine whether a given configuration will eventually prove unstable. But taken in the most natural way, this is trivial. The state of a system corresponds to a point in a continuous space, and virtually no set of points in space is strictly decidable. A new, more pragmatic concept is therefore introduced: a set is decidable up to measure zero (d.m.z.) if there is a procedure to decide whether a point is in that set and it only fails on some points that form a set of zero volume. This is motivated by the intuitive correspondence between volume and probability: we can ignore a zero-volume set of states because the state of an arbitrary system almost certainly will not fall in that set. D.m.z. is also closer to the intuition of decidability than other notions in the literature, which are either less strict or apply only to special sets, like closed sets. Certain complicated sets are not d.m.z., most remarkably including the set of known stable orbits for planetary systems (the KAM tori). This suggests that the stability problem is indeed undecidable in the precise sense of d.m.z. Carefully extending decidability concepts from idealized models to actual systems, we see that even deterministic aspects of physical behavior can be undecidable in a clear and significant sense.
590 $a School code: 0330.
650 4 $a Computer Science. $3 626642
650 4 $a Philosophy. $3 516511
650 4 $a Physics, General. $3 1018488
690 $a 0422
690 $a 0605
690 $a 0984
710 2 0 $a The University of Chicago. $3 1017389
773 0 $t Dissertation Abstracts International $g 66-03A.
790 $a 0330
790 1 0 $a Stein, Howard, $e advisor
791 $a Ph.D.
792 $a 2005
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3168371