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.
Автор: M. Chaichian; J. Estrin; N. F. Nelipa Название: Introduction to Gauge Field Theories ISBN: 3642821790 ISBN-13(EAN): 9783642821790 Издательство: Springer Рейтинг: Цена: 9794.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book expounds the fundamentals of the quantum theory of gauge fields and its application for constructing unified gauge models and the theory of strong interactions.
During the last six decades, Yang-Mills theory has increasingly become the cornerstone of theoretical physics. It is seemingly the only fully consistent relativistic quantum many-body theory in four space-time dimensions. As such it is the underlying theoretical framework for the Standard Model of Particle Physics, which has been shown to be the correct theory at the energies we now can measure. It has been investigated also from many other perspectives, and many new and unexpected features have been uncovered from this theory. In recent decades, apart from high energy physics, the theory has been actively applied in other branches of physics, such as statistical physics, condensed matter physics, nonlinear systems, etc. This makes the theory an indispensable topic for all who are involved in physics.
The conference celebrated the exceptional achievements using Yang-Mills theory over the years but also many other truly remarkable contributions to different branches of physics from Prof C N Yang. This volume collects the invaluable talks by Prof C N Yang and the invited speakers reviewing these remarkable contributions and their importance for the future of physics.
Автор: Andr? Burnel Название: Noncovariant Gauges in Canonical Formalism ISBN: 3642089402 ISBN-13(EAN): 9783642089404 Издательство: Springer Рейтинг: Цена: 11753.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a consistent formulation for the handling of noncovariant gauges in the quantization and renormalization of gauge theories. It serves as an ideal introduction to postgraduate students, lecturers and researchers in the field.
Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu Название: Unifying Theories of Programming and Formal Engineering Methods ISBN: 3642397204 ISBN-13(EAN): 9783642397202 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers.
Автор: J.A. de Azcarraga Название: Topics in Quantum Field Theory and Gauge Theories ISBN: 3540088415 ISBN-13(EAN): 9783540088417 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Andr? Burnel Название: Noncovariant Gauges in Canonical Formalism ISBN: 3540699201 ISBN-13(EAN): 9783540699200 Издательство: Springer Рейтинг: Цена: 8378.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: By definition, gauge theories - among the cornerstones of fundamental theoretical physics - involve more degrees of freedom than required by the underlying physics. This work presents a consistent formulation for the handling of noncovariant gauges in the quantization and renormalization of gauge theories.
Автор: Giovanni Sommaruga Название: Formal Theories of Information ISBN: 3642006582 ISBN-13(EAN): 9783642006586 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the scientific outcome of a joint effort of the computer science departments of the universities of Berne, Fribourg and Neuchatel. This book examines whether there is any common ground between the different approaches to the concept of information.
Автор: Beall, Jc; Glanzberg, Michael; Ripley, David Название: Formal Theories of Truth ISBN: 0198815689 ISBN-13(EAN): 9780198815686 Издательство: Oxford Academ Рейтинг: Цена: 3483.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.
Описание: This book, first published in 1989, gives a critical account of formal international relations theory. That formal and mathematical methods can be applied to the study of international relations is often regarded with surprise, but mathematical methods have been applied to the study of international behaviour since the pioneering work of Lewis Fry Richardson in the 1920s and 1930s.
Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu Название: Theories of Programming and Formal Methods ISBN: 3642396976 ISBN-13(EAN): 9783642396977 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
