
Título: The Universal Computer: The Road from Leibniz to Turing
Autor: Martin Davis
Sinopse: Computers rely on such things as semiconductors, memory chips, and electricity. But they also rely on a hard-won body of scientific knowledge that has enabled the now-ubiquitous devices to perform complex calculations, multitask, and even play a game of solitaire. Martin Davis, a fluent interpreter of mathematics and philosophy, locates the source of this knowledge in the work of the remarkable German thinker G. W. Leibniz, who, among other accomplishments, was a distinguished jurist, mining engineer, and diplomat but found time to invent a contraption called the "Leibniz wheel," a sort of calculator that could carry out the four basic operations of arithmetic. Leibniz subsequently developed a method of calculation called the calculus raciocinator, an innovation his successor George Boole extended by, in Davis's words, "turning logic into algebra." (Boole emerges as a deeply sympathetic character in Davis's pages, rather than as the dry-as-dust figure of other histories. He explained, Davis reports, that he had turned to mathematics because he had so little money as a student to buy books, and mathematics books provided more value for the money because they took so long to work through.) Davis traces the development of this logic, essential to the advent of "thinking machines," through the workshops and studies of such thinkers as Georg Cantor, Kurt Gödel, and Alan Turing, each of whom puzzled out just a little bit more of the workings of the world--and who, in the bargain, made the present possible. - Gregory McNamee
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “The Universal Computer: The Road from Leibniz to Turing”, de Martin Davis, publicado pela editora CRC Press, em 2011 e com 223 páginas, integra a categoria Livros Variados. Por isso, autoria, edição e tema acabam tendo ainda mais peso na forma de apresentar o livro.
Editora: CRC Press
Páginas: 223
Ano: 2011
Edição:
Linguagem: pt_BR
ISBN:
ISBN13: 9781466505193
Sobre a editora
Os livros da editora CRC Press apresentam uma leitura densa e focada em áreas técnicas e científicas, com ênfase em temas como ciências da vida, engenharia, matemática aplicada e ciências da computação. A experiência de leitura tende a ser informativa e detalhada, com textos que combinam rigor teórico e aplicações práticas, muitas vezes voltados para profissionais, pesquisadores e estudantes avançados. O tom é predominantemente formal e didático, privilegiando a clareza na exposição de conceitos complexos e dados técnicos. O catálogo revela uma predominância de obras que abordam desde fundamentos até avanços recentes, com formatos que incluem guias práticos, compêndios e referências especializadas. Há obras que exploram tanto aspectos teóricos, como modelagem matemática e física, quanto aplicações em áreas como medicina, toxicologia, segurança digital e engenharia de alimentos.
