Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Titre(s) : Computability [Texte imprimé] : Turing, Gödel, Church, and beyond / edited by Jack Copeland, Carl J. Posy, and Oron Shagrir

Publication : Cambridge : MIT press, cop. 2013

Description matérielle : 1 vol. (X-362 p.) : ill. ; 24 cm

Comprend : Turing versus Gödel on computability and the mind / B. Jack Copeland and Oron Shagrir ; Computability and arithmetic / Martin Davis ; About and around Computing over the reals / Solomon Feferman ; The Church-Turing "thesis" as a special corollary of Gödel's completeness theorem / Saul A. Kripke ; Computability and constructibility / Carl J. Posy ; After Gödel / Hilary Putnam ; The open texture of computability / Stewart Shapiro ; Gödel's philosophical challenge (to Turing) / Wilfried Sieg ; Interactive computing and relativized computability / Robert Irving Soare ; Why philosophers should care about computational complexity / Scott Aaronson ; Is quantum mechanics falsifiable? A computational perspective on the foundations of quantum mechanics / Dorit Aharonov and Umesh V. Vazirani.

Note(s) : Notes bibliogr.

Autre(s) auteur(s) : Copeland, B. Jack (1950-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Posy, Carl J.. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Shagrir, Oron (1961-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Complexité de calcul (informatique)  Voir les notices liées en tant que sujet
Mathématiques -- Philosophie  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.352 (23e éd.) = Fonctions récursives  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9780262018999. - ISBN 0262018993 (rel.). - ISBN 9780262312660 (erroné) (electronic bk.)

Identifiant de la notice  : ark:/12148/cb43635688n

Notice n° :  FRBNF43635688 (notice reprise d'un réservoir extérieur)