Engines of logic

Main
Mathematics
Engines of logic

Engines of logic

Martin Davis

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

A thoroughly enjoyable mix of biographical portraits and theoretical mathematics, full of well-honed anecdotes and telling detail. Softcover.

Kategori:

Tahun:

2001

Edisi:

2

Penerbit:

W. W. Norton & Company

Bahasa:

english

Halaman:

268

ISBN 10:

0393322297

ISBN 13:

9780393322293

Fail:

DJVU, 1.83 MB

IPFS:

,

english, 2001

Baca dalam Talian

Memuat turun (djvu, 1.83 MB)

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

Roman Kossak, Jim Schmerl — The Structure of Models of Peano Arithmetic

John Polkinghorne — Meaning in Mathematics

Yuri Matiyasevich, Martin Davis, Hilary Putnam — Hilbert's tenth problem

John Brockman — The Next Fifty Years: Science in the First Half of the Twenty-First Century

Martin Davis — Engines of Logic: Mathematicians and the Origin of the Computer

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

Martin Davis — Computability and Unsolvability

A. G. Hamilton — Logic for Mathematicians

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

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

Martin Davis (editor) — Solvability, Provability, Definability: The Collected Works of Emil L. Post

Martin Davis — L'ordinateur universel - La route de Leibniz à Turing

E T Bell — Men of Mathematics

Shapiro Stewart — The Oxford Handbook of Philosophy of Mathematics and Logic

Joan Roselló — From Foundations to Philosophy of Mathematics

Charles Petzold — The Annotated Turing

Charles Petzold — The Annotated Turing

www.eBooks-IT.org — www.eBooks-IT.org

Dodig-Crnkovic G. — History of computer science

David Berlinski — The Advent of the Algorithm: The Idea that Rules the World

Morris Kline — Mathematics: The Loss of Certainty

Morris Kline — Mathematics.

Solomon Feferman — In the Light of Logic

Reuben Hersh — What Is Mathematics, Really? (1997)

William Tait — The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History (Logic and Computation in Philosophy)

Solomon Feferman — In the Light of Logic

Michael Hallett — Cantorian Set Theory and Limitation of Size

Marcus Giaquinto — The search for certainty: A philosophical account of foundations of mathematics

John D. Barrow — PI in the Sky: Counting, Thinking, and Being

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

Martin Davis — Engines of logic

Mary Tiles — Mathematics and the Image of Reason

Andrew Irvine, Dov M. Gabbay, Paul Thagard, John Woods — Philosophy of mathematics

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Charles Petzold — The Annotated Turing

Hal Hellman — Great Feuds in Mathematics: Ten of the Liveliest Disputes Ever

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams — What is mathematical logic?

Benacerraf P., Putnam H. (eds.) — Philosophy of Mathematics: Selected Readings

Paul Benacerraf, Hilary Putnam — Philosophy of Mathematics: Selected Readings

Alexander George, Daniel J. Velleman — Philosophies of Mathematics

Shaughan Lavine — Understanding the infinite

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

Istilah utama