Some Constraints on the Physical Realizability of a Mathematical Construction

Part of the Studies in Applied Philosophy, Epistemology and Rational Ethics book series (SAPERE, volume 7)

Abstract

Mathematical constructions of abstract entities are normally done disregarding their actual physical realizability. The definition and limits of the physical realizability of these constructions are controversial issues at the moment and the subject of intense debate.

In this paper, we consider a simple and particular case, namely, the physical realizability of the enumeration of rational numbers by Cantor’s diagonalization by means of an Ising system.

We contend that uncertainty in determining a particular state in an Ising system renders impossible to have a reliable implementation of Cantor’s diagonal method and therefore a stronger physical system is required. We also point out what are the particular limitations of this system from the perspective of physical realizability.

Keywords

Diagonalization Ising systems Physical Implementation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Boolos, G.S., Burgess, J.P., Jeffrey, R.C.: Computability and Logic. Cambridge Univ. Press, New York (2007)MATHCrossRefGoogle Scholar
  2. 2.
    Cantor, G.: Contributions to the Founding of the Theory of Transfinite Number. Dover, New York (1915)Google Scholar
  3. 3.
    Chalmers, D.: On Implementing a Computation. Mind and Machines 4, 391–402 (1994)CrossRefGoogle Scholar
  4. 4.
    Kintchin, A.: Mathematical Foundations of Information Theory. Dover, London (1963)Google Scholar
  5. 5.
    Parisi, G.: Statistical Field Theory. In: Frontiers in Physics. Addison-Wesley Publishing Company (1988)Google Scholar
  6. 6.
    Rosen, R.: Church’s thesis and its relation to the concept of realizability in biology and physics. Bulletin of Mathematical Biology 24, 375–393 (1962)MATHGoogle Scholar
  7. 7.
    Petersen, I., Shaiju, A.: A Frequency Domain Condition for the Physical Realizability of Linear Quantum Systems. IEEE Transactions on Automatic Control (9) (2012)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  1. 1.School of ScienceUNAMMexico CityMexico
  2. 2.Institute for Applied MathematicsUNAMMexico CityMexico

Personalised recommendations