The Universal Computer - The Road from Leibniz to Turing...

Main
Science (General)
The Universal Computer - The Road from...

The Universal Computer - The Road from Leibniz to Turing (Turing Centenary Edition)

Martin Davis

5.0 / 5.0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Kategori:

Science (General)

Tahun:

2011

Edisi:

Turing Centenary Edition

Penerbit:

CRC Press

Bahasa:

english

Halaman:

216

ISBN 10:

1466505206

ISBN 13:

9781466505209

Fail:

PDF, 4.28 MB

IPFS:

,

english, 2011

Baca dalam Talian

Memuat turun (pdf, 4.28 MB)

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

B. Jack Copeland — Alan Turing's Automatic Computing Engine: The Master Codebreaker's Struggle to Build the Modern Computer

Jack Copeland — Turing: Pioneer of the Information Age

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

George Dyson — Turing's Cathedral: The Origins of the Digital Universe

Martin Davis — Engines of logic

George B. Dyson — Darwin Among The Machines: The Evolution Of Global Intelligence

Charles Petzold — The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine

Martin Davis — The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

Martin Davis — Computability and Unsolvability

Davis, Martin — The Universal Computer: The road from Leibniz to Turing

Sara Turing, John F. Turing, Lyn Irvine, Martin Davis — Alan M. Turing: Centenary Edition

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

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

Gregory J. Chaitin — Thinking about Godel and Turing: Essays on complexity, 1970-2007

— The Rise of Modern Logic: from Leibniz to Frege: from Leibniz to Frege

Feferman Solomon — Are There Absolutely Unsolvable Problems - Godel's Dichotomy

A.R.D.Mathias — The Ignorance of Bourbaki

Joan Roselló — From Foundations to Philosophy of Mathematics

Jeffrey M. Binder — Language and the Rise of the Algorithm

Dodig-Crnkovic G. — History of computer science

Jeffrey M. Binder — Language and the Rise of the Algorithm

Guglielmo Ventura, Lara Risegari — Architecture of Modern Mathematics: Essays in History and Philosophy

Gabbay, Dov M — The Rise of Modern Logic

José Ferreirós, Jeremy J. Gray — The Architecture of Modern Mathematics: Essays in History and Philosophy

J. Ferreirós, J. J. Gray — Architecture of Modern Mathematics: Essays in History and Philosophy

Jeffrey M. Binder — Language and the Rise of the Algorithm

Jeffrey M. Binder — Language and the Rise of the Algorithm

Michael Kinyon, Glen van Brummelen — Mathematics and the historian's craft: the Kenneth O. May lectures

Martin Davis — The Universal Computer: The Road from Leibniz to Turing

Mary Tiles — Mathematics and the Image of Reason

Baaz, Matthias;Harper, Jr Charles L.;Papadimitriou, Christos H.;Putnam, Hilary W.;Scott, Dana S — Kurt Goedel and the Foundations of Mathematics Horizons of Truth

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper — Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Jeremy Gray — Plato's Ghost: The Modernist Transformation of Mathematics

Menzler-Trott, Eckart (Author); Craig Smoryński(Translator); Edward Griffor(Translator) — Logic's lost genius - The life of Gerhard Gentzen

Martin Davis — The Universal Computer. The Road from Leibniz to Turing

Jeremy Gray — Plato's Ghost: The Modernist Transformation of Mathematics

Michael Kinyon, Glen van Brummelen — Mathematics and the Historian's Craft

Joan Roselló — From Foundations to Philosophy of Mathematics : An Historical Account of Their Development in the XX Century and Beyond

Malpass, Alex — An introduction to the history of philosophical and formal logic: from Aristotle to Tarski

Alex Malpass, Marianna Antonutti Marfori — The History of Philosophical and Formal Logic: From Aristotle to Tarski

Yandell B. — The Honors Class: Hilbert's Problems and Their Solvers

Godehard Link — Formalism and Beyond

Istilah utama