Skip to main content
SpringerLink
Log in

Tolerating the Barcan Formula, and Refining Digital Physics: Reply to Arkoudas

  • Published:
Minds and Machines Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Notes

  1. I e.g. have soulmates in Linsky and Zalta (1996).

  2. I do in fact agree that this pair is customarily part of digital-physics doctrine, but these theses needn’t be discussed here.

  3. Hitori is in fact NP-complete in the usual Turing-machine sense. See (Hearn and Demaine 2009).

References

  • Bringsjord, S. (1985). Are there set-theoretic worlds? Analysis, 45(1), 64.

    Article  MathSciNet  MATH  Google Scholar 

  • Gödel, K. (1949). An example of a new type of cosmological solutions of Einstein’s field equations of gravitation. Reviews of Modern Physics 21, 447–450. This paper is reprinted in Feferman et al. (Eds.), Kurt Gödel Collected Works, Vol. II. Oxford, UK: Oxford University Press 1990.

  • Hearn, R., & Demaine, E. (2009). Games, Puzzles, & Computation. Wellesley, MA: A K Peters.

    MATH  Google Scholar 

  • Linsky, B., & Zalta, E. (1996). In defense of the contingently nonconcrete. Philosophical Studies, 84, 283–294.

    Article  MathSciNet  Google Scholar 

  • Post, E. (1936). Finite combinatory processes—formulation 1. Journal of Symbolic Logic, 1(3), 103–105.

    Article  MATH  Google Scholar 

  • Turing, A. M. (1937). On computable numbers with applications to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42, 230–265.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Troy, MI, USA

    Selmer Bringsjord

Authors
  1. Selmer Bringsjord
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Selmer Bringsjord.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bringsjord, S. Tolerating the Barcan Formula, and Refining Digital Physics: Reply to Arkoudas. Minds & Machines 27, 679–682 (2017). https://doi.org/10.1007/s11023-017-9453-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11023-017-9453-2

Search

Navigation