Book picks similar to
Set Theory and Logic by Robert Roth Stoll
math
mathematics
logic
math-logic
Everything and More: A Compact History of Infinity
David Foster Wallace - 2003
Now he brings his considerable talents to the history of one of math's most enduring puzzles: the seemingly paradoxical nature of infinity.Is infinity a valid mathematical property or a meaningless abstraction? The nineteenth-century mathematical genius Georg Cantor's answer to this question not only surprised him but also shook the very foundations upon which math had been built. Cantor's counterintuitive discovery of a progression of larger and larger infinities created controversy in his time and may have hastened his mental breakdown, but it also helped lead to the development of set theory, analytic philosophy, and even computer technology.Smart, challenging, and thoroughly rewarding, Wallace's tour de force brings immediate and high-profile recognition to the bizarre and fascinating world of higher mathematics.
A History of π
Petr Beckmann - 1970
Petr Beckmann holds up this mirror, giving the background of the times when pi made progress -- and also when it did not, because science was being stifled by militarism or religious fanaticism.
The Humongous Book of Calculus Problems
W. Michael Kelley - 2007
Not anymore. The best-selling author of The Complete Idiot's Guide® to Calculus has taken what appears to be a typical calculus workbook, chock full of solved calculus problems, and made legible notes in the margins, adding missing steps and simplifying solutions. Finally, everything is made perfectly clear. Students will be prepared to solve those obscure problems that were never discussed in class but always seem to find their way onto exams.--Includes 1,000 problems with comprehensive solutions--Annotated notes throughout the text clarify what's being asked in each problem and fill in missing steps--Kelley is a former award-winning calculus teacher
Irreligion: A Mathematician Explains Why the Arguments for God Just Don't Add Up
John Allen Paulos - 2007
In Irreligion he presents the case for his own worldview, organizing his book into twelve chapters that refute the twelve arguments most often put forward for believing in God's existence. The latter arguments, Paulos relates in his characteristically lighthearted style, "range from what might be called golden oldies to those with a more contemporary beat. On the playlist are the firstcause argument, the argument from design, the ontological argument, arguments from faith and biblical codes, the argument from the anthropic principle, the moral universality argument, and others." Interspersed among his twelve counterarguments are remarks on a variety of irreligious themes, ranging from the nature of miracles and creationist probability to cognitive illusions and prudential wagers. Special attention is paid to topics, arguments, and questions that spring from his incredulity "not only about religion but also about others' credulity." Despite the strong influence of his day job, Paulos says, there isn't a single mathematical formula in the book.
Sciencia: Mathematics, Physics, Chemistry, Biology, and Astronomy for All
Burkard Polster - 2011
Lavishly illustrated with engravings, woodcuts, and original drawings and diagrams, Sciencia will inspire readers of all ages to take an interest in the interconnected knowledge of the modern sciences.Beautifully produced in thirteen different colors of ink, Sciencia is an essential reference and an elegant gift.Wooden Books was founded in 1999 by designer John Martineau near Hay-on-Wye. The aim was to produce a beautiful series of recycled books based on the classical philosophies, arts and sciences. Using the Beatrix Potter formula of text facing picture pages, and old-styles fonts, along with hand-drawn illustrations and 19th century engravings, the books are designed not to date. Small but stuffed with information. Eco friendly and educational. Big ideas in a tiny space. There are over 1,000,000 Wooden Books now in print worldwide and growing.
Linear Algebra and Its Applications
Gilbert Strang - 1976
While the mathematics is there, the effort is not all concentrated on proofs. Strang's emphasis is on understanding. He explains concepts, rather than deduces. This book is written in an informal and personal style and teaches real mathematics. The gears change in Chapter 2 as students reach the introduction of vector spaces. Throughout the book, the theory is motivated and reinforced by genuine applications, allowing pure mathematicians to teach applied mathematics.
Symbolic Logic And The Game Of Logic
Lewis Carroll - 1958
Written by the 19th-century mathematician who also gave us "Alive in Wonderland", they are among the most entertaining logical works ever written, and contain some of the most thought-provoking puzzles ever devised.
Logic Deductive and Inductive
Carveth Read - 1898
You may find it for free on the web. Purchase of the Kindle edition includes wireless delivery.
Quadrivium: The Four Classical Liberal Arts of Number, Geometry, Music, & Cosmology
John Martineau - 2010
It was studied from antiquity to the Renaissance as a way of glimpsing the nature of reality. Geometry is number in space; music is number in time; and comology expresses number in space and time. Number, music, and geometry are metaphysical truths: life across the universe investigates them; they foreshadow the physical sciences.Quadrivium is the first volume to bring together these four subjects in many hundreds of years. Composed of six successful titles in the Wooden Books series-Sacred Geometry, Sacred Number, Harmonograph, The Elements of Music, Platonic & Archimedean Solids, and A Little Book of Coincidence-it makes ancient wisdom and its astonishing interconnectedness accessible to us today.Beautifully produced in six different colors of ink, Quadrivium will appeal to anyone interested in mathematics, music, astronomy, and how the universe works.
The Haskell Road to Logic, Maths and Programming
Kees Doets - 2004
Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvellous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others.
A Gift of Fire: Social, Legal, and Ethical Issues for Computers and the Internet
Sara Baase - 1996
It covers the issues students will face both as members of a technological society and as professionals in computer-related fields. One of its goals is to develop computer professionals who understand the implications of what they create and how it fits into society at large-another is to bring these issues to the attention of students outside of computer science.
The Cartoon Guide to Statistics
Larry Gonick - 1993
Never again will you order the Poisson Distribution in a French restaurant!This updated version features all new material.
Games and Decisions: Introduction and Critical Survey
R. Duncan Luce - 1957
Clear, comprehensive coverage of utility theory, 2-person zero-sum games, 2-person non-zero-sum games, n-person games, individual and group decision-making, more. Bibliography.
Five Dialogues: Euthyphro, Apology, Crito, Meno, Phaedo
Plato
M. A. Grube's distinguished translations, as revised by John Cooper for Plato, Complete Works (Hacket, 1997). Cooper has also contributed a number of new or expanded footnotes and updated Suggestions for Further Reading.
The Anthropic Cosmological Principle
John D. Barrow - 1984
But in recent years, a startling new concept has evolved that places it more firmly than ever in a special position. Known as the Anthropic Cosmological Principle, this collection of ideas holds that the existence of intelligent observers determines the fundamental structure of the Universe. In its most radical version, the Anthropic Principle asserts that intelligent information-processing must come into existence in the Universe, and once it comes into existence, it will never die out. This wide-ranging and detailed book explores the many ramifications of the Anthropic Cosmological Principle, covering the whole spectrum of human inquiry from Aristotle to Z bosons. Bringing a unique combination of skills and knowledge to the subject, John D. Barrow and Frank J. Tipler--two of the world's leading cosmologists--cover the definition and nature of life, the search for extraterrestrial intelligence, and the interpretation of the quantum theory in relation to the existence of observers. The book will be of vital interest to philosophers, theologians, mathematicians, scientists, and historians, as well as to anyone concerned with the connection between the vastness of the universe of stars and galaxies and the existence of life within it on a small planet out in the suburbs of the Milky Way.