کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4637257 | 1340737 | 2006 | 30 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: Church’s thesis meets the N-body problem Church’s thesis meets the N-body problem](/preview/png/4637257.png)
“Church’s thesis” is at the foundation of computer science. We point out that with any particular set of physical laws, Church’s thesis need not merely be postulated, in fact it may be decidable. Trying to do so is valuable. In Newton’s laws of physics with point masses, we outline a proof that Church’s thesis is false; physics is unsimulable. But with certain more realistic laws of motion, incorporating some relativistic effects, the extended Church’s thesis is true. Along the way we prove a useful theorem: a wide class of ordinary differential equations may be integrated with “polynomial slowdown”. Warning: we cannot give careful definitions and caveats in this abstract–you must read the full text—and interpreting our results is not trivial.
Journal: Applied Mathematics and Computation - Volume 178, Issue 1, 1 July 2006, Pages 154–183