Computability: Turing, Goedel, Church, and beyond

Main
Mathematics
Computability: Turing, Goedel, Church,...

Computability: Turing, Goedel, Church, and beyond

Copeland B.J., et al. (eds.)

5.0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

წელი:

2013

გამომცემლობა:

MIT

ენა:

english

გვერდები:

372

ISBN 10:

0262018993

ISBN 13:

9780262018999

ფაილი:

PDF, 1.43 MB

IPFS:

,

english, 2013

ონლაინ წაკითხვა

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson — The Turing Guide

B. Jack Copeland, Carl J. Posy, Oron Shagrir — Computability: Turing, Gödel, Church, and Beyond

Ernest Nagel, James R. Newman, Douglas R. Hofstadter — Goedel's Proof: With a foreword by D.R. Hofstadter

Sieg Wilfried — Godel on Computability

S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.) — New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

Stephen C Kleene — Turing's Analysis of Computability and Major Applications of it (Oxford

S. Barry Cooper, J. van Leeuwen — Alan Turing: His Work and Impact

S. Barry Cooper; J. van Leeuwen — Alan Turing: His Work and Impact

Apostolos Syropoulos — Hypercomputation: Computing Beyond the Church-Turing Barrier

Desconocido — New Computational Paradigms Changing Conceptions Of What Is Computable

S.Barry Cooper and Andrew Hodges — The once and future turing computing the world

Juris Hartmanis — Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Rod Downey — Turing's Legacy: Developments from Turing's Ideas in Logic

Michael E. Cuffaro (Editor), Samuel C. Fletcher (Editor) — Physical Perspectives on Computation, Computational Perspectives on Physics

William J. Rapaport — Philosophy of Computer Science: An Introduction to the Issues and the Literature

Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.) — New Computational Paradigms: Changing Conceptions of What is Computable

Cristian S Calude — The Human Face of Computing

S. Barry Cooper, Andrea Sorbi — Computability in Context: Computation and Logic in the Real World

Cooper S.B., Sorbi A. (eds.) — Computability in context. Computation and logic in the real world

Klaus Mainzer — The Digital and the Real World: Computational Foundations of Mathematics, Science, Technology, and Philosophy

Adam Olszewski, Jan Wolenski, Robert Janusz (eds.) — Church's Thesis After 70 Years

Adam Olszewski (editor); Jan Wolenski (editor); Robert Janusz (editor) — Church's Thesis After 70 Years

Andrew Hodges (auth.), Rolf Herken (eds.) — The Universal Turing Machine A Half-Century Survey

Eugenio G. Omodeo, Alberto Policriti (eds.) — Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Juliet Floyd, Alisa Bokulich (eds.) — Philosophical Explorations of the Legacy of Alan Turing: Turing 100

Eric Allender (auth.), Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (eds.) — Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

Jacques Dubucs, Michel Bourdeau, (eds.) — Constructivity and Computability in Historical and Philosophical Perspective

Song Y. Yan. — An introduction to formal languages and machine computation

Hector Zenil — A Computable Universe: Understanding and Exploring Nature as Computation

საკვანძო ფრაზები