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.
Автор: Mertens Stephan, Moore Cristopher Название: The Nature of Computation ISBN: 0199233217 ISBN-13(EAN): 9780199233212 Издательство: Oxford Academ Рейтинг: Цена: 12989.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Why are some problems easy to solve, while others seem nearly impossible? What can we compute with a given amount of time or memory, and what cannot be computed at all? How will quantum physics change the landscape of computation? This book gives a playful and accessible introduction to the deep ideas of theoretical computer science.
Автор: M‚zard, Marc; Montanari, Andrea Название: Information, Physics, and Computation ISBN: 019857083X ISBN-13(EAN): 9780198570837 Издательство: Oxford Academ Рейтинг: Цена: 14731.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A very active field of research is emerging at the frontier of statistical physics, theoretical computer science/discrete mathematics, and coding/information theory. This book sets up a common language and pool of concepts, accessible to students and researchers from each of these fields.
Автор: Norbert Kajler; D.S. Scott Название: Computer - Human Interaction in Symbolic Computation ISBN: 3211828435 ISBN-13(EAN): 9783211828434 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Concentrating on interactive books, computer-aided instruction, and visualization, the contributions range from a description of a framework for authoring and browsing mathematical books to the presentation of techniques. It is aimed at students, researchers, and developers involved in the design and implementation of scientific software.
Автор: Alfonso Miola Название: Design and Implementation of Symbolic Computation Systems ISBN: 354057235X ISBN-13(EAN): 9783540572350 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of research papers that focuses on innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computing, automated reasoning, geometric modelling and automatic programming.
Автор: John Fitch Название: Design and Implementation of Symbolic Computation Systems ISBN: 3540572724 ISBN-13(EAN): 9783540572725 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A series of papers that explores the design and implementation issues of computer algebra. A general theme of the text is the need for interconnections between systems, as no individual system incorporates the range of facilities that users require.
Описание: This volume contains versions of selected papers presented at the Second Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, 1994. It explores the interaction between mathematical computation and indicates further topics that may be concentrated upon.
Автор: Jacques Calmet; Carla Limongelli Название: Design and Implementation of Symbolic Computation Systems ISBN: 3540616977 ISBN-13(EAN): 9783540616979 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text contains four invited contributions surveying the state of the art in a particular subfield or pointing to new research directions, together with 31 revised full papers from a total of some 70 submissions. Many current aspects of mathematical software systems are addressed.
Автор: Jacques Calmet; Jan Plaza Название: Artificial Intelligence and Symbolic Computation ISBN: 3540649603 ISBN-13(EAN): 9783540649601 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers in this volume address aspects of symbolic computation and formal reasoning such as: inductive logic programming; context reasoning; computer algebra; proof theory and theorem proving; algebraic manipulation; formal verification; constraint solving; and knowledge discovery.
Описание: These are the proceedings of the conference "Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics" held at the Department of Mathematics, University of Florida, Gainesville, from November 11 to 13, 1999.
Автор: Jaques Calmet; John A. Campbell; Jochen Pfalzgraf Название: Artificial Intelligence and Symbolic Mathematical Computation ISBN: 3540617329 ISBN-13(EAN): 9783540617327 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 19 papers presented in this text were selected by the programme committee of the Third International Conference on Artificial Intelligence and Symbololic Mathematical Computation. Topics addressed include theorem proving, rewriting systems, symbolic computation, and spatial reasoning.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
