000449341 000__ 02334cam\a2200373\a\4500 000449341 001__ 449341 000449341 005__ 20210513155106.0 000449341 006__ m\\\\\o\\d\\\\\\\\ 000449341 007__ cr\cn\nnnunnun 000449341 008__ 120924s2012\\\\flua\\\\ob\\\\000\0\eng\d 000449341 010__ $$z 2011039841 000449341 020__ $$a9781466505209$$q(electronic book) 000449341 020__ $$z9781466505193 000449341 035__ $$a(OCoLC)ocn773034282 000449341 035__ $$a(CaPaEBR)ebr10522552 000449341 035__ $$a(MiAaPQ)EBC4634139 000449341 040__ $$aCaPaEBR$$cCaPaEBR 000449341 05014 $$aQA76.17$$b.D38 2012eb 000449341 08204 $$a004$$223 000449341 1001_ $$aDavis, Martin,$$d1928- 000449341 24514 $$aThe universal computer$$h[electronic resource] :$$bthe road from Leibniz to Turing /$$cMartin Davis. 000449341 250__ $$aTuring centenary ed. 000449341 260__ $$aBoca Raton, Fla. :$$bCRC Press,$$c2012. 000449341 300__ $$a1 online resource (xiv, 216 p.) :$$bill. 000449341 504__ $$aIncludes bibliographical references. 000449341 5050_ $$aLeibniz's dream -- Boole turns logic into algebra -- Frege : from breakthrough to despair -- Cantor : detour through infinity -- Hilbert to the rescue -- Godel upsets the applecart -- Turing conceives of the all-purpose computer -- Making the first universal computers -- Beyond Leibniz's dream -- Epilogue -- Notes. 000449341 506__ $$aAccess limited to authorized users. 000449341 520__ $$aThe breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age -- the logicians. The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor, Hilbert, and Godel, before turning to Turing. 000449341 588__ $$aDescription based on print version record. 000449341 650_0 $$aElectronic digital computers$$xHistory. 000449341 77608 $$iPrint version:$$aDavis, Martin, 1928-$$tUniversal computer.$$bTuring centenary ed.$$dBoca Raton, FL : CRC Press, c2012$$z9781466505193$$w(DLC) 2011039841$$w(OCoLC)756596194 000449341 8520_ $$bacq 000449341 85280 $$bebk$$hProQuest Ebook Central 000449341 85640 $$3ProQuest Ebook Central$$uhttps://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=4634139$$zOnline Access 000449341 909CO $$ooai:library.usi.edu:449341$$pGLOBAL_SET 000449341 980__ $$aEBOOK 000449341 980__ $$aBIB 000449341 982__ $$aEbook 000449341 983__ $$aOnline