Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Minds and Machines
Erschienen in: Minds and Machines 4/2017

24.11.2017 | Commentary

Commentary on Bringsjord on P = NP

Erschienen in: Minds and Machines | Ausgabe 4/2017

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Excerpt

The authors use the phrase “solves in a polynomial number of steps” in a polysemous fashion. Specifically, the term “solves” is used in at least two different capacities—with two different types, so to speak. In the first case, the left domain of the solves  predicate is physical phenomena, and in the second case it is Turing machines. The authors need to distinguish these senses, say, by indexing them as \({\textit{solves}}_1\) and \({\textit{solves}}_2\). Doing so would help to bring out the main flaw of their argument, which is this: What it means for a macroscopic physical process to solve a problem in a polynomial number of steps is very different from what it means for a digital computer—such as a Turing machine—to solve a problem in a polynomial number of steps. …
Vorheriger Artikel An Argument for P=NP
Nächster Artikel Tolerating the Barcan Formula, and Refining Digital Physics: Reply to Arkoudas

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Fußnoten
1
Perhaps all our intuitions are vague and subjective, but more so for modal notions. If determining truth in this world is elusive, how much more elusive must it be to ponder it in “possible” or “possibly possible” worlds? Who is to pronounce what is logically possible or necessary? Kripke has famously argued that it is logically necessary that every person has the parents that he or she has, so that in every possible world you and I have the exact same parents that we have in this world, because that is part of our essence. But different people have radically different intuitions on such matters; how can we adjudicate?
 
2
A number of widely divergent analyses have been offered, but none manages to combine clarity with prima facie plausibility.
 
3
For instance, see Hughes and Cresswell (1996, p. 243).
 
4
We can ignore accessibility relations, since they are not necessary for the semantics of S5.
 
Literatur
Fales, E. (1990). Causation and universals. London: Routledge.
Hughes, G. E., & Cresswell, M. J. (1996). A new introduction to modal Logic. London, England: Routledge.CrossRefMATH
Kripke, S. (1963). Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 83–94.MathSciNetMATH
Kripke, S. (1972). Naming and necessity. In D. Davidson & G. Harman (Eds.), Semantics of natural language (pp. 253–355). Dordrecht: Reidel.CrossRef
Menzel, C. (1990). Actualism, ontological commitment, and possible worlds semantics. Synthese, 85, 355–389.MathSciNetCrossRef
Shoemaker, S. (1998). Causal and metaphysical necessity. Pacific Philosophical Quarterly, 79, 59–77.CrossRef
Swoyer, C. (1982). The nature of natural laws. Australasian Journal of Philosophy, 60, 203–223.CrossRef
Metadaten
Titel
Commentary on Bringsjord on P = NP
Publikationsdatum
24.11.2017
Verlag
Springer Netherlands
Erschienen in
Minds and Machines / Ausgabe 4/2017
Print ISSN: 0924-6495
Elektronische ISSN: 1572-8641
DOI
https://doi.org/10.1007/s11023-017-9452-3

Weitere Artikel der Ausgabe 4/2017

Minds and Machines 4/2017 Zur Ausgabe

EditorialNotes

Minds and Machines Special Issue: Ethics and Artificial Intelligence

OriginalPaper

An Argument for P=NP

OriginalPaper

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

OriginalPaper

The Political Economy of Death in the Age of Information: A Critical Approach to the Digital Afterlife Industry

OriginalPaper

Ethical Issues for Autonomous Trading Agents

Report

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

Premium Partner

    Bildnachweise