Book picks similar to
Handbook of the History of Logic, Volume 10: Inductive Logic by Dov M. Gabbay
philosophy-of-mathematics-logic
03-logic-and-set-theory
kogn-log
logic-and-math
Quantum Field Theory for the Gifted Amateur
Tom Lancaster - 2014
Unfortunately, the subject has gained a notorious reputation for difficulty, with forbidding looking mathematics and a peculiar diagrammatic language described in an array of unforgiving, weighty textbooks aimed firmly at aspiring professionals. However, quantum field theory is too important, too beautiful, and too engaging to be restricted to the professionals. This book on quantum field theory is designed to be different. It is written by experimental physicists and aims to provide the interested amateur with a bridge from undergraduate physics to quantum field theory. The imagined reader is a gifted amateur, possessing a curious and adaptable mind, looking to be told an entertaining and intellectually stimulating story, but who will not feel patronised if a few mathematical niceties are spelled out in detail. Using numerous worked examples, diagrams, and careful physically motivated explanations, this book will smooth the path towards understanding the radically different and revolutionary view of the physical world that quantum field theory provides, and which all physicists should have the opportunity to experience.To request a copy of the Solutions Manual, visit http: //global.oup.com/uk/academic/physics/ad....
Measurement
Paul Lockhart - 2012
An impassioned critique of K 12 mathematics education, it outlined how we shortchange students by introducing them to math the wrong way. Here Lockhart offers the positive side of the math education story by showing us how math should be done. "Measurement "offers a permanent solution to math phobia by introducing us to mathematics as an artful way of thinking and living.In conversational prose that conveys his passion for the subject, Lockhart makes mathematics accessible without oversimplifying. He makes no more attempt to hide the challenge of mathematics than he does to shield us from its beautiful intensity. Favoring plain English and pictures over jargon and formulas, he succeeds in making complex ideas about the mathematics of shape and motion intuitive and graspable. His elegant discussion of mathematical reasoning and themes in classical geometry offers proof of his conviction that mathematics illuminates art as much as science.Lockhart leads us into a universe where beautiful designs and patterns float through our minds and do surprising, miraculous things. As we turn our thoughts to symmetry, circles, cylinders, and cones, we begin to see that almost anyone can do the math in a way that brings emotional and aesthetic rewards. "Measurement" is an invitation to summon curiosity, courage, and creativity in order to experience firsthand the playful excitement of mathematical work."
Game Theory: A Nontechnical Introduction
Morton D. Davis - 1970
. . a most valuable contribution." — Douglas R. Hofstadter, author of Gödel, Escher, BachThe foundations of game theory were laid by John von Neumann, who in 1928 proved the basic minimax theorem, and with the 1944 publication of the Theory of Games and Economic Behavior, the field was established. Since then, game theory has become an enormously important discipline because of its novel mathematical properties and its many applications to social, economic, and political problems.Game theory has been used to make investment decisions, pick jurors, commit tanks to battle, allocate business expenses equitably — even to measure a senator's power, among many other uses. In this revised edition of his highly regarded work, Morton Davis begins with an overview of game theory, then discusses the two-person zero-sum game with equilibrium points; the general, two-person zero-sum game; utility theory; the two-person, non-zero-sum game; and the n-person game.A number of problems are posed at the start of each chapter and readers are given a chance to solve them before moving on. (Unlike most mathematical problems, many problems in game theory are easily understood by the lay reader.) At the end of the chapter, where solutions are discussed, readers can compare their "common sense" solutions with those of the author. Brimming with applications to an enormous variety of everyday situations, this book offers readers a fascinating, accessible introduction to one of the most fruitful and interesting intellectual systems of our time.
Elementary Analysis: The Theory of Calculus
Kenneth A. Ross - 1980
It is highly recommended for anyone planning to study advanced analysis, e.g., complex variables, differential equations, Fourier analysis, numerical analysis, several variable calculus, and statistics. It is also recommended for future secondary school teachers. A limited number of concepts involving the real line and functions on the real line are studied. Many abstract ideas, such as metric spaces and ordered systems, are avoided. The least upper bound property is taken as an axiom and the order properties of the real line are exploited throughout. A thorough treatment of sequences of numbers is used as a basis for studying standard calculus topics. Optional sections invite students to study such topics as metric spaces and Riemann-Stieltjes integrals.
Logic Made Easy: How to Know When Language Deceives You
Deborah J. Bennett - 2004
This brilliantly clear and gratifyingly concise treatment of the ancient Greek discipline identifies the illogical in everything from street signs to tax forms. Complete with puzzles you can try yourself, Logic Made Easy invites readers to identify and ultimately remedy logical slips in everyday life. Designed with dozens of visual examples, the book guides you through those hair-raising times when logic is at odds with our language and common sense. Logic Made Easy is indeed one of those rare books that will actually make you a more logical human being.
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Charles Petzold - 2008
Turing
Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be "computable," creating the field of computability theory in the process, a foundation of present-day computer programming.The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.Interwoven into the narrative are the highlights of Turing's own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.
A Student's Guide to Maxwell's Equations
Daniel Fleisch - 2007
In this guide for students, each equation is the subject of an entire chapter, with detailed, plain-language explanations of the physical meaning of each symbol in the equation, for both the integral and differential forms. The final chapter shows how Maxwell's equations may be combined to produce the wave equation, the basis for the electromagnetic theory of light. This book is a wonderful resource for undergraduate and graduate courses in electromagnetism and electromagnetics. A website hosted by the author at www.cambridge.org/9780521701471 contains interactive solutions to every problem in the text as well as audio podcasts to walk students through each chapter.
The Large Scale Structure of Space-Time
Stephen Hawking - 1973
These singularities are places where space-time begins or ends, and the presently known laws of physics break down. They will occur inside black holes, and in the past are what might be construed as the beginning of the universe. To show how these predictions arise, the authors discuss the General Theory of Relativity in the large. Starting with a precise formulation of the theory and an account of the necessary background of differential geometry, the significance of space-time curvature is discussed and the global properties of a number of exact solutions of Einstein's field equations are examined. The theory of the causal structure of a general space-time is developed, and is used to study black holes and to prove a number of theorems establishing the inevitability of singualarities under certain conditions. A discussion of the Cauchy problem for General Relativity is also included in this 1973 book.
Bayesian Data Analysis
Andrew Gelman - 1995
Its world-class authors provide guidance on all aspects of Bayesian data analysis and include examples of real statistical analyses, based on their own research, that demonstrate how to solve complicated problems. Changes in the new edition include:Stronger focus on MCMC Revision of the computational advice in Part III New chapters on nonlinear models and decision analysis Several additional applied examples from the authors' recent research Additional chapters on current models for Bayesian data analysis such as nonlinear models, generalized linear mixed models, and more Reorganization of chapters 6 and 7 on model checking and data collectionBayesian computation is currently at a stage where there are many reasonable ways to compute any given posterior distribution. However, the best approach is not always clear ahead of time. Reflecting this, the new edition offers a more pluralistic presentation, giving advice on performing computations from many perspectives while making clear the importance of being aware that there are different ways to implement any given iterative simulation computation. The new approach, additional examples, and updated information make Bayesian Data Analysis an excellent introductory text and a reference that working scientists will use throughout their professional life.
Number Theory
George E. Andrews - 1994
In studying number theory from such a perspective, mathematics majors are spared repetition and provided with new insights, while other students benefit from the consequent simplicity of the proofs for many theorems.Among the topics covered in this accessible, carefully designed introduction are multiplicativity-divisibility, including the fundamental theorem of arithmetic, combinatorial and computational number theory, congruences, arithmetic functions, primitive roots and prime numbers. Later chapters offer lucid treatments of quadratic congruences, additivity (including partition theory) and geometric number theory.Of particular importance in this text is the author's emphasis on the value of numerical examples in number theory and the role of computers in obtaining such examples. Exercises provide opportunities for constructing numerical tables with or without a computer. Students can then derive conjectures from such numerical tables, after which relevant theorems will seem natural and well-motivated..
Introductory Mathematical Analysis for Business, Economics, and the Life and Social Sciences
Ernest F. Haeussler Jr. - 1987
Emphasis on developing algebraic skills is extended to the exercises--including both drill problems and applications. The authors work through examples and explanations with a blend of rigor and accessibility. In addition, they have refined the flow, transitions, organization, and portioning of the content over many editions to optimize learning for readers. The table of contents covers a wide range of topics efficiently, enabling readers to gain a diverse understanding.
Introduction to Mathematical Thinking
Keith Devlin - 2012
This is not the same as “doing math.” The latter usually involves the application of formulas, procedures, and symbolic manipulations; mathematical thinking is a powerful way of thinking about things in the world -- logically, analytically, quantitatively, and with precision. It is not a natural way of thinking, but it can be learned. Mathematicians, scientists, and engineers need to “do math,” and it takes many years of college-level education to learn all that is required. Mathematical thinking is valuable to everyone, and can be mastered in about six weeks by anyone who has completed high school mathematics. Mathematical thinking does not have to be about mathematics at all, but parts of mathematics provide the ideal target domain to learn how to think that way, and that is the approach taken by this short but valuable book. The book is written primarily for first and second year students of science, technology, engineering, and mathematics (STEM) at colleges and universities, and for high school students intending to study a STEM subject at university. Many students encounter difficulty going from high school math to college-level mathematics. Even if they did well at math in school, most are knocked off course for a while by the shift in emphasis, from the K-12 focus on mastering procedures to the “mathematical thinking” characteristic of much university mathematics. Though the majority survive the transition, many do not. To help them make the shift, colleges and universities often have a “transition course.” This book could serve as a textbook or a supplementary source for such a course. Because of the widespread applicability of mathematical thinking, however, the book has been kept short and written in an engaging style, to make it accessible to anyone who seeks to extend and improve their analytic thinking skills. Going beyond a basic grasp of analytic thinking that everyone can benefit from, the STEM student who truly masters mathematical thinking will find that college-level mathematics goes from being confusing, frustrating, and at times seemingly impossible, to making sense and being hard but doable. Dr. Keith Devlin is a professional mathematician at Stanford University and the author of 31 previous books and over 80 research papers. His books have earned him many awards, including the Pythagoras Prize, the Carl Sagan Award, and the Joint Policy Board for Mathematics Communications Award. He is known to millions of NPR listeners as “the Math Guy” on Weekend Edition with Scott Simon. He writes a popular monthly blog “Devlin’s Angle” for the Mathematical Association of America, another blog under the name “profkeithdevlin”, and also blogs on various topics for the Huffington Post.
Physical Chemistry
Peter Atkins - 1978
With its modern emphasis on the molecular view of physical chemistry, its wealth of contemporary applications (in the new "Impact on" features), vivid full-color presentation, and dynamic new media tools, the thoroughly revised new edition is again the most modern, most effective full-length textbook available for the physical chemistry classroom. NOW AVAILABLE IN SPLIT VOLUMESFor maximum flexibility in your physical chemistry course, this text isnow offered as a traditional or in two volumes.• Volume 1: Thermodynamics and Kinetics (ISBN 0-7167-8567-6)• Volume 2: Quantum Chemistry, Spectroscopy, and StatisticalThermodynamics (ISBN 0-7167-8569-2)See Table of Contents for the contents of each volume.
The Universal Computer: The Road from Leibniz to Turing
Martin D. Davis - 2000
How can today's computers perform such a bewildering variety of tasks if computing is just glorified arithmetic? The answer, as Martin Davis lucidly illustrates, lies in the fact that computers are essentially engines of logic. Their hardware and software embody concepts developed over centuries by logicians such as Leibniz, Boole, and Godel, culminating in the amazing insights of Alan Turing. The Universal Computer traces the development of these concepts by exploring with captivating detail the lives and work of the geniuses who first formulated them. Readers will come away with a revelatory understanding of how and why computers work and how the algorithms within them came to be.
Course of Theoretical Physics: Vol. 1, Mechanics
L.D. Landau - 1969
The exposition is simple and leads to the most complete direct means of solving problems in mechanics. The final sections on adiabatic invariants have been revised and augmented. In addition a short biography of L D Landau has been inserted.