Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics (Q1036536): Difference between revisions

Latest revision as of 14:13, 10 December 2024

scientific article

Language	Label	Description	Also known as
English	Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics	scientific article

Statements

instance of

scholarly article

0 references

title

Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics (English)

0 references

author

Martin Ziegler

0 references

published in

Applied Mathematics and Computation

0 references

publication date

13 November 2009

0 references

zbMATH Keywords

Church-Turing hypothesis

0 references

structuralism in physics

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.amc.2009.04.062

0 references

cites work

P-COMPLETE GEOMETRIC PROBLEMS

0 references

Log Depth Circuits for Division and Related Problems

0 references

Computational complexity with experiments as oracles

0 references

Universal computation and physical dynamics

0 references

Q3222894

0 references

Computations via Newtonian and relativistic kinematic systems

0 references

Embedding infinitely parallel computation in Newtonian kinematics

0 references

Can Newtonian systems, bounded in space, time, mass and energy compute all functions?

0 references

Experimental computation of real numbers by Newtonian machines

0 references

Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question

0 references

Q3803111

0 references

Q5532570

0 references

Q3094765

0 references

Unit disk graph recognition is NP-hard

0 references

Constructive mathematics and quantum physics

0 references

On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines

0 references

SHORTEST PATH AMIDST DISC OBSTACLES IS COMPUTABLE

0 references

Division in logspace-uniform<i>NC</i><sup>1</sup>

0 references

Q2702573

0 references

Q4805389

0 references

On the Power of Real Turing Machines over Binary Inputs

0 references

Quantum logic as motivated by quantum computing

0 references

A formal background to mathematics. Ia, Ib: Logic, sets and numbers

0 references

Non-Turing computations via Malament--Hogarth space-times

0 references

A Constructivist Perspective on Physics

0 references

The computational complexity of maximization and integration

0 references

Conservative logic

0 references

The Church-Turing thesis: Still valid after all these years?

0 references

Q3916562

0 references

On a class of $O(n^ 2)$ problems in computational geometry

0 references

Q4198056

0 references

Q4843270

0 references

On the definitions of computable real continuous functions

0 references

Wave function of the Universe

0 references

Mathematical Constructivism in Spacetime

0 references

Q5493748

0 references

Quantum algorithm for Hilbert's tenth problem

0 references

Q5812175

0 references

Q4002474

0 references

Church's thesis and the ideal of informal rigour

0 references

0 references

0 references

0 references

0 references

A survey on real structural complexity theory

0 references

Logical Approaches to Computational Barriers

0 references

Q4413072

0 references

Q5578545

0 references

Unpredictability and undecidability in dynamical systems

0 references

Binary black holes on a budget: simulations using workstations

0 references

Q2702574

0 references

Q3221403

0 references

The wave equation with computable initial data such that its unique solution is not computable

0 references

Q3994907

0 references

Q5200674

0 references

Q3992847

0 references

The complexity of N-body simulation

0 references

Computability and complexity of ray tracing

0 references

Classical Mechanics as a Limit of Quantum Mechanics

0 references

Church's thesis meets the $N$-body problem

0 references

Three counterexamples refuting Kieu's plan for ``quantum adiabatic hypercomputation''; and some uncomputable quantum mechanical tasks

0 references

The logical structure of mathematical physics

0 references

Q4198716

0 references

Q4284061

0 references

Q2702575

0 references

``Linear'' chaos via paradoxical set decompositions.

0 references

Q4942042

0 references

Computational universes

0 references

Q5493760

0 references

Q5448305

0 references

On Computable Numbers, with an Application to the Entscheidungsproblem

0 references

Classical physics and the Church--Turing Thesis

0 references

Q4938654

0 references

IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?

0 references

Computing Schrödinger propagators on type-2 Turing machines

0 references

Q4437108

0 references

The existence of noncollision singularities in Newtonian systems

0 references

A theory of computation based on quantum logic. I

0 references

Computational power of infinite quantum parallelism

0 references

Effectively open real functions

0 references

Identifiers

zbMATH Open document ID

1192.68268

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

10.1016/J.AMC.2009.04.062

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1036536

@@ Property / DOI @@
-.1016/j.amc.2009.04.062
@@ Property / DOI: 10.1016/j.amc.2009.04.062 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.amc.2009.04.062
+Normal rank
@@ Property / OpenAlex ID @@
+W1619090842
@@ Property / OpenAlex ID: W1619090842 / rank @@
+Normal rank
@@ Property / cites work @@
+P-COMPLETE GEOMETRIC PROBLEMS
@@ Property / cites work: P-COMPLETE GEOMETRIC PROBLEMS / rank @@
+Normal rank
@@ Property / cites work @@
+Log Depth Circuits for Division and Related Problems
+Normal rank
@@ Property / cites work @@
+Computational complexity with experiments as oracles
+Normal rank
@@ Property / cites work @@
+Universal computation and physical dynamics
@@ Property / cites work: Universal computation and physical dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222894
@@ Property / cites work: Q3222894 / rank @@
+Normal rank
@@ Property / cites work @@
+Computations via Newtonian and relativistic kinematic systems
+Normal rank
@@ Property / cites work @@
+Embedding infinitely parallel computation in Newtonian kinematics
+Normal rank
@@ Property / cites work @@
+Can Newtonian systems, bounded in space, time, mass and energy compute all functions?
+Normal rank
@@ Property / cites work @@
+Experimental computation of real numbers by Newtonian machines
+Normal rank
@@ Property / cites work @@
+Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3094765
@@ Property / cites work: Q3094765 / rank @@
+Normal rank
@@ Property / cites work @@
+Unit disk graph recognition is NP-hard
@@ Property / cites work: Unit disk graph recognition is NP-hard / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive mathematics and quantum physics
@@ Property / cites work: Constructive mathematics and quantum physics / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+SHORTEST PATH AMIDST DISC OBSTACLES IS COMPUTABLE
@@ Property / cites work: SHORTEST PATH AMIDST DISC OBSTACLES IS COMPUTABLE / rank @@
+Normal rank
@@ Property / cites work @@
+Division in logspace-uniform<i>NC</i><sup>1</sup>
@@ Property / cites work: Division in logspace-uniform<i>NC</i><sup>1</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702573
@@ Property / cites work: Q2702573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805389
@@ Property / cites work: Q4805389 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Power of Real Turing Machines over Binary Inputs
+Normal rank
@@ Property / cites work @@
+Quantum logic as motivated by quantum computing
@@ Property / cites work: Quantum logic as motivated by quantum computing / rank @@
+Normal rank
@@ Property / cites work @@
+A formal background to mathematics. Ia, Ib: Logic, sets and numbers
+Normal rank
@@ Property / cites work @@
+Non-Turing computations via Malament--Hogarth space-times
+Normal rank
@@ Property / cites work @@
+A Constructivist Perspective on Physics
@@ Property / cites work: A Constructivist Perspective on Physics / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of maximization and integration
+Normal rank
@@ Property / cites work @@
+Conservative logic
@@ Property / cites work: Conservative logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Church-Turing thesis: Still valid after all these years?
+Normal rank
@@ Property / cites work @@
+Q3916562
@@ Property / cites work: Q3916562 / rank @@
+Normal rank
@@ Property / cites work @@
+On a class of \(O(n^ 2)\) problems in computational geometry
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843270
@@ Property / cites work: Q4843270 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Wave function of the Universe
@@ Property / cites work: Wave function of the Universe / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Constructivism in Spacetime
@@ Property / cites work: Mathematical Constructivism in Spacetime / rank @@
+Normal rank
@@ Property / cites work @@
+Q5493748
@@ Property / cites work: Q5493748 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum algorithm for Hilbert's tenth problem
@@ Property / cites work: Quantum algorithm for Hilbert's tenth problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Church's thesis and the ideal of informal rigour
@@ Property / cites work: Church's thesis and the ideal of informal rigour / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338243
@@ Property / cites work: Q3338243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704445
@@ Property / cites work: Q3704445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168895
@@ Property / cites work: Q4168895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847928
@@ Property / cites work: Q4847928 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey on real structural complexity theory
@@ Property / cites work: A survey on real structural complexity theory / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413072
@@ Property / cites work: Q4413072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5578545
@@ Property / cites work: Q5578545 / rank @@
+Normal rank
@@ Property / cites work @@
+Unpredictability and undecidability in dynamical systems
+Normal rank
@@ Property / cites work @@
+Binary black holes on a budget: simulations using workstations
+Normal rank
@@ Property / cites work @@
+Q2702574
@@ Property / cites work: Q2702574 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+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 @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200674
@@ Property / cites work: Q5200674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992847
@@ Property / cites work: Q3992847 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of N-body simulation
@@ Property / cites work: The complexity of N-body simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and complexity of ray tracing
@@ Property / cites work: Computability and complexity of ray tracing / rank @@
+Normal rank
@@ Property / cites work @@
+Classical Mechanics as a Limit of Quantum Mechanics
+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 @@
+The logical structure of mathematical physics
@@ Property / cites work: The logical structure of mathematical physics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198716
@@ Property / cites work: Q4198716 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4284061
@@ Property / cites work: Q4284061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702575
@@ Property / cites work: Q2702575 / rank @@
+Normal rank
@@ Property / cites work @@
+``Linear'' chaos via paradoxical set decompositions.
+Normal rank
@@ Property / cites work @@
+Q4942042
@@ Property / cites work: Q4942042 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational universes
@@ Property / cites work: Computational universes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5493760
@@ Property / cites work: Q5493760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5448305
@@ Property / cites work: Q5448305 / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+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
@@ Property / cites work @@
+Q4938654
@@ Property / cites work: Q4938654 / rank @@
+Normal rank
@@ Property / cites work @@
+IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
+Normal rank
@@ Property / cites work @@
+Computing Schrödinger propagators on type-2 Turing machines
+Normal rank
@@ Property / cites work @@
+Q4437108
@@ Property / cites work: Q4437108 / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of noncollision singularities in Newtonian systems
+Normal rank
@@ Property / cites work @@
+A theory of computation based on quantum logic. I
@@ Property / cites work: A theory of computation based on quantum logic. I / rank @@
+Normal rank
@@ Property / cites work @@
+Computational power of infinite quantum parallelism
+Normal rank
@@ Property / cites work @@
+Effectively open real functions
@@ Property / cites work: Effectively open real functions / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.AMC.2009.04.062
@@ Property / DOI: 10.1016/J.AMC.2009.04.062 / rank @@
+Normal rank