Sistema de Bibliotecas

Computability / B. Jack Copeland / Massachusetts : The Mit Press (2013)

Público ISBD Vista personalizada Título : Computability : turing, gödel, church, and beyond Tipo de documento: texto impreso Autores: B. Jack Copeland, Autor ; Carl J. Posy, Autor ; Carl J. Posy, Autor ; Carl J. Posy, Autor ; Oron Shagrir, Autor ; Oron Shagrir, Autor ; Oron Shagrir, Autor Mención de edición: Primera edición Editorial: Massachusetts : The Mit Press Fecha de publicación: 2013 Número de páginas: x, 362 páginas Dimensiones: 24 cm ISBN/ISSN/DL: 978-0-262-01899-9 Idioma : Inglés (eng) Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Turing versus gödel on computability and the mind -- Computability and arithmetic -- About and around Computing over the reals -- The Church-Turing "thesis" as a special corollary of gödel's completeness theorem -- Computability and constructibility -- After gödel -- The open texture of computability -- Gödel's philosophical challenge (to Turing) -- Interactive computing and relativized computability -- Why philosophers should care about computational complexity -- Is quantum mechanics falsifiable? A computational perspective on the foundations of quantum mechanics. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=106161 Computability : turing, gödel, church, and beyond [texto impreso] / B. Jack Copeland, Autor ; Carl J. Posy, Autor ; Carl J. Posy, Autor ; Carl J. Posy, Autor ; Oron Shagrir, Autor ; Oron Shagrir, Autor ; Oron Shagrir, Autor  . -  Primera edición . - Massachusetts : The Mit Press, 2013 . - x, 362 páginas ; 24 cm. ISBN : 978-0-262-01899-9 Idioma : Inglés (eng) Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Turing versus gödel on computability and the mind -- Computability and arithmetic -- About and around Computing over the reals -- The Church-Turing "thesis" as a special corollary of gödel's completeness theorem -- Computability and constructibility -- After gödel -- The open texture of computability -- Gödel's philosophical challenge (to Turing) -- Interactive computing and relativized computability -- Why philosophers should care about computational complexity -- Is quantum mechanics falsifiable? A computational perspective on the foundations of quantum mechanics. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=106161 Computability Copeland, B. JackPosy, Carl J. ; Posy, Carl J. ; Posy, Carl J. ; Shagrir, Oron ; Shagrir, Oron ; Shagrir, Oron - - Massachusetts : The Mit Press - 2013 Turing versus gödel on computability and the mind -- Computability and arithmetic -- About and around Computing over the reals -- The Church-Turing "thesis" as a special corollary of gödel's completeness theorem -- Computability and constructibility -- After gödel -- The open texture of computability -- Gödel's philosophical challenge (to Turing) -- Interactive computing and relativized computability -- Why philosophers should care about computational complexity -- Is quantum mechanics falsifiable? A computational perspective on the foundations of quantum mechanics.

Reserva

Reservar este documento

Ejemplares (1)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
23-1999-01	511.352 C77	Libros	Bib. Esp. Ing Sistemas	Estanteria (Libros)	Disponible

---

1 (1 - 1 / 1)