The Significance of Relativistic Computation for the Philosophy of Mathematics (Q5015969): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-64187-0_7
+Normal rank
@@ Property / OpenAlex ID @@
+W3168733394
@@ Property / OpenAlex ID: W3168733394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3600462
@@ Property / cites work: Q3600462 / rank @@
+Normal rank
@@ Property / cites work @@
+Alan Turing: Life and Legacy of a Great Thinker
@@ Property / cites work: Alan Turing: Life and Legacy of a Great Thinker / rank @@
+Normal rank
@@ Property / cites work @@
+Q3367316
@@ Property / cites work: Q3367316 / rank @@
+Normal rank
@@ Property / cites work @@
+General relativistic hypercomputing and foundation of mathematics
+Normal rank
@@ Property / cites work @@
+DECIDABILITY, UNDECIDABILITY, AND GÖDEL'S INCOMPLETENESS IN RELATIVITY THEORIES
+Normal rank
@@ Property / cites work @@
+A note on ‘Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox’
+Normal rank
@@ Property / cites work @@
+CLOSED TIMELIKE CURVES IN RELATIVISTIC COMPUTATION
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable. I: Discharging
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable. II: Reducibility
+Normal rank
@@ Property / cites work @@
+The hyperuniverse program
@@ Property / cites work: The hyperuniverse program / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Explanation in Science
@@ Property / cites work: Mathematical Explanation in Science / rank @@
+Normal rank
@@ Property / cites work @@
+Indexing and Mathematical Explanation
@@ Property / cites work: Indexing and Mathematical Explanation / rank @@
+Normal rank
@@ Property / cites work @@
+Optimisation and mathematical explanation: doing the Lévy walk
+Normal rank
@@ Property / cites work @@
+A Universal Ordinary Differential Equation
@@ Property / cites work: A Universal Ordinary Differential Equation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3102754
@@ Property / cites work: Q3102754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805389
@@ Property / cites work: Q4805389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4792712
@@ Property / cites work: Q4792712 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypercomputation: Philosophical issues
@@ Property / cites work: Hypercomputation: Philosophical issues / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability and incompleteness in classical mechanics
+Normal rank
@@ Property / cites work @@
+Hypercomputation and the Physical Church‐Turing Thesis
+Normal rank
@@ Property / cites work @@
+Q4395540
@@ Property / cites work: Q4395540 / rank @@
+Normal rank
@@ Property / cites work @@
+Why there is no such discipline as hypercomputation
+Normal rank
@@ Property / cites work @@
+Why Do Mathematicians Re-prove Theorems?
@@ Property / cites work: Why Do Mathematicians Re-prove Theorems? / rank @@
+Normal rank
@@ Property / cites work @@
+Machines, Logic and Quantum Physics
@@ Property / cites work: Machines, Logic and Quantum Physics / rank @@
+Normal rank
@@ Property / cites work @@
+Powers of regular cardinals
@@ Property / cites work: Powers of regular cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's square axioms for the continuum
@@ Property / cites work: Gödel's square axioms for the continuum / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Turing computations via Malament--Hogarth space-times
+Normal rank
@@ Property / cites work @@
+Does Mathematics Need New Axioms?
@@ Property / cites work: Does Mathematics Need New Axioms? / rank @@
+Normal rank
@@ Property / cites work @@
+On the epistemological significance of the Hungarian project
+Normal rank
@@ Property / cites work @@
+Using Mathematics to Explain a Scientific Theory
@@ Property / cites work: Using Mathematics to Explain a Scientific Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2756729
@@ Property / cites work: Q2756729 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of the Kepler conjecture
@@ Property / cites work: A proof of the Kepler conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+The Explanatory Power of Phase Spaces
@@ Property / cites work: The Explanatory Power of Phase Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Defending the Axioms
@@ Property / cites work: Defending the Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical explanation: problems and prospects.
@@ Property / cites work: Mathematical explanation: problems and prospects. / rank @@
+Normal rank
@@ Property / cites work @@
+Definitions by Abstraction in the Peano School
@@ Property / cites work: Definitions by Abstraction in the Peano School / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum speedup of Monte Carlo methods
@@ Property / cites work: Quantum speedup of Monte Carlo methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262160
@@ Property / cites work: Q3262160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / 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 @@
+Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity
+Normal rank
@@ Property / cites work @@
+The Physical Church–Turing Thesis: Modest or Bold?
+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 @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
+Normal rank
@@ Property / cites work @@
+Q4257375
@@ Property / cites work: Q4257375 / rank @@
+Normal rank
@@ Property / cites work @@
+Why Do We Prove Theorems?
@@ Property / cites work: Why Do We Prove Theorems? / rank @@
+Normal rank
@@ Property / cites work @@
+The phenomenology of mathematical proof
@@ Property / cites work: The phenomenology of mathematical proof / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805384
@@ Property / cites work: Q4805384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805385
@@ Property / cites work: Q4805385 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
+Normal rank
@@ Property / cites work @@
+Q4231133
@@ Property / cites work: Q4231133 / rank @@
+Normal rank
@@ Property / cites work @@
+MATHEMATICAL INFERENCE AND LOGICAL INFERENCE
@@ Property / cites work: MATHEMATICAL INFERENCE AND LOGICAL INFERENCE / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805392
@@ Property / cites work: Q4805392 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805386
@@ Property / cites work: Q4805386 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / 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 case for hypercomputation
@@ Property / cites work: The case for hypercomputation / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning, Truth, and Physics
@@ Property / cites work: Meaning, Truth, and Physics / rank @@
+Normal rank
@@ Property / cites work @@
+What properties of numbers are needed to model accelerated observers in relativity?
+Normal rank
@@ Property / cites work @@
+IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
+Normal rank
@@ Property / cites work @@
+The Extent of Computation in Malament–Hogarth Spacetimes
+Normal rank
@@ Property / cites work @@
+The axiom of determinacy, forcing axioms, and the nonstationary ideal
+Normal rank
@@ Property / cites work @@
+Q3081999
@@ Property / cites work: Q3081999 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Quantum Computation and Philosophy of Mathematics. Part II
+Normal rank
@@ Property / cites work @@
+A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-Turing computer
+Normal rank
@@ Property / cites work @@
+THE SET-THEORETIC MULTIVERSE
@@ Property / cites work: THE SET-THEORETIC MULTIVERSE / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite time Turing machines
@@ Property / cites work: Infinite time Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Is Cantor's Continuum Problem Inherently Vague?
@@ Property / cites work: Is Cantor's Continuum Problem Inherently Vague? / rank @@
+Normal rank
@@ Property / cites work @@
+Predicting the future in relativistic spacetimes
@@ Property / cites work: Predicting the future in relativistic spacetimes / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable diophantine equations
@@ Property / cites work: Undecidable diophantine equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805393
@@ Property / cites work: Q4805393 / 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 @@
+A notion of mechanistic theory
@@ Property / cites work: A notion of mechanistic theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525322
@@ Property / cites work: Q5525322 / rank @@
+Normal rank
@@ Property / cites work @@
+What Makes a Scientific Explanation Distinctively Mathematical?
+Normal rank
@@ Property / cites work @@
+Energy conservation and supertasks
@@ Property / cites work: Energy conservation and supertasks / rank @@
+Normal rank
@@ Property / cites work @@
+Measurable cardinals and the continuum hypothesis
@@ Property / cites work: Measurable cardinals and the continuum hypothesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2756776
@@ Property / cites work: Q2756776 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypercomputation
@@ Property / cites work: Hypercomputation / rank @@
+Normal rank