On Play by Means of Computing Machines .A Theory of Higher Order Probabilities.Knowledge and Efficient Computation.Realizability Semantics for Error-Tolerant Logics

William J. Rapaport; Nimrod Megiddo; Avi Wigderson; Haim Gaifman; Silvio Micali; John C. Mitchell; Michael J. O'Donnell

doi:10.2307/2274561

On Play by Means of Computing Machines .A Theory of Higher Order Probabilities.Knowledge and Efficient Computation.Realizability Semantics for Error-Tolerant Logics [Book Review]

William J. Rapaport, Nimrod Megiddo, Avi Wigderson, Haim Gaifman, Silvio Micali, John C. Mitchell & Michael J. O'Donnell

Journal of Symbolic Logic 53 (2):669 (1988)

Authors	William J. Rapaport State University of New York, Buffalo
Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic Logics in Logic and Philosophy of Logic (categorize this paper)
DOI	10.2307/2274561
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 71,379

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On Second Order Probabilities and the Notion of Epistemic Risk.Nils-Eric Sahlin - unknown

A Consistent Set of Infinite-Order Probabilities.David Atkinson & Jeanne Peijnenburg - 2013 - International Journal of Approximate Reasoning 54:1351-1360.

Vagueness, Uncertainty and Degrees of Clarity.Paul Égré & Denis Bonnay - 2010 - Synthese 174 (1):47 - 78.

The Evaluation of Method: A Hierarchy of Probabilities Among Probabilities.Keith Lehrer - 1981 - Grazer Philosophische Studien 12 (1):131-141.

Computing Machines.Wilfried Sieg & Rossella Lupacchini - unknown

Biased Coins: A Model for Higher-Order Probabilities.Jeanne Peijnenburg & David Atkinson - 2014 - In Maria Clara Galavotti, Elisabeth Nemeth & Friedrich Stadler (eds.), European Philosophy of Science: Philosophy of Science in Europe and the Vienna Heritage. Springer. pp. 241-248.

Semantics of Information as Interactive Computation.Gordana Dodig-Crnkovic - 2008 - Proceedings of the Fifth International Workshop on Philosophy and Informatics 2008.

The Interactive Nature of Computing: Refuting the Strong Church–Turing Thesis. [REVIEW]Dina Goldin & Peter Wegner - 2008 - Minds and Machines 18 (1):17-38.

Physical Computation: How General Are Gandy’s Principles for Mechanisms?B. Jack Copeland & Oron Shagrir - 2007 - Minds and Machines 17 (2):217-231.

Axiomatizing Higher-Order Kleene Realizability.Jaap van Oosten - 1994 - Annals of Pure and Applied Logic 70 (1):87-111.

Real Computation.Georg Philipp Schwarz - 1995 - Dissertation, University of California, San Diego

Significance of Models of Computation, From Turing Model to Natural Computation.Gordana Dodig-Crnkovic - 2011 - Minds and Machines 21 (2):301-322.

Abstract Valuation Semantics.Carlos Caleiro & Ricardo Gonçalves - 2013 - Studia Logica 101 (4):677-712.

Explaining Computation Without Semantics: Keeping It Simple.Nir Fresco - 2010 - Minds and Machines 20 (2):165-181.

Philosophy and Theory of Artificial Intelligence.Vincent Müller (ed.) - 2013 - Springer.

Analytics

Added to PP index
2015-02-05

Total views
20 ( #560,565 of 2,519,695 )

Recent downloads (6 months)
1 ( #406,314 of 2,519,695 )

How can I increase my downloads?

Downloads