Mathematics – General Mathematics
Scientific paper
2005-07-06
Mathematics
General Mathematics
8 pages; submitted to the Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyo
Scientific paper
Inspired by Quantum Mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetics into problems involving either a set of infinitely-coupled non-linear differential equations or a class of linear Schr\"odinger equations with some appropriate time-dependent Hamiltonians. We then raise the questions whether these two classes of differential equations are computable or not in some computation models of computable analysis. These are non-trivial and important questions given that: (i) not all computation models of computable analysis are equivalent, unlike the case with classical recursion theory; (ii) and not all models necessarily and inevitably reduce computability of real functions to discrete computations on Turing machines. However unlikely the positive answers to our computability questions, their existence should deserve special attention and be satisfactorily settled since such positive answers may also have interesting logical consequence back in the classical recursion theory for the Church-Turing thesis.
No associations
LandOfFree
Mathematical computability questions for some classes of linear and non-linear differential equations originated from Hilbert's tenth problem does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Mathematical computability questions for some classes of linear and non-linear differential equations originated from Hilbert's tenth problem, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mathematical computability questions for some classes of linear and non-linear differential equations originated from Hilbert's tenth problem will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-611698