Computability in Context: Computation and Logic in the Real World

& (eds.)
World Scientific (2011)
  Copy   BIBTEX

Abstract

Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions ...

Categories

Keywords

Reprint years

Call number

QA9.59.C655 2011

ISBN(s)

9781848162457   1848162456

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

External links

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

Through your library

My notes

Chapters

Computation, Information, and the Arrow of Time.Pieter Adriaans, Peter van Emde Boas & Fnwi Illc
Reverse mathematics and well-ordering principles.Michael Rathjen & Andreas Weiermann
The Ershov Hierarchy.Marat M. Arslanov
The mathematics of computing between logic and physics.Giuseppe Longo & Thierry Paul
Experiments on an Internal Approach to Typed Algorithms in Analysis.  (pages 297)Dag Normann
Discrete transfinite computation models.  (pages 375--414)Philip D. Welch

Similar books and articles

Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Computability, an introduction to recursive function theory.Nigel Cutland - 1980 - New York: Cambridge University Press.
Concrete Digital Computation: What Does it Take for a Physical System to Compute? [REVIEW]Nir Fresco - 2011 - Journal of Logic, Language and Information 20 (4):513-537.
Review: Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics ; Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding. [REVIEW]Carlos Augusto Priscdio - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
Computation and hypercomputation.Mike Stannett - 2003 - Minds and Machines 13 (1):115-153.
Computation and automata.Arto Salomaa - 1985 - New York: Cambridge University Press.
Domains for computation in mathematics, physics and exact real arithmetic.Abbas Edalat - 1997 - Bulletin of Symbolic Logic 3 (4):401-452.
New computational paradigms: changing conceptions of what is computable.S. B. Cooper, Benedikt Löwe & Andrea Sorbi (eds.) - 2008 - New York: Springer.
Alan Turing and the foundations of computable analysis.Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (3):394-430.
Theory of Computation.George J. Tourlakis - 2012 - Hoboken, N.J.: Wiley.
Logic and computation: interactive proof with Cambridge LCF.Lawrence C. Paulson - 1987 - New York: Cambridge University Press.
Degrees of Unsolvability of Continuous Functions.Joseph S. Miller - 2004 - Journal of Symbolic Logic 69 (2):555 - 584.
A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.
Two dogmas of computationalism.Oron Shagrir - 1997 - Minds and Machines 7 (3):321-44.

Analytics

Added to PP
2010-10-14

Downloads
26 (#623,519)

6 months
4 (#837,857)

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