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: 93,745

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

Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering? [REVIEW]Uri Pincas - 2011 - Minds and Machines 21 (2):337-359.
GABORIAU, Florent, Edith Stein, philosopheGABORIAU, Florent, Edith Stein, philosophe.Mario Saint-Pierre - 1991 - Laval Théologique et Philosophique 47 (3):453-454.
Theodore Baker, John Gill, and Robert Solovay. Relativizations of the =? question. SIAM journal on computing, vol. 4 , pp. 431–442. - Charles H. Bennett and John Gill. Relative to a random oracle A, PA ≠ NPA ≠ co-NPA with probability 1. SIAM journal on computing, vol. 10 , pp. 96–113. [REVIEW]Neil Immerman - 1986 - Journal of Symbolic Logic 51 (4):1061-1062.
MÉNARD, Camil, VILLENEUVE, Florent, dir., Spiritualité contemporaine. Défis culturels et théologiquesMÉNARD, Camil, VILLENEUVE, Florent, dir., Spiritualité contemporaine. Défis culturels et théologiques. [REVIEW]André Couture - 1998 - Laval Théologique et Philosophique 54 (3):632-634.
Methodology of Computer Science.Timothy Colburn - 2003 - In Luciano Floridi (ed.), The Blackwell guide to the philosophy of computing and information. Blackwell. pp. 318–326.
On existence of complete sets for bounded reducibilities.Valeriy Bulitko & Vadim Bulitko - 2003 - Mathematical Logic Quarterly 49 (6):567-575.
Possession and Pneuma: The Essential Nature of the Delphic Oracle.Peter Green - 2009 - Arion 17 (2):27-47.
Hypercomputation: Computing Beyond the Church-Turing Barrier.Apostolos Syropoulos - 2008 - Springer.
The Initialization Problem in Quantum Computing.Subhash Kak - 1999 - Foundations of Physics 29 (2):267-279.
A Framework for Computing Like Nature.Ron Cottam, Willy Ranson & Roger Vounckx - 2013 - In Gordana Dodig-Crnkovic Raffaela Giovagnoli (ed.), Computing Nature. pp. 23--60.

Analytics

Added to PP
2014-01-26

Downloads
24 (#155,087)

6 months
5 (#1,552,255)

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