How much can analog and hybrid systems be proved (super-)Turing (Q2497875): Difference between revisions

@@ Property / author @@
-Olivier Bournez
@@ Property / author: Olivier Bournez / rank @@
-Normal rank
@@ Property / author @@
+Olivier Bournez
@@ Property / author: Olivier Bournez / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.amc.2005.09.070
+Normal rank
@@ Property / OpenAlex ID @@
+W2119244842
@@ Property / OpenAlex ID: W2119244842 / rank @@
+Normal rank
@@ Property / cites work @@
+Achilles and the tortoise climbing up the arithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Q4039803
@@ Property / cites work: Q4039803 / rank @@
+Normal rank
@@ Property / cites work @@
+The Church-Turing Thesis over Arbitrary Domains
@@ Property / cites work: The Church-Turing Thesis over Arbitrary Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Achilles and the tortoise climbing up the hyper-arithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+On the computational power of dynamical systems and hybrid systems
+Normal rank
@@ Property / cites work @@
+Machines, Computations, and Universality
@@ Property / cites work: Machines, Computations, and Universality / rank @@
+Normal rank
@@ Property / cites work @@
+Elementarily computable functions over the real numbers and \(\mathbb R\)-sub-recursive functions
+Normal rank
@@ Property / cites work @@
+Continuous-time computation with restricted integration capabilities
+Normal rank
@@ Property / cites work @@
+The concept of computability
@@ Property / cites work: The concept of computability / rank @@
+Normal rank
@@ Property / cites work @@
+A dynamical system which must be stable whose stability cannot be proved
+Normal rank
@@ Property / cites work @@
+Q4945221
@@ Property / cites work: Q4945221 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3916562
@@ Property / cites work: Q3916562 / rank @@
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Some recent developments on Shannon's General Purpose Analog Computer
+Normal rank
@@ Property / cites work @@
+General recursive functions of natural numbers
@@ Property / cites work: General recursive functions of natural numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability with low-dimensional dynamical systems
+Normal rank
@@ Property / cites work @@
+Recursive function theory and numerical analysis
@@ Property / cites work: Recursive function theory and numerical analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Unpredictability and undecidability in dynamical systems
+Normal rank
@@ Property / cites work @@
+Recursion theory on the reals and continuous-time computation
+Normal rank
@@ Property / cites work @@
+Analog computation beyond the Turing limit
@@ Property / cites work: Analog computation beyond the Turing limit / rank @@
+Normal rank
@@ Property / cites work @@
+Real recursive functions and their hierarchy
@@ Property / cites work: Real recursive functions and their hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Relativistic computers and the Turing barrier
@@ Property / cites work: Relativistic computers and the Turing barrier / rank @@
+Normal rank
@@ Property / cites work @@
+The many forms of hypercomputation
@@ Property / cites work: The many forms of hypercomputation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+A computable ordinary differential equation which possesses no computable solution
+Normal rank
@@ Property / cites work @@
+The wave equation with computable initial data such that its unique solution is not computable
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231133
@@ Property / cites work: Q4231133 / rank @@
+Normal rank
@@ Property / cites work @@
+Analog computation via neural networks
@@ Property / cites work: Analog computation via neural networks / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational power of neural nets
@@ Property / cites work: On the computational power of neural nets / rank @@
+Normal rank
@@ Property / cites work @@
+Church's thesis meets the \(N\)-body problem
@@ Property / cites work: Church's thesis meets the \(N\)-body problem / rank @@
+Normal rank
@@ Property / cites work @@
+Three counterexamples refuting Kieu's plan for ``quantum adiabatic hypercomputation''; and some uncomputable quantum mechanical tasks
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+The complexity of analog computation
@@ Property / cites work: The complexity of analog computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical physics and the Church--Turing Thesis
@@ Property / cites work: Classical physics and the Church--Turing Thesis / rank @@
+Normal rank