Book picks similar to
Undecidable Theories: Studies in Logic and the Foundation of Mathematics by Alfred Tarski
mathematics
math
mathematical-logic
philosophy
A Concise Introduction to Logic [with CD-ROM]
Patrick J. Hurley - 1972
Inside: Logic Resource CD-ROM
The Cult of Statistical Significance: How the Standard Error Costs Us Jobs, Justice, and Lives
Stephen Thomas Ziliak - 2008
If it takes a book to get it across, I hope this book will do it. It ought to.”—Thomas Schelling, Distinguished University Professor, School of Public Policy, University of Maryland, and 2005 Nobel Prize Laureate in Economics “With humor, insight, piercing logic and a nod to history, Ziliak and McCloskey show how economists—and other scientists—suffer from a mass delusion about statistical analysis. The quest for statistical significance that pervades science today is a deeply flawed substitute for thoughtful analysis. . . . Yet few participants in the scientific bureaucracy have been willing to admit what Ziliak and McCloskey make clear: the emperor has no clothes.”—Kenneth Rothman, Professor of Epidemiology, Boston University School of Health The Cult of Statistical Significance shows, field by field, how “statistical significance,” a technique that dominates many sciences, has been a huge mistake. The authors find that researchers in a broad spectrum of fields, from agronomy to zoology, employ “testing” that doesn’t test and “estimating” that doesn’t estimate. The facts will startle the outside reader: how could a group of brilliant scientists wander so far from scientific magnitudes? This study will encourage scientists who want to know how to get the statistical sciences back on track and fulfill their quantitative promise. The book shows for the first time how wide the disaster is, and how bad for science, and it traces the problem to its historical, sociological, and philosophical roots. Stephen T. Ziliak is the author or editor of many articles and two books. He currently lives in Chicago, where he is Professor of Economics at Roosevelt University. Deirdre N. McCloskey, Distinguished Professor of Economics, History, English, and Communication at the University of Illinois at Chicago, is the author of twenty books and three hundred scholarly articles. She has held Guggenheim and National Humanities Fellowships. She is best known for How to Be Human* Though an Economist (University of Michigan Press, 2000) and her most recent book, The Bourgeois Virtues: Ethics for an Age of Commerce (2006).
Quantum Mechanics: Concepts and Applications
Nouredine Zettili - 2001
It combines the essential elements of the theory with the practical applications. Containing many examples and problems with step-by-step solutions, this cleverly structured text assists the reader in mastering the machinery of quantum mechanics. * A comprehensive introduction to the subject * Includes over 65 solved examples integrated throughout the text * Includes over 154 fully solved multipart problems * Offers an indepth treatment of the practical mathematical tools of quantum mechanics * Accessible to teachers as well as students
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life Plus the Secrets of Enigma
Alan Turing - 2004
In 1935, aged 22, he developed the mathematical theory upon which all subsequent stored-program digital computers are modeled.At the outbreak of hostilities with Germany in September 1939, he joined the Government Codebreaking team at Bletchley Park, Buckinghamshire and played a crucial role in deciphering Engima, the code used by the German armed forces to protect their radio communications. Turing's work on the versionof Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as Fish, which were used by the German High Command for the encryption of signals during the latter part of the war. His contribution helped toshorten the war in Europe by an estimated two years.After the war, his theoretical work led to the development of Britain's first computers at the National Physical Laboratory and the Royal Society Computing Machine Laboratory at Manchester University.Turing was also a founding father of modern cognitive science, theorizing that the cortex at birth is an unorganized machine which through training becomes organized into a universal machine or something like it. He went on to develop the use of computers to model biological growth, launchingthe discipline now referred to as Artificial Life.The papers in this book are the key works for understanding Turing's phenomenal contribution across all these fields. The collection includes Turing's declassified wartime Treatise on the Enigma; letters from Turing to Churchill and to codebreakers; lectures, papers, and broadcasts which opened upthe concept of AI and its implications; and the paper which formed the genesis of the investigation of Artifical Life.
The Poverty of Historicism
Karl Popper - 1957
One of the most important books on the social sciences since the Second World War, it is a searing insight into the ideas of this great thinker.
Linear Algebra
Stephen H. Friedberg - 1979
This top-selling, theorem-proof text presents a careful treatment of the principal topics of linear algebra, and illustrates the power of the subject through a variety of applications. It emphasizes the symbiotic relationship between linear transformations and matrices, but states theorems in the more general infinite-dimensional case where appropriate.
G. W. Leibniz's Monadology: An Edition for Students
Gottfried Wilhelm Leibniz - 1714
Leibniz' Monadology, one of the most important pieces of the Leibniz corpus, is at once one of the great classics of modern philosophy & one of its most puzzling productions. Because the essay is written in so compactly condensed a fashion, for almost three centuries it has baffled & beguiled those who read it for the first time. Nicholas Rescher accompanies the text of the Monadology section-by-section with relevant excerpts from some of Leibniz' widely scattered discussions of the matters at issue. The result serves a dual purpose of providing a commentary of the Monadology by Leibniz himself, while at the same time supplying an exposition of his philosophy using the Monadology as an outline. The book contains all the materials that even the most careful study of this text could require: a detailed overview of the philosophical background of the work & of its bibliographic ramifications; a presentation of the original French text together with a new, closely faithful English translation; a selection of other relevant Leibniz texts; & a detailed commentary. Rescher also provides a survey of Leibniz' use of analogies & three separate indices of key terms & expressions, Leibniz' French terminology, & citations. Rescher's edition of the Monadology presents Leibniz' ideas faithfully, accurately & accessibly, making it especially valuable to scholars & students alike.
Coding the Matrix: Linear Algebra through Computer Science Applications
Philip N. Klein - 2013
Mathematical concepts and computational problems are motivated by applications in computer science. The reader learns by "doing," writing programs to implement the mathematical concepts and using them to carry out tasks and explore the applications. Examples include: error-correcting codes, transformations in graphics, face detection, encryption and secret-sharing, integer factoring, removing perspective from an image, PageRank (Google's ranking algorithm), and cancer detection from cell features. A companion web site, codingthematrix.com provides data and support code. Most of the assignments can be auto-graded online. Over two hundred illustrations, including a selection of relevant "xkcd" comics. Chapters: "The Function," "The Field," "The Vector," "The Vector Space," "The Matrix," "The Basis," "Dimension," "Gaussian Elimination," "The Inner Product," "Special Bases," "The Singular Value Decomposition," "The Eigenvector," "The Linear Program"
Linear Algebra
Georgi E. Shilov - 1971
Shilov, Professor of Mathematics at the Moscow State University, covers determinants, linear spaces, systems of linear equations, linear functions of a vector argument, coordinate transformations, the canonical form of the matrix of a linear operator, bilinear and quadratic forms, Euclidean spaces, unitary spaces, quadratic forms in Euclidean and unitary spaces, finite-dimensional algebras and their representations, with an appendix on categories of finite-dimensional spaces.The author begins with elementary material and goes easily into the advanced areas, covering all the standard topics of an advanced undergraduate or beginning graduate course. The material is presented in a consistently clear style. Problems are included, with a full section of hints and answers in the back.Keeping in mind the unity of algebra, geometry and analysis in his approach, and writing practically for the student who needs to learn techniques, Professor Shilov has produced one of the best expositions on the subject. Because it contains an abundance of problems and examples, the book will be useful for self-study as well as for the classroom.
The Art of Logic in an Illogical World
Eugenia Cheng - 2018
Cheng is a mathematician, so she knows how to make an airtight argument. But even for her, logic sometimes falls prey to emotion, which is why she still fears flying and eats more cookies than she should. If a mathematician can't be logical, what are we to do? In this book, Cheng reveals the inner workings and limitations of logic, and explains why alogic--for example, emotion--is vital to how we think and communicate. Cheng shows us how to use logic and alogic together to navigate a world awash in bigotry, mansplaining, and manipulative memes. Insightful, useful, and funny, this essential book is for anyone who wants to think more clearly.
Mathematical Circles: Russian Experience (Mathematical World, Vol. 7)
Dmitri Fomin - 1996
The work is predicated on the idea that studying mathematics can generate the same enthusiasm as playing a team sport - without necessarily being competitive.
Partial Differential Equations for Scientists and Engineers
Stanley J. Farlow - 1982
Indeed, such equations are crucial to mathematical physics. Although simplifications can be made that reduce these equations to ordinary differential equations, nevertheless the complete description of physical systems resides in the general area of partial differential equations.This highly useful text shows the reader how to formulate a partial differential equation from the physical problem (constructing the mathematical model) and how to solve the equation (along with initial and boundary conditions). Written for advanced undergraduate and graduate students, as well as professionals working in the applied sciences, this clearly written book offers realistic, practical coverage of diffusion-type problems, hyperbolic-type problems, elliptic-type problems, and numerical and approximate methods. Each chapter contains a selection of relevant problems (answers are provided) and suggestions for further reading.
A Course in Game Theory
Martin J. Osborne - 1994
The authors provide precise definitions and full proofs of results, sacrificing generalities and limiting the scope of the material in order to do so. The text is organized in four parts: strategic games, extensive games with perfect information, extensive games with imperfect information, and coalitional games. It includes over 100 exercises. Solution ManualTable of Contents, Errata, and more...
Everyday Calculus: Discovering the Hidden Math All Around Us
Oscar E. Fernandez - 2014
For some of us, the word conjures up memories of ten-pound textbooks and visions of tedious abstract equations. And yet, in reality, calculus is fun, accessible, and surrounds us everywhere we go. In Everyday Calculus, Oscar Fernandez shows us how to see the math in our coffee, on the highway, and even in the night sky.Fernandez uses our everyday experiences to skillfully reveal the hidden calculus behind a typical day's events. He guides us through how math naturally emerges from simple observations-how hot coffee cools down, for example-and in discussions of over fifty familiar events and activities. Fernandez demonstrates that calculus can be used to explore practically any aspect of our lives, including the most effective number of hours to sleep and the fastest route to get to work. He also shows that calculus can be both useful-determining which seat at the theater leads to the best viewing experience, for instance-and fascinating-exploring topics such as time travel and the age of the universe. Throughout, Fernandez presents straightforward concepts, and no prior mathematical knowledge is required. For advanced math fans, the mathematical derivations are included in the appendixes.Whether you're new to mathematics or already a curious math enthusiast, Everyday Calculus invites you to spend a day discovering the calculus all around you. The book will convince even die-hard skeptics to view this area of math in a whole new way.
Algebra
Michael Artin - 1991
Linear algebra is tightly integrated into the text.