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.
Описание: rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.
Автор: Fred Wilson Название: Explanation, Causation and Deduction ISBN: 9401088187 ISBN-13(EAN): 9789401088183 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In recent years, however, this three-fold identity has been challenged: there are, it is argued, causal explanations that are not scientific, scientific explanations that are not deductive, deductions from laws that are neither causal explanations nor scientific explanations, and causal explanations that involve no deductions from laws.
Автор: Renate Schmidt Название: Automated Deduction – CADE-22 ISBN: 3642029582 ISBN-13(EAN): 9783642029585 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 22nd International Conference on Automated Deduction Montreal Canada August 27 2009 Proceedings. .
Описание: Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Автор: Francisco Botana; Tomas Recio Название: Automated Deduction in Geometry ISBN: 354077355X ISBN-13(EAN): 9783540773559 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. This book presents 13 revised full papers.
Автор: ?mile Meyerson; David A. Sipfle; Mary-Alice Sipfle Название: The Relativistic Deduction ISBN: 9401088055 ISBN-13(EAN): 9789401088053 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Meyerson captures our sympathy in all his writings: " . If logic - and to Meyerson the epistemologist is logician - is to understand reason, then "logic proceeds a posteriori.
Автор: Mark E. Stickel Название: 10th International Conference on Automated Deduction ISBN: 3540528857 ISBN-13(EAN): 9783540528852 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: CADE is the major forum for research on all aspects of automated deduction. This title constitutes the proceedings of CADE-10.
Описание: This book introduces an approach that can be used to ground a variety of intelligent systems, ranging from simple fact based systems to highly sophisticated reasoning systems. As the popularity of AI related fields has grown over the last decade, the number of persons interested in building intelligent systems has increased exponentially.
Автор: Harald Ganzinger Название: Automated Deduction - CADE-16 ISBN: 3540662227 ISBN-13(EAN): 9783540662228 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: J?rg H. Siekmann Название: 8th International Conference on Automated Deduction ISBN: 3540167803 ISBN-13(EAN): 9783540167808 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Amy P. Felty; Aart Middeldorp Название: Automated Deduction - CADE-25 ISBN: 3319214004 ISBN-13(EAN): 9783319214009 Издательство: Springer Рейтинг: Цена: 11180.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
