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.
Автор: Allison Henry E. Название: Kant`s Transcendental Deduction: An Analytic-Historical Commentary ISBN: 0198724861 ISBN-13(EAN): 9780198724865 Издательство: Oxford Academ Рейтинг: Цена: 49090.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Henry E. Allison presents an analytical and historical account of Kant`s transcendental deduction of the pure concepts of the understanding in the Critique of Pure Reason. He traces the line of thought that led Kant to a recognition of the need for transcendental deduction, and defends Kant`s `non-contingency thesis` and `non-separability thesis`.
Автор: Amy P. Felty; Aart Middeldorp Название: Automated Deduction - CADE-25 ISBN: 3319214004 ISBN-13(EAN): 9783319214009 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.
Автор: Wolfgang Bibel; R. Kowalski Название: Automated Deduction CADE 5 ISBN: 3540100091 ISBN-13(EAN): 9783540100096 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Ewing Lusk; Ross Overbeek Название: Automated Deduction - CADE 10 (9) ISBN: 354019343X ISBN-13(EAN): 9783540193432 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Andrei Voronkov Название: Automated Deduction - CADE-18 ISBN: 3540439315 ISBN-13(EAN): 9783540439318 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the proceedings of the 18th International Conference on Automated Deduction, held in Denmark in 2002. The 27 full papers and 10 system descriptions cover proofcarrying code and compiler verifications, non-classical logics, system descriptions, SAT, model generation, CASC and more.
Автор: Michael A. McRobbie; J.K. Slaney Название: Automated Deduction - Cade-13 ISBN: 3540615113 ISBN-13(EAN): 9783540615118 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Deepak Kapur Название: Automated Deduction - CADE-11 ISBN: 3540556028 ISBN-13(EAN): 9783540556022 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume contains the papers presented at the 11th International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, New York, in June 1992. Topics covered include: resolution; term writing; natural deduction; parallel theorem provers; and unification theory.
Автор: Claude Kirchner; Helene Kirchner Название: Automated Deduction - CADE-15 ISBN: 3540646752 ISBN-13(EAN): 9783540646754 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A collection of papers addressing issues in automated deduction and theorem-proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics. Applications are also discussed.
Автор: William McCune Название: Automated Deduction - CADE-14 ISBN: 3540631046 ISBN-13(EAN): 9783540631040 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Presented in this volume are 25 papers taken from the proceedings of an international conference on automated deduction. The papers cover a range of topics including resolution, term rewriting, unification theory, high-order logics, and nonstandard logics.
Автор: Leonardo de Moura Название: Automated Deduction – CADE 26 ISBN: 3319630458 ISBN-13(EAN): 9783319630458 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions.
Автор: Harald Ganzinger Название: Automated Deduction - CADE-16 ISBN: 3540662227 ISBN-13(EAN): 9783540662228 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume constitutes the refereed proceedings of the 16th International Conference on Automated Deduction held in Italy in July 1999. It addresses recent issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
