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.
Автор: Yang, F. Название: Modern Atomic and Nuclear Physics ISBN: 9814307688 ISBN-13(EAN): 9789814307680 Издательство: World Scientific Publishing Рейтинг: Цена: 1841.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A problems and solutions manual that is intended as a companion to an earlier textbook, "Modern Atomic and Nuclear Physics" (Revised Edition) (World Scientific, 2010). It presents solutions to many end-of-chapter problems in the textbook. These solutions are useful to the instructors and students working in the modern atomic field.
Автор: Mallik Название: Optical Theories ISBN: 1316611833 ISBN-13(EAN): 9781316611838 Издательство: Cambridge Academ Рейтинг: Цена: 5384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: First published in 1921, this book was based on a series of lectures delivered at the University of Calcutta during 1912. The text presents an account tracing the development of optical theories from their beginnings through to the time of publication, incorporating information on the relationships between different theories.
Автор: Juan M. Torres-Rincon Название: Hadronic Transport Coefficients from Effective Field Theories ISBN: 3319004247 ISBN-13(EAN): 9783319004242 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: We show that the shear viscosity over entropy density exhibits a minimum in a phase transition by studying this coefficient in atomic Argon (around the liquid-gas phase transition) and in the linear sigma model in the limit of a large number of scalar fields (which presents a chiral phase transition).
Автор: James D. Wells Название: Effective Theories in Physics ISBN: 3642348912 ISBN-13(EAN): 9783642348914 Издательство: Springer Рейтинг: Цена: 6529.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: There is significant interest in the Philosophy of Science community to understand the role that "effective theories" have in the work of forefront science. Since Wilson`s renormalization group revolution in the early 1970`s, the science community has come to more fully understand its power, and by the mid-1990`s it had gained its apotheosis.
Автор: M. Brosche; Jesus Navarro; Artur Polls Название: Microscopic Quantum Many-Body Theories and Their Applications ISBN: 366214171X ISBN-13(EAN): 9783662141717 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Quantum many-body theories have become an essential tool for all physicists. As the future evolution of QMBT depends to a large measure on establishing links between these different methods, the authors discuss hyprid procedures that can build even further upon the huge strengths and great advantages of each theory.
Автор: Alan Aversa; Pierre Maurice Marie Duhem Название: The Electric Theories of J. Clerk Maxwell ISBN: 3319367854 ISBN-13(EAN): 9783319367859 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
In this volume Pierre Duhem first gives an overview of 19th century electricity and magnetism. Next, he applies his keen historical, philosophical, and physical intuition to critiquing Maxwell's theories, especially his electromagnetic theory of light and the ad hoc introduction of displacement current, which he considers too much a product of the "esprit de g om trie" than the "esprit de finesse," as Pascal calls it.
In this book, Duhem is guided by the principle that a theory that offers contradictions, even if the theory is posed by a genius, needs to be analysed and discussed until a clear distinction can be made between the propositions likely to be logically demonstrated and statements that offend logic and which must be transformed or rejected.
Furthermore, Duhem felt, in criticizing such a theory one must guard against narrowness of mind and petty corrections which would make one forget the merit of the inventor; and, more importantly, one must guard against the blind superstition which, for admiration of the author, would hide the serious defects of the work. He is not so great a genius that he surpasses the laws of reason.
Pierre Duhem (1861-1916), chairman of theoretical physics at Bordeaux in 1984-1916, is well-known for his works in the history and philosophy of science.
Автор: Juan M. Torres-Rincon Название: Hadronic Transport Coefficients from Effective Field Theories ISBN: 3319375911 ISBN-13(EAN): 9783319375915 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: We show that the shear viscosity over entropy density exhibits a minimum in a phase transition by studying this coefficient in atomic Argon (around the liquid-gas phase transition) and in the linear sigma model in the limit of a large number of scalar fields (which presents a chiral phase transition).
Автор: Damien Calaque; Thomas Strobl Название: Mathematical Aspects of Quantum Field Theories ISBN: 3319099485 ISBN-13(EAN): 9783319099484 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Mathematical Aspects of Quantum Field Theories
Автор: Alan Aversa; Pierre Maurice Marie Duhem Название: The Electric Theories of J. Clerk Maxwell ISBN: 3319185144 ISBN-13(EAN): 9783319185149 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
In this volume Pierre Duhem first gives an overview of 19th century electricity and magnetism. Next, he applies his keen historical, philosophical, and physical intuition to critiquing Maxwell's theories, especially his electromagnetic theory of light and the ad hoc introduction of displacement current, which he considers too much a product of the "esprit de g om trie" than the "esprit de finesse," as Pascal calls it.
In this book, Duhem is guided by the principle that a theory that offers contradictions, even if the theory is posed by a genius, needs to be analysed and discussed until a clear distinction can be made between the propositions likely to be logically demonstrated and statements that offend logic and which must be transformed or rejected.
Furthermore, Duhem felt, in criticizing such a theory one must guard against narrowness of mind and petty corrections which would make one forget the merit of the inventor; and, more importantly, one must guard against the blind superstition which, for admiration of the author, would hide the serious defects of the work. He is not so great a genius that he surpasses the laws of reason.
Pierre Duhem (1861-1916), chairman of theoretical physics at Bordeaux in 1984-1916, is well-known for his works in the history and philosophy of science.
Автор: Xiang Chen Название: Instrumental Traditions and Theories of Light ISBN: 0792363493 ISBN-13(EAN): 9780792363491 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An analysis of the optical revolution in the context of early 19th century Britain. People`s judgements about classification, explanation and evaluation were affected by the way they used such optical instruments as spectroscopes, telescopes, polarisers, photometers, gratings, prisms and apertures.
Автор: H. K?mmel; M.L. Ristig Название: Recent Progress in Many-Body Theories ISBN: 3540129243 ISBN-13(EAN): 9783540129240 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
