[i][c]
Davis, Martin D.
Engines of Logic. Mathematicians and the Origin of the Computer
Norton Press
New York 2000
ISBN: 9780393322293
Cover
#logica #matematica #informatica
ig01#logica ig01#matematica ig01#informatica
ig02#logica ig02#matematica ig02#informatica

Privacy Policy

  [i][c] INDICE:
0.09Preface
0.11Introduction
3Chapter One:Leibniz's Dream
      Leibniz's Wonderful Idea
      Paris
      Hanover
      The Universal Characteristic
21Chapter Two:Boole Turns Logic into Algebra
      George Boolle's Hard Life
      George Boole's Algebra of Logic
      Boole and Leibniz's Dream
41Chapter Three:Frege: From Breakthrough to Despair
      Frege's Begriffsschrift
      Frege Invents Formal Syntax
      Why Bertrand Russell's Letter Was So Devastating
      Frege and the Philosophy of Language
      Frege and Leibniz's Dream
59Chapter Four:Cantor: Detour through Infinity
      Engineer or Mathematician
      Infinite Sets Come in Different Sizes
      Cantor's Quest for Infinite Numbers
      The Diagonal Method
      Depression and Tragedy
      A Decisive Battle?
83Chapter Five:Hilbert to the Rescue
      Hilbert's Early Triumphs
      Toward a New Century
      Kronecker's Ghost
      Metamathematics
      Catastrophe
107Chapter Six:Gödel Upsets the Applecart
      The Return of Kronecker's Ghost
      Undecidable Propositions
      Kurt Gödel, Computer Programmer
      The Conference aat Königsberg
      Love and Hate
      Hilbert's Dictum
      A Strange Man and a Sad End
139Chapter Seven:Turing Conceives of thee All-Purpose Computer
      A Child of the Empire
      Hilbert's Entscheidungsproblem
      Turing's Analysis of the Computation Process
      Turing Machines in Action
      Turing Applies Cantor's Diagonal Method
      Unsolvable Problems
      Turing's Universal Machine
      Alan Turing in Princeton
      Alan Turing's War
177Chapter Eight:Making the First Universal Computers
      Who Invented the Computer?
            Joseph-Marie Jacquard (1752-1834)
            Charles Babbage (1791-1871)
            Ada Lovelace (1815-1852)
            Claude Shannon (1916-[2001 - ndc])
            Howard Aiken (1900-1973)
            John Atanasoff (1903-1995)
            John Mauchly (1907-1980)
            J. Presper Eckert Jr. (1919-1995)
            Herman Goldstine (1913-[2004 - ndc])
            Earl R. Larson (1911-[2001-ndc])
      John Von Neumann and the More School
      Alan Turing's Ace
      Eckert, Von Neumann, and Turing
      A Grateful Nation Rewards Its Hero
199Chapter Nine:Beyond Leibniz's Dream
      Computers, Brains, and Minds
209Epilogue
211Notes
239References
249Index
257_

 
 [i][c] CRONOLOGIA:
 
 
1600 1600 1700 1700 1800 1800 1900 1900 2000 2000 1650 1750 1850 1950 2050 Davis, Martin D. ( 1928 - ) https://en.wikipedia.org/wiki/Martin_Davis Davis, Martin D. von Leibniz, Gottfried Wilhelm ( 1646.0601 - 1716.1114 ) https://en.wikipedia.org/wiki/Gottfried_Wilhelm_Leibniz von Leibniz, Gottfried Wilhelm Boole, George ( 1815.1102 - 1864.1208 ) https://it.wikipedia.org/wiki/George_Boole Boole, George Frege, Friedrich Ludwig Gottlob ( 1848.1108 - 1925.0726 ) https://it.wikipedia.org/wiki/Gottlob_Frege Frege, Friedrich Ludwig Gottlob Russell, Bertrand Arthur William (Earl Russell, 3rd) ( 1872.0518 - 1970.0202 ) https://en.wikipedia.org/wiki/Bertrand_Russell Russell, Bertrand Arthur William (Earl Russell, 3rd) Cantor, Georg Ferdinand Ludwig Philipp ( 1845.0303 - 1918.0106 ) https://it.wikipedia.org/wiki/Georg_Cantor Cantor, Georg Ferdinand Ludwig Philipp Hilbert, David ( 1862.0123 - 1943.0214 ) https://en.wikipedia.org/wiki/David_Hilbert Hilbert, David Kronecker, Leopold ( 1823.1207 - 1891.1229 ) https://en.wikipedia.org/wiki/Leopold_Kronecker Kronecker, Leopold Gödel, Kurt ( 1906.0428 - 1978.0114 ) https://it.wikipedia.org/wiki/Kurt_G%C3%B6del Opere di Gödel, Kurt ( 1906.0428 - 1978.0114 ) Gödel, Kurt Turing, Alan Mathison ( 1912.0623 - 1954.0607 ) https://en.wikipedia.org/wiki/Alan_Turing Turing, Alan Mathison Jacquard, Joseph-Marie ( 1752.0707 - 1834.0807 ) https://en.wikipedia.org/wiki/Joseph_Marie_Jacquard Jacquard, Joseph-Marie Babbage, Charles ( 1791.1226 - 1871.1018 ) https://it.wikipedia.org/wiki/Charles_Babbage Babbage, Charles Byron King, Countess of Lovelace, Augusta Ada ( 1815.121 - 1852.1127 ) https://it.wikipedia.org/wiki/Ada_Lovelace Byron King, Countess of Lovelace, Augusta Ada Shannon, Claude Elwood ( 1916.043 - 2001.0224 ) https://en.wikipedia.org/wiki/Claude_Shannon Shannon, Claude Elwood Aiken, Howard H. ( 1900.0309 - 1973.0314 ) https://en.wikipedia.org/wiki/Howard_H._Aiken Aiken, Howard H. Atanasoff, John Vincent ( 1903.1004 - 1995.0615 ) https://en.wikipedia.org/wiki/John_Vincent_Atanasoff Atanasoff, John Vincent Mauchly, John William ( 1907.083 - 1980.0108 ) https://it.wikipedia.org/wiki/John_Mauchly Mauchly, John William Eckert, John Adam Presper 'Pres' ( 1919.0409 - 1995.0603 ) https://en.wikipedia.org/wiki/J._Presper_Eckert Eckert, John Adam Presper 'Pres' Goldstine, Herman Heine ( 1913.0913 - 2004.0616 ) https://en.wikipedia.org/wiki/Herman_Goldstine Goldstine, Herman Heine Larson, Earl Richard ( 1911.1218 - 2001.1031 ) https://history.computer.org/pioneers/larson.html Larson, Earl Richard Von Neumann, John ( 1903.1228 - 1957.0208 ) https://en.wikipedia.org/wiki/John_von_Neumann Von Neumann, John 1546.0601 4219.1014 2000



Generato il giorno: 2019-10-14T21:10:07+02:00 (Unix Time: 1571080207)
Precedente aggiornamento il giorno: 2019.1014
Prima registrazione il giorno: 2019.1014
Aggiornato 3 volte
Dimensione approssimata della pagina: 36319 caratteri (body: 34760)
Versione: 1.0.42

Privacy Policy