On the public citation graph
Undecidability and incompleteness in classical mechanics
0 signed · 153 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/malq.19630091802openalex-snapshot
Zwei Unentscheidbare Probleme Der Analysis
inferredcites →https://doi.org/10.1002/malq.19690152003openalex-snapshot
Solution of the identity problem for integral exponential functions
inferredcites →https://doi.org/10.1002/malq.19750210102openalex-snapshot
On a simple definition of computable function of a real variable‐with applications to functions of a complex variable
inferredcites →https://doi.org/10.1007/3-540-10290-6openalex-snapshot
On the Integration of Algebraic Functions
inferredcites →https://doi.org/10.1007/978-1-4615-7288-6openalex-snapshot
Introduction to Mathematical Logic
inferredcites →https://doi.org/10.1007/978-1-4757-4257-2openalex-snapshot
Regular and Stochastic Motion
inferredcites →https://doi.org/10.1007/978-1-4757-4385-2openalex-snapshot
A Course in Mathematical Logic
inferredcites →https://doi.org/10.1007/978-3-662-21717-7openalex-snapshot
Computability in Analysis and Physics
inferredcites →https://doi.org/10.1007/bf00673682openalex-snapshot
A Suppes predicate for general relativity and set-theoretically generic spacetimes
inferredcites →https://doi.org/10.1007/bf01700692openalex-snapshot
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
inferredcites →https://doi.org/10.1007/bf01961239openalex-snapshot
Horseshoes in perturbations of Hamiltonian systems with two degrees of freedom
inferredcites →https://doi.org/10.1007/bfb0073963openalex-snapshot
Sheaf theory and the continuum hypothesis
inferredcites →https://doi.org/10.1007/s00605-006-0423-7openalex-snapshot
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
inferredcites →https://doi.org/10.1016/0001-8708(81)90001-3openalex-snapshot
The wave equation with computable initial data such that its unique solution is not computable
inferredcites →https://doi.org/10.1016/0001-8708(83)90004-xopenalex-snapshot
Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
inferredcites →https://doi.org/10.1016/c2009-0-12309-7openalex-snapshot
Handbook of Set-Theoretic Topology
inferredcites →https://doi.org/10.1017/cbo9780511608858openalex-snapshot
Algorithmic Information Theory
inferredcites →https://doi.org/10.1017/cbo9780511662256openalex-snapshot
An Introduction to Independence for Analysts
inferredcites →https://doi.org/10.1080/00029890.1973.11993265openalex-snapshot
Hilbert's Tenth Problem is Unsolvable
inferredcites →https://doi.org/10.1090/s0002-9904-1944-08111-1openalex-snapshot
Recursively enumerable sets of positive integers and their decision problems
inferredcites →https://doi.org/10.1090/s0002-9904-1971-12696-4openalex-snapshot
Abbreviating proofs by adding new axioms
inferredcites →https://doi.org/10.1090/s0002-9939-1969-0248020-7openalex-snapshot
Some Recursively Unsolvable Problems in Analysis
inferredcites →https://doi.org/10.1090/s0002-9947-1983-0682717-1openalex-snapshot
Computability and Noncomputability in Classical Analysis
inferredcites →https://doi.org/10.1090/s0273-0979-1989-15750-9openalex-snapshot
On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
inferredcites →https://doi.org/10.1093/comjnl/12.1.28openalex-snapshot
Theory of Recursive Functions and Effective Computability
inferredcites →https://doi.org/10.1103/physrevlett.64.2354openalex-snapshot
Unpredictability and undecidability in dynamical systems
inferredcites →https://doi.org/10.1145/321574.321591openalex-snapshot
On Canonical Forms and Simplification
inferredcites →https://doi.org/10.1145/321850.321856openalex-snapshot
The Undecidability of the Existence of Zeros of Real Elementary Functions
inferredcites →https://doi.org/10.1175/1520-0469(1963)020<0130:dnf>2.0.co;2openalex-snapshot
Deterministic Nonperiodic Flow
inferredcites →https://doi.org/10.1201/9781003072676-14openalex-snapshot
The Chaos of Dynamical Systems
inferredcites →https://doi.org/10.1201/9781315275789-13openalex-snapshot
Go¨del’s Incompleteness Theorem
inferredcites →https://doi.org/10.1515/9783110870299.168openalex-snapshot
Suppes Predicates for Classical Physics
inferredcites →https://doi.org/10.2307/1970289openalex-snapshot
The Decision Problem for Exponential Diophantine Equations
inferredcites →https://doi.org/10.2307/2271358openalex-snapshot
Some undecidable problems involving elementary functions of a real variable
inferredcites →https://doi.org/10.2307/2274135openalex-snapshot
Register machine proof of the theorem on exponential diophantine representation of enumerable sets
inferredcites →https://doi.org/10.2307/2316720openalex-snapshot
Theory of Recursive Functions and Effective Computability.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/1099-0526(200005/06)5:5<28::aid-cplx5>3.0.co;2-sopenalex-snapshot
Mathematical jujitsu: Some informal thoughts about G�del and physics
inferred← citeshttps://doi.org/10.1002/qua.560460311openalex-snapshot
Generalized spectral decompositions of mixing dynamical systems
inferred← citeshttps://doi.org/10.1007/978-0-387-68546-5_4openalex-snapshot
Computation Paradigms in Light of Hilbert's Tenth Problem
inferred← citeshttps://doi.org/10.1007/978-1-4612-3992-5_7openalex-snapshot
Stabilization Through Fluctuations in Chaotic Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-33090-3_13openalex-snapshot
Metalogic, Schopenhauer and Universal Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-64187-0_7openalex-snapshot
The Significance of Relativistic Computation for the Philosophy of Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-031-77382-2_2openalex-snapshot
Paraconsistency for the Working Software Engineer (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-319-44418-5_35openalex-snapshot
Gödel Incompleteness and the Empirical Sciences
inferred← citeshttps://doi.org/10.1007/978-3-319-70815-7openalex-snapshot
Physical (A)Causality: Determinism, Randomness and Uncaused Events
inferred← citeshttps://doi.org/10.1007/978-3-319-72478-2_22openalex-snapshot
El Aleph, Or a Monster Lurks in the Belly of Computer Science
inferred← citeshttps://doi.org/10.1007/978-3-642-60707-3_21openalex-snapshot
Spectral Decomposition and Extended Formulation of Unstable Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-79654-8_152openalex-snapshot
Prediction of Chaos Using Stabilization Principle
inferred← citeshttps://doi.org/10.1007/978-90-481-9422-3openalex-snapshot
Brazilian studies in philosophy and history of science : an account of recent works
inferred← citeshttps://doi.org/10.1007/978-94-007-5380-8_8openalex-snapshot
The Relationship Between Physics and Mathematics in the XIXth Century: The Disregarded Birth of a Foundational Pluralism
inferred← citeshttps://doi.org/10.1007/978-94-011-0776-1_7openalex-snapshot
Suppes Predicates and the Construction of Unsolvable Problems in the Axiomatized Sciences
inferred← citeshttps://doi.org/10.1007/978-94-015-8678-8_7openalex-snapshot
Structures, Suppes Predicates, and Boolean-Valued Models in Physics
inferred← citeshttps://doi.org/10.1007/978-94-015-9293-2_12openalex-snapshot
Incommensurability as a Bound of Hermeneutics in Science
inferred← citeshttps://doi.org/10.1007/978-94-017-3327-4_9openalex-snapshot
Strong Determinism vs. Computability
inferred← citeshttps://doi.org/10.1007/978-94-017-3651-0_13openalex-snapshot
On Some Recent Undecidability and Incompleteness Results in the Axiomatized Sciences
inferred← citeshttps://doi.org/10.1007/bf00665895openalex-snapshot
Classical physics and Penrose's thesis
inferred← citeshttps://doi.org/10.1007/bf00671031openalex-snapshot
Undecidable hopf bifurcation with undecidable fixed point
inferred← citeshttps://doi.org/10.1007/bf00674403openalex-snapshot
Terminal model of Newtonian dynamics
inferred← citeshttps://doi.org/10.1007/bf00675030openalex-snapshot
Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
inferred← citeshttps://doi.org/10.1007/bf00675803openalex-snapshot
Postinstability models in dynamics
inferred← citeshttps://doi.org/10.1007/bf01052602openalex-snapshot
Constructive mathematics and unbounded operators ? A reply to Hellman
inferred← citeshttps://doi.org/10.1007/bf01053030openalex-snapshot
Undecidability, incompleteness and Arnol'd problems
inferred← citeshttps://doi.org/10.1007/bf01882755openalex-snapshot
Predictability in deterministic theories
inferred← citeshttps://doi.org/10.1007/bf02054673openalex-snapshot
Two questions on the geometry of gauge fields
inferred← citeshttps://doi.org/10.1007/bf03025291openalex-snapshot
Mathematical problems for the next century
inferred← citeshttps://doi.org/10.1007/bfb0022563openalex-snapshot
On Arnol'd's Hilbert symposium problems
inferred← citeshttps://doi.org/10.1007/s10516-009-9063-6openalex-snapshot
Cohomological Emergence of Sense in Discourses (As Living Systems Following Ehresmann and Vanbremeersch)
inferred← citeshttps://doi.org/10.1007/s10773-009-0217-5openalex-snapshot
Remarks on Undecidability, Incompleteness and the Integrability Problem
inferred← citeshttps://doi.org/10.1007/s10773-023-05357-1openalex-snapshot
Undecidable problems in quantum field theory
inferred← citeshttps://doi.org/10.1007/s10838-020-09549-9openalex-snapshot
Undecidability of the Spectral Gap: An Epistemological Look
inferred← citeshttps://doi.org/10.1007/s11229-006-9126-9openalex-snapshot
Informal versus formal mathematics
inferred← citeshttps://doi.org/10.1007/s12043-023-02699-7openalex-snapshot
The undecidable charge gap and the oil drop experiment
inferred← citeshttps://doi.org/10.1016/0096-3003(94)90158-9openalex-snapshot
Is independence an exception?
inferred← citeshttps://doi.org/10.1016/0370-1573(92)90128-mopenalex-snapshot
Dissipative processes in quantum theory
inferred← citeshttps://doi.org/10.1016/0375-9601(93)91066-eopenalex-snapshot
Integrability of charged particle dynamics in reconnection regions
inferred← citeshttps://doi.org/10.1016/0378-4371(93)90047-8openalex-snapshot
Intrinsic irreversibility and integrability of dynamics
inferred← citeshttps://doi.org/10.1016/0898-1221(94)90137-6openalex-snapshot
Unpredictable dynamics and collective brain
inferred← citeshttps://doi.org/10.1016/j.amc.2005.09.068openalex-snapshot
Embedding infinitely parallel computation in Newtonian kinematics
inferred← citeshttps://doi.org/10.1016/j.amc.2005.09.073openalex-snapshot
Some thoughts on hypercomputation
inferred← citeshttps://doi.org/10.1016/j.amc.2005.09.074openalex-snapshot
Analog computation beyond the Turing limit
inferred← citeshttps://doi.org/10.1016/j.amc.2006.12.012openalex-snapshot
On the metamathematics of the P vs. NP question
inferred← citeshttps://doi.org/10.1016/j.amc.2009.04.049openalex-snapshot
How to build a hypercomputer
inferred← citeshttps://doi.org/10.1016/j.physd.2008.03.040openalex-snapshot
Physical limits of inference
inferred← citeshttps://doi.org/10.1016/j.physrep.2025.06.004openalex-snapshot
Undecidability in physics: A review
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.10.010openalex-snapshot
Can Newtonian systems, bounded in space, time, mass and energy compute all functions?
inferred← citeshttps://doi.org/10.1016/j.tcs.2024.114632openalex-snapshot
How real is incomputability in physics?
inferred← citeshttps://doi.org/10.1016/s0362-546x(96)00345-8openalex-snapshot
Probabilistic extension and logic of complex unstable dynamical systems
inferred← citeshttps://doi.org/10.1017/s0960129511000569openalex-snapshot
Incomputability in Physics and Biology
inferred← citeshttps://doi.org/10.1023/a:1004220919753openalex-snapshot
The Incompleteness of Theories of Games
inferred← citeshttps://doi.org/10.1023/a:1004920608415openalex-snapshot
Suppes Predicates for Meta-Ranking Structures
inferred← citeshttps://doi.org/10.1023/a:1005288605275openalex-snapshot
The quantum and classical domains as provisional parallel coexistents
inferred← citeshttps://doi.org/10.1023/a:1008209231777openalex-snapshot
Deterministic Chaos and Computational Complexity: The Case of Methodological Complexity Reductions
inferred← citeshttps://doi.org/10.1023/a:1008376425565openalex-snapshot
Deterministic Chaos and Computational Complexity: the Case of Methodological Complexity Reductions
inferred← citeshttps://doi.org/10.1023/a:1015561807144openalex-snapshot
The Mathematical Role of Time and Space-Time in Classical Physics
inferred← citeshttps://doi.org/10.1023/a:1021364916624openalex-snapshot
Comments on `Two Undecidable Problems of Analysis'
inferred← citeshttps://doi.org/10.1023/b:foda.0000014880.52117.f0openalex-snapshot
Gödel, Einstein, Mach: Casting Constraints on All-embracing Concepts
inferred← citeshttps://doi.org/10.1038/s41598-019-56804-1openalex-snapshot
Uncomputability and complexity of quantum control
inferred← citeshttps://doi.org/10.1063/1.165879openalex-snapshot
Coupled map lattices as computational systems
inferred← citeshttps://doi.org/10.1063/1.3489096openalex-snapshot
The complexity of proving chaoticity and the Church–Turing thesis
inferred← citeshttps://doi.org/10.1088/1742-6596/624/1/012001openalex-snapshot
Quantumness, Randomness and Computability
inferred← citeshttps://doi.org/10.1093/jigpal/jzl004openalex-snapshot
Undecidability over Continuous Time
inferred← citeshttps://doi.org/10.1098/rspa.2007.1835openalex-snapshot
Experimental computation of real numbers by Newtonian machines
inferred← citeshttps://doi.org/10.1103/physreve.65.016128openalex-snapshot
Computational capabilities of physical systems
inferred← citeshttps://doi.org/10.1103/physrevresearch.2.033312openalex-snapshot
Thermodynamic costs of Turing machines
inferred← citeshttps://doi.org/10.1108/s1529-213420140000018011openalex-snapshot
On an Extension of Rice’s Theorem and its Applications in Mathematical Economics Dedicated to the memory of Professor Saul Fuks (1929–2012).
inferred← citeshttps://doi.org/10.1109/tac.2019.2914968openalex-snapshot
On Algebraic Proofs of Stability for Homogeneous Vector Fields
inferred← citeshttps://doi.org/10.1142/9789812770837_0003openalex-snapshot
Janus–Faced Physics: On Hilbert's 6th Problem
inferred← citeshttps://doi.org/10.1142/9789814327756_0008openalex-snapshot
Indeterminism and Randomness Through Physics
inferred← citeshttps://doi.org/10.1142/9789814374309_0017openalex-snapshot
Blueprint for a Hypercomputer
inferred← citeshttps://doi.org/10.1142/s0219025798000107openalex-snapshot
Extension of the Dynamics of Unstable Systems
inferred← citeshttps://doi.org/10.1142/s1793005712400017openalex-snapshot
TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS
inferred← citeshttps://doi.org/10.1145/3545945.3569742openalex-snapshot
Theoretical Computer Science Education from Impossibility and Undecidability Problems in Physics
inferred← citeshttps://doi.org/10.1145/3803400.3809304openalex-snapshot
Teaching Theory of Computation in the STEM K-12 Curricula Through Impossibility and Undecidability Problems
inferred← citeshttps://doi.org/10.1515/9783110883237.2069openalex-snapshot
New spectral representations of mixing dynamical systems
inferred← citeshttps://doi.org/10.2307/420948openalex-snapshot
European Summer Meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.3233/fi-2009-0043openalex-snapshot
Modelling of Complex Systems: Systems as Dataflow Machines
inferred← citeshttps://doi.org/10.3390/e26030194openalex-snapshot
Principled Limitations on Self-Representation for Generic Physical Systems
inferred← citeshttps://doi.org/10.3390/encyclopedia2030103openalex-snapshot
Undecidability and Quantum Mechanics
inferred← citeshttps://doi.org/10.3390/math13233851openalex-snapshot
How Far Can We Trust Chaos? Extending the Horizon of Predictability
inferred← citeshttps://doi.org/10.3390/universe8010040openalex-snapshot
Fundamental Physics and Computation: The Computer-Theoretic Framework
inferred← citeshttps://doi.org/10.36253/979-12-215-0778-2.13openalex-snapshot
Random sequences, incompleteness and information
inferred← citeshttps://doi.org/10.3917/herm.franc.2007.02.0357openalex-snapshot
Chaos Systèmes Dynamiques
inferred← citeshttps://doi.org/10.4000/philosophiascientiae.528openalex-snapshot
Des fondements vers l’avant. Sur la rationalité des mathématiques et des sciences formalisées
inferred← citeshttps://doi.org/10.4337/9781781952665.00009openalex-snapshot
A Computable Economist’s Perspective on Computational Complexity
inferred← citeshttps://doi.org/10.47538/ra-2022.v1n2-05openalex-snapshot
OS TEOREMAS DE INCOMPLETUDE DE GÖDEL E A CONJECTURA DE GOLDBACH
inferred← citeshttps://doi.org/10.47661/afcl.v12i24.22259openalex-snapshot
O Espa\c{c}o em Arist\'oteles: da bidimensionalidade do topos \`as seis diastaseis que definem os animais
inferred← citeshttps://doi.org/10.48550/arxiv.2311.00908openalex-snapshot
How Real is Incomputability in Physics?
inferred← citeshttps://doi.org/10.48550/arxiv.cmp-lg/9804005openalex-snapshot
On the existence of certain total recursive functions in nontrivial axiom systems, I
inferred← citeshttps://doi.org/10.48550/arxiv.math-ph/0411071openalex-snapshot
Prime Number Diffeomorphisms, Diophantine Equations and the Riemann Hypothesis
inferred← citeshttps://doi.org/10.48550/arxiv.math/0006079openalex-snapshot
On the consistency of $P=NP$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment
inferred← citeshttps://doi.org/10.5007/%xopenalex-snapshot
O enfoque sociológico da teoria e prática do Direito
inferred← citeshttps://doi.org/10.5007/1808-1711.2011v15n1p7openalex-snapshot
On the Philosophical Import of Some Accomplishments of Newton da Costa DOI: 10.5007/1808-1711.2011v15n1p7
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.