Classical Physics

    

Church's Thesis Meets the N-body Problem

Authors: Warren D. Smith

"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; phsyics 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.

Comments: 23 Pages. Sep 1993 paper by me later published in Applied Mathematics & Computation 178,1 (July 2006) 154-183; now uploaded to vixra for archival purposes.

Download: PDF

Submission history

[v1] 2025-03-25 14:52:14

Unique-IP document downloads: 247 times

Vixra.org is a pre-print repository rather than a journal. Articles hosted may not yet have been verified by peer-review and should be treated as preliminary. In particular, anything that appears to include financial or legal advice or proposed medical treatments should be treated with due caution. Vixra.org will not be responsible for any consequences of actions that result from any form of use of any documents on this website.

Add your own feedback and questions here:
You are equally welcome to be positive or negative about any paper but please be polite. If you are being critical you must mention at least one specific error, otherwise your comment will be deleted as unhelpful.

comments powered by Disqus