Abstract: We prove that the equation modelling an annular Josephson junction has a rotating fluxon wave for all values of the parameters. We also obtain results on uniqueness of the rotating fluxon wave in some parameter regimes, and results on multiplicity of rotating fluxon waves in other parameter regimes.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to evaluate the "hypercomputation" models, especially Zeno machines (i.e., accelerating Turing machines), and to explore whether these models truly challenge the theory of Turing computability. Specifically:
1. **Review of the Church - Turing Thesis**: The paper first reviews different versions of the Church - Turing Thesis, as well as their origins and applications, emphasizing their importance and fundamental status in the mathematical sciences.
2. **Evaluation of Hypercomputation Models**: The paper focuses on discussing some "hypercomputation" models, especially the most straightforward one - Zeno machines (Turing machines with accelerating clock). The author analyzes whether these models can break through the Turing barrier, that is, solve problems that traditional Turing machines cannot solve, such as the halting problem.
3. **Discussion of the Halting Problem**: The paper briefly discusses the halting problem and emphasizes that it is an inevitable accompanying problem in any reasonable computational model. The author points out that the claim of having "broken the Turing barrier" may be overly exaggerated, and the important role of Turing computability in the mathematical sciences remains unchallenged.
### Summary of Main Content
- **Church - Turing Thesis**: The paper elaborates on different versions of the Church - Turing Thesis, including the classic version, the physical version (Physical CTT), the Gandy Thesis, and the strong version (SCTT), and discusses their rationality and limitations.
- **Zeno Machines**: The paper describes in detail how Zeno machines work, that is, by infinitely accelerating execution steps to complete an infinite number of computational steps in a finite time. The author shows how Zeno machines can solve the halting problem of Turing machines in a finite time, but also points out that Zeno machines themselves also face the unsolvability of the halting problem.
- **Unsolvability of the Halting Problem**: By introducing the concept of Chatrapur - like machines, the paper proves that even Zeno machines cannot solve their own halting problems, thus emphasizing that the halting problem is inevitable in any sufficiently powerful computational model.
- **Other Non - traditional Computational Models**: The paper also briefly introduces some other non - traditional computational models, such as quantum computing, machines using relativistic effects, and biomolecular computing, and discusses their potential and limitations.
### Conclusion
The core conclusion of the paper is that although some hypercomputation models (such as Zeno machines) can extend the capabilities of traditional Turing machines in some aspects, they do not fundamentally subvert the concept of Turing computability. The halting problem, as an inherent problem in computational models, still exists, and the fundamental status of Turing computability in mathematics and computer science remains solid.