Oracle hypermachines faced with the verification problem

In Gordana Dodig-Crnkovic Raffaela Giovagnoli (ed.), Computing Nature. pp. 213--223 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Conflict and co-ordination in the aftermath of oracular statements.Mariam Thalos - 1997 - Philosophical Quarterly 47 (187):212-226.
Complexity of the -query Tautologies in the Presence of a Generic Oracle.Toshio Suzuki - 2000 - Notre Dame Journal of Formal Logic 41 (2):142-151.
Generic separations and leaf languages.M. Galota, H. Vollmer & S. Kosub - 2003 - Mathematical Logic Quarterly 49 (4):353.
Falsification of theories without verification of basic statements – an argument for the possibility of knowledge growth.Rainer Willi Maurer - manuscript
The Moral Oracle’s Test.Sven Ove Hansson - 2014 - Ethical Theory and Moral Practice 17 (4):643-651.
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Experimental Methods for Unraveling the Mind-body Problem: The Phenomenal Judgment Approach.Victor Argonov - 2014 - Journal of Mind and Behavior 35 (1-2):51-70.
The logic of success.Kevin Kelly - 2000 - British Journal for the Philosophy of Science 51 (4):639-666.
The Delphic Oracle H. W. Parke: A History of the Delphic Oracle. Pp. viii+457; 8 plates. Oxford: Blackwell, 1939. Cloth, 21s. [REVIEW]A. W. Gomme - 1940 - The Classical Review 54 (03):158-159.
The Delphic Oracle - H. W. Parke and D. E. W. Wormell: The Delphic Oracle. Vol. i: The History; Vol. ii: The Oracular Responses. Pp. x + 436, xxxvi + 271. Oxford: Blackwell, 1956. Cloth, £4. 4 s. net. [REVIEW]W. G. Forrest - 1958 - The Classical Review 8 (01):67-70.
The Oracle at Didyma Joseph Fontenrose: Didyma. Apollo's Oracle, Cult and Companions. Pp. xxi + 282; 3 maps and 11 illustrations. Berkeley, Los Angeles and London: University of California Press, 1988. $40. [REVIEW]Robert Parker - 1989 - The Classical Review 39 (02):270-271.
Towards the Actual Relationship Between NP and Exponential Time.Gerhard Lischke - 1999 - Mathematical Logic Quarterly 45 (1):31-49.
Easy Solutions for a Hard Problem? The Computational Complexity of Reciprocals with Quantificational Antecedents.Fabian Schlotterbeck & Oliver Bott - 2013 - Journal of Logic, Language and Information 22 (4):363-390.
Thinking Inside the Box: Controlling and Using an Oracle AI.Stuart Armstrong, Anders Sandberg & Nick Bostrom - 2012 - Minds and Machines 22 (4):299-324.
Verificationist Theory of Meaning.Markus Schrenk - 2008 - In U. Windhorst, M. Binder & N. Hirowaka (eds.), Encyclopaedic Reference of Neuroscience. Springer.

Analytics

Added to PP
2014-01-26

Downloads
23 (#681,424)

6 months
4 (#787,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references