Undecidability and incompleteness in classical mechanics
- 1 August 1991
- journal article
- Published by Springer Nature in International Journal of Theoretical Physics
- Vol. 30 (8), 1041-1073
- https://doi.org/10.1007/bf00671484
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- A Suppes predicate for general relativity and set-theoretically generic spacetimesInternational Journal of Theoretical Physics, 1990
- On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machinesBulletin of the American Mathematical Society, 1989
- An Introduction to Independence for AnalystsPublished by Cambridge University Press (CUP) ,1987
- Gödel's theorem and informationInternational Journal of Theoretical Physics, 1982
- On a simple definition of computable function of a real variable-with applications to functions of a complex variableMathematical Logic Quarterly, 1975
- Hilbert's Tenth Problem is UnsolvableThe American Mathematical Monthly, 1973
- Abbreviating proofs by adding new axiomsBulletin of the American Mathematical Society, 1971
- On Canonical Forms and SimplificationJournal of the ACM, 1970
- Some recursively unsolvable problems in analysisProceedings of the American Mathematical Society, 1969
- The Decision Problem for Exponential Diophantine EquationsAnnals of Mathematics, 1961