Abstract
An old and important question concerning physical theories has to do with their axiomatization [47]. The sixth problem in Hilbert’s celebrated list of mathematical problems deals with its desirable (or ideal) contours [31]:
This is a preview of subscription content, log in via an institution to check access.
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. Høegh-Krohn, T. Lindstrom. Nonstandard Methods in Stochastic Analysis and Mathematical Physics. Academic Press, 1986.
V. I. Arnol’d. Problems of Present Day Mathematics, XVII (Dynamical systems and differential equations). Proc. Symp. Pure Math. 28, 59, 1976.
W. Arveson. An Invitation to C* Algebras. Springer, 1976.
J. D. Barrow. Phys. Rep 85, 1, 1982.
N. Bourbaki. Theory of Sets. Hermann & Addison-Wesley, 1968.
J. D. Bell. Boolean-Valued Models and Independence Proofs in Set Theory. Clarendon Press, Oxford, 1984.
P. A. Benioff. J. Math. Phys 32, 618, 1976.
P. A. Benioff. J. Math. Phys 32, 629, 1976.
J. Casti. Reality Rules, I and II. John Wiley, 1992.
N. C. A. da Costa and R. Chuaqui. Erkenntnis 29, 95, 1988.
N. C. A. da Costa and F. A. Doria. Suppes Predicates for Classical Physics. In J. EcheverrÃa et al., eds., The Space of Mathematics. de Gruyter, 1992.
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, 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 and the Construction of Unsolvable Problems in the Axiomatized Sciences. In P. Humphreys, ed., Patrick Suppes, Scientific Philosopher, II, Kluwer, 1994.
N. C. A. da Costa and F. A. Doria. On Arnol’d’s Hilbert Symposium Problems. In G. Gottlob, A. Leitsch, D. Mundici, eds., 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. 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, I, 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 and F. A. Doria. From the Halting Function to Set-Theoretic Forcing. Preprint, 1995.
N. C. A. da Costa, F. A. Doria and J. A. de Banos. Int. J. Theor. Phys, 29, 935, 1990.
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, A. F. Furtado do Amaral and J. A. de Barros. Found. of Phys, 24, 783, 1994.
N. C. A. da Costa, F. A. Doria and J. A. de Barros. A Formally Undecidable Statement in Classical Electromagnetic Theory. In C. A. Bertulani and J. Lopes Neto, eds., Encontro de Fisica Teorica do Rio de Janeiro—Homenagem Póstuma ao Prof. Carlos Marcio do Amaral. UFRJ, 1990.
N. C. A. da Costa, E. A. Doria and J. A. de Banos. `Suppes Randomness in Arbitrary Spaces. Preprint, preliminary version, 1990.
E A. Doria. J. Math. Phys, 18, 564, 1977.
F. A. Doria. A Bifurcation Set Associated to the Copy Phenomenon in the Space of Gauge Fields. In G. I. Zapata, ed., Functional Analysis, Holomorphy and Approximation Theory II. North-Holland, 1984.
E A. Doria, S. M. Abrahâo and A. E F. do Amaral. Progr. Theor. Phys, 75, 1440, 1986.
G. G. Emch. Mathematical and Conceptual Foundations of 20th Century Physics. North-Holland, 1984.
J. Guckenheimer and P. Holmes. Nonlinear Oscillations, Dynamical Systems and Bifurcations of Vector Fields. Springer, 1983.
D. Hilbert. Mathematical Problems. In F. E. Browder, ed., Mathematical Developments Arising from the Hilbert Problems. Proc. Symp. Pure Math. 28, AMS, 1976.
M. W. Hirsch. The Chaos of Dynamical Systems. In P. Fischer and W. R. Smith, editors, Chaos, Fractals and Dynamics. Marcel Dekker, 1985.
T. Jech. Set Theory. Academic Press, 1978.
K. Kunen. Set Theory. North-Holland, 1983.
C. A. Lungarzo. Superposition of States in Quantum Logic from a Set-Theoretical Point of View. In A. I. Arruda, N. C. A. da Costa and R. Chuaqui, eds., Mathematical Logic—Proceedings of the First Brazilian Conference, Lecture Notes in Pure and Applied Math. Marcel Dekker, 1976.
D. Ornstein and B. Weiss. Israel J. Math, 14, 185, 1973.
J. C. Oxtoby. Measure and Category. Springer, 1980.
M. B. Pour-El and I. Richards. Adv. Math, 39, 215, 1981.
J. R. Shoenfield. Amer. Math. Monthly, 82, 610, 1975.
R. M. Solovay. Ann. Math, 92, 1, 1970.
I. Stewart. Nature, 352, 664, 1991.
I. Stewart. The Problems of Mathematics, 2nd. ed. Oxford, 1992.
P. Suppes. Introduction to Logic. Van Nostrand, 1957.
P. Suppes. Set-Theoretical Structures in Science, mimeo. Stanford University, 1967.
P. Suppes, Scientific Structures and their Representation, preliminary version. Stanford University, 1988.
F. Trèves. Topological Vector Spaces, Distributions and Kernels. Academic Press, 1967.
A. S. Wightman. Hilbert’s Sixth Problem: Mathematical Treatment of the Axioms of Physics. In E E. Browder, ed., Mathematical Developments Arising from the Hilbert Problems,Proc. Symp. Pure Math. 28 AMS, 1976
S. Wolfram. Commun. Math. Phys,96 15, 1984.
J. D. Maitland Wright. Bull. AMS, 79, 1247, 1973.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
da Costa, N.C.A., Doria, F.A. (1996). Structures, Suppes Predicates, and Boolean-Valued Models in Physics. In: Bystrov, P.I., Sadovsky, V.N. (eds) Philosophical Logic and Logical Philosophy. Synthese Library, vol 257. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8678-8_7
Download citation
DOI: https://doi.org/10.1007/978-94-015-8678-8_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4762-5
Online ISBN: 978-94-015-8678-8
eBook Packages: Springer Book Archive