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.
Описание: Resummation and Renormalisation in Effective Theories of Particle Physics
Автор: 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).
Автор: Crowther Название: Effective Spacetime ISBN: 3319395068 ISBN-13(EAN): 9783319395067 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses the notion that quantum gravity may represent the 'breakdown' of spacetime at extremely high energy scales. If spacetime does not exist at the fundamental level, then it has to be considered 'emergent', in other words an effective structure, valid at low energy scales. The author develops a conception of emergence appropriate to effective theories in physics, and shows how it applies (or could apply) in various approaches to quantum gravity, including condensed matter approaches, discrete approaches, and loop quantum gravity.
Автор: Jerry L. Ericksen; David Kinderlehrer; Robert Kohn Название: Homogenization and Effective Moduli of Materials and Media ISBN: 1461386489 ISBN-13(EAN): 9781461386483 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This IMA Volume in Mathematics and its Applications Homogenization and Effective Moduli of Materials and Media represents the proceedings of a workshop which was an integral part of the 19R4-R5 IMA program on CONTINUUM PHYSICS AND PARTIAL DIFFERENTIAL EQUATIONS.
Описание: This monograph teaches advanced undergraduate students and practitioners how to use folded diagrams to calculate properties of complex particle systems such as atomic nuclei, atoms and molecules in terms of interactions among their constituents.
Автор: Antonio Dobado; Angel Gomez-Nicola; Antonio L. Mar Название: Effective Lagrangians for the Standard Model ISBN: 3642638899 ISBN-13(EAN): 9783642638893 Издательство: Springer Рейтинг: Цена: 13060.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is devoted to some recently developed techniques in quantum field theory (QFT), as well as to their main applications to different areas of parti- cle physics.
Автор: Felder Название: Mathematical Methods in Engineering and Physics ISBN: 1118449606 ISBN-13(EAN): 9781118449608 Издательство: Wiley Рейтинг: Цена: 30246.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text is intended for the undergraduate course in math methods, with an audience of physics and engineering majors. As a required course in most departments, the text relies heavily on explained examples, real-world applications and student engagement.
Автор: Wolfgang Nolting Название: Theoretical Physics 4. Special Theory of Relativity ISBN: 3319443704 ISBN-13(EAN): 9783319443706 Издательство: Springer Рейтинг: Цена: 4890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This concise textbook offers a clear and comprehensive introduction to special relativity, one of the core components of undergraduate physics courses. It follows on naturally from the previous volumes in this series, thus developing the relativistic expansion of classical mechanics and electrodynamics. The first part of the book introduces Lorentz transformations, time dilation, length contraction and Minkowski diagrams. More complex themes are covered in the second part of the book, which describes the four-dimensional covariant formulation for classical mechanics and electrodynamics, including discussion of Maxwell’s equations, the Lorentz force and the covariant Lagrangian formulation. Ideally suited to undergraduate students with some grounding in classical mechanics and electrodynamics, the book is enhanced throughout with learning features such as boxed inserts and chapter summaries, with key mathematical derivations highlighted to aid understanding. The text is supported by numerous worked examples and end of chapter problem sets. About the Theoretical Physics series Translated from the renowned and highly successful German editions, the eight volumes of this series cover the complete core curriculum of theoretical physics at undergraduate level. Each volume is self-contained and provides all the material necessary for the individual course topic. Numerous problems with detailed solutions support a deeper understanding. Wolfgang Nolting is famous for his refined didactical style and has been referred to as the 'German Feynman' in reviews.
Описание: The book describes the major physical theories of comets in the past two millennia. It describes the evolution of ideas about the nature, position, motion and constitution of comets. Unlike many works on the subject, this one focuses on details of each theory.
Описание: Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
