Top

Minds and Machines

Published in:

23-11-2017

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

Author: Selmer Bringsjord

Published in: Minds and Machines | Issue 4/2017

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Excerpt

I’m indebted to Arkoudas for helping refine my argument, accomplished in short order via the following rejoinders. …

previous article Commentary on Bringsjord on P = NP

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

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

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

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

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

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

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

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

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

Title: Tolerating the Barcan Formula, and Refining Digital Physics: Reply to Arkoudas
Author: Selmer Bringsjord
Publication date: 23-11-2017
Publisher: Springer Netherlands
Published in: Minds and Machines / Issue 4/2017
Print ISSN: 0924-6495
Electronic ISSN: 1572-8641
DOI: https://doi.org/10.1007/s11023-017-9453-2

Springer Professional

Excerpt

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 4/2017

Reframing AI Discourse

Minds and Machines Special Issue: Ethics and Artificial Intelligence

Ethical Issues for Autonomous Trading Agents

When Morals Ain’t Enough: Robots, Ethics, and the Rules of the Law

An Argument for P=NP

Trusting Digital Technologies Correctly

Premium Partner