Abstract
We summarize in an intuitive vein a few recent results by the authors on the incompleteness of elementary real analysis and its consequences to the axiomatized sciences, from chaos theory to the dynamics of populations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Albeverio, J. E. Fenstad, R. Hoegh-Krohn, T. Lindstrom, Nonstandard Methods in Stochastic Analysis and Mathematical Physics, Academic Press (1986).
V. I. Amol’d, “Problems of Present Day Mathematics”, XVII (Dynamical systems and differential equations), Proc. Symp. Pure Math. 28, 59 (1976).
J. L. Bell, Boolean-Valued Models and Independence Proofs in Set Theory, Clarendon Press (1985).
M. Black, the nature of mathematics, Littlefield, Adam and Co. (1959).
R. Chuaqui, Truth, Possibility and Probability: New Logical Foundations of Probability and Statistical Inference, North-Holland (1991).
N. C. A. da Costa and R. Chuaqui, Erkenntnis 29, 95 (1988).
N. C. A. da Costa and F. A. Doria, Int. J. Theor. Phys. 30, 1041 (1991).
N. C. A. da Costa and F. A. Doria, Found. Phys. Letters 4, pp. 363 (1991).
N. C. A. da Costa and F. A. Doria, Philosophica 50, 901 (1992).
N. C. A. da Costa and F. A. Doria, “Suppes Predicates for Classical Physics”, in J. Echeverría et al., The Space of Mathematics, Walter de Gruyter, Berlin-New York (1992).
N. C. A. da Costa and F. A. Doria, “On the Existence of Very Difficult Satisfiability Problems”, Bulletin of the Section of Logic, (University of Lodz) 21, # 4, 122–133 (1992).
N. C. A. da Costa and F. A. Doria, Metamathematics of Physics.
N. C. A. da Costa and F. A. Doria, “Suppes Predicates and the Construction of Unsolvable Problems in the Axiomatized Sciences”, P. Humphreys, ed., Patrick Suppes, Scientific Philosopher, II, Kluwer (1994).
N. C. A. da Costa and F. A. Doria, “On Amol’d’s Hilbert Symposium Problems”, in G. Gottlob, A. Leitsch, D. Mundici, Proceedings of the 1993 Kurt Gödel Colloquium: Computational Logic and Proof Theory, Lecture Notes in Computer Science 713, Springer (1993).
N. C. A. da Costa and F. A. Doria, “Structures, Suppes Predicates and Boolean-Valued Models in Physics”, to appear in J. Hintikka, ed., Festschrift in Honor of Prof. V. Smirnov on this 60 11 ’ Birthday,Kluwer.
N. C. A. da Costa and F. A. Doria, “An Undecidable Hopf Bifurcation with an Undecidable Fixed Point”, Int. J. Theor. Phys. 33, 1913 (1994).
N. C. A. da Costa and F. A. Doria, “Gödel Incompleteness in Analysis, with an Application to the Forecasting Problem in the Social Sciences”, Philosophia Naturalis 31, 1 (1994).
N. C. A. da Costa and F. A. Doria, “Gödel incompleteness, explicit expressions for complete arithmetic degrees, and applications”, to appear in Complexity (1995).
N. C. A. da Costa, F. A. Doria and A. F. Furtado do Amaral, Int. J. Theor. Phys. 32, 2187 (1993).
N. C. A. da Costa, F. A. Doria and J. A. de Barros, Int. J. Theor. Phys. 29, 935 (1990).
N. C. A. da Costa, F. A. Doria and D. Krause, “Metamathematical Results on the Satisfiability Problem”, preprint CETMC-30 (1994).
N. C. A. da Costa, F. A. Doria and M. Tsuji, “The Incompleteness of Finite Games with Nash Equilibria”, preprint CETMC-17 (1992).
N. C. A. da Costa, F. A. Doria, A. F. Furtado do Amaral, J. A. de Barros, Found. Phys. 24, 783 (1994).
M. Davis, “Hilbert’s Tenth Problem is Unsolvable”, in Computability and Unsolvability2 nd edition, Dover (1982).
F. A. Doria, in J. Casti and J. Traub, “On limits”, preprint, Santa Fe Institute (1994).
M. Echenique, ed., Modelos matemdticos de la estructura espacial urbana: aplicaciones en América LatinaSiap, Buenos Aires (1975).
D. Foot, Operational urban modelsMethuen (1981).
N. S. Goel, S. C. Maitra and E. W. Montroll, Rev. Mod. Phys. 44, 231 (1971).
M. Heidegger, “Der Zeitbegriff in der Geschichtswissenschaft”, in Frühe Schriften, Vittorio Klostermann (1972).
M. Hirsch, “The Chaos of Dynamical Systems”, in P. Fischer and W. R. Smith, Chaos Fractals and DynamicsM. Dekker (1985).
J. Horgan, “Is Mathematics Becoming too much like Physics?” Sci. Am., # 2, 269, 14 (1993).
J. Horgan, “Trends in Mathematics: the Death of Proof’, Sci. Am. 269, # 4, 77 (1993).
J. Ladrière, Les limitations internes des formalismesUniv. de Louvain (1959).
A. A. Lewis and Y. Inagaki, “On the effective Content of Theories”, preprint, U. of California at Irvine, School of Social Sciences (1991).
G. Nicolis, I. Prigogine, Self-Organization in Noneguilibrium Systems, Wiley (1977).
H. Rogers Jr., Theory of Recursive Functions and Effective Computability, MacGrawHill (1967).
D. Ruelle and F. Takens, Commun. Math. Phys. 20, 167 (1971).
O. Spengler, Der Untergang des AbendlandesVerlag C. H. Beck (1969).
I. Stewart, Nature 352, 664 (1991).
P. Suppes, Set-Theoretical Structures in Sciencemimeo., Stanford University (1967).
P. Suppes, Scientific Structures and their Representation, preliminary version, Stanford University (1988).
S. Wolfram, Commun. Math. Phys. 96, 15 (1984).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Da Costa, N.C.A., Doria, F.A. (2003). On Some Recent Undecidability and Incompleteness Results in the Axiomatized Sciences. In: Fløistad, G. (eds) Philosophy of Latin America. Contemporary philosophy, vol 8. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-3651-0_13
Download citation
DOI: https://doi.org/10.1007/978-94-017-3651-0_13
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6366-3
Online ISBN: 978-94-017-3651-0
eBook Packages: Springer Book Archive