The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution.
Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schr der, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt G del conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later.
Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.
Автор: Cockshott, Paul; Mackenzie, Lewis M.; Michaelson, Название: Computation and its Limits ISBN: 019872912X ISBN-13(EAN): 9780198729129 Издательство: Oxford Academ Рейтинг: Цена: 5622.00 р. Наличие на складе: Поставка под заказ.
Описание: Although we are entirely unaware of it, computation is central to all aspects of our existences. Every day we solve, or try to solve, a myriad of problems, from the utterly trivial to the bafflingly complex. This book explains why it is possible to do computation and what the ultimate limits of it are, as understood by modern science.
Автор: Piccinini Gualtiero Название: Physical Computation ISBN: 0199658854 ISBN-13(EAN): 9780199658855 Издательство: Oxford Academ Рейтинг: Цена: 10613.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Computation permeates our world, but a satisfactory philosophical theory of what it is has been lacking. Gualtiero Piccinini presents a mechanistic account of what makes a physical system a computing system. He argues that computation does not entail representation or information-processing, although information-processing entails computation.
Автор: Simmons Название: Derivation and Computation ISBN: 0521771730 ISBN-13(EAN): 9780521771733 Издательство: Cambridge Academ Рейтинг: Цена: 21226.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.
Автор: Paulson Название: Logic and Computation ISBN: 0521395607 ISBN-13(EAN): 9780521395601 Издательство: Cambridge Academ Рейтинг: Цена: 8237.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
