Book picks similar to
The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna
tech-formal
computer-science
logos
mathematics
Just Six Numbers: The Deep Forces That Shape the Universe
Martin J. Rees - 1999
There are deep connections between stars and atoms, between the cosmos and the microworld. Just six numbers, imprinted in the "big bang," determine the essential features of our entire physical world. Moreover, cosmic evolution is astonishingly sensitive to the values of these numbers. If any one of them were "untuned," there could be no stars and no life. This realization offers a radically new perspective on our universe, our place in it, and the nature of physical laws.
The Universe and the Teacup: The Mathematics of Truth and Beauty
K.C. Cole - 1998
In The Universe and the Teacup, K. C. Cole demystifies mathematics and shows us-with humor and wonderfully accessible stories-why math need not be frightening. Using the O. J. Simpson trial, the bell curve, and Emmy Noether, the nineteenth-century woman scientist whose work was essential for Einstein's theory of relativity, Cole helps us see that more than just being a tool, math is a key to understanding the beauty of everything from rainbows to relativity.
Christianity on Trial: A Lawyer Examines the Christian Faith
W. Mark Lanier - 2014
Mark Lanier, one of America's top trial lawyers, uses his experienced legal eye to examine the plausibility of the Christian faith. Bringing science, current knowledge, and common sense together in a courtroom approach, this "trial" elucidates a rich understanding of God and a strong foundation for Christian faith. Following the format of a traditional legal trial, Lanier takes us from opening statement to closing summation by way of testimony from well-known witnesses--the scientist, the theologian, the linguist, the humanist, the philosopher, the psychologist and the ancient biblical eye-witness. These sources and many others investigate the sticky subjects of the Christian worldview that are commonly scrutinized by skeptics or overlooked by marginal believers:Who is God in light of astronomical and subatomic science? How could divine inspiration of Scripture or Christ's bodily resurrection be possible? How should we see the nature of reality, free will and choice, ethics, morality and the idea of heaven and afterlife? Lanier presents a persuasive case for the Christian faith and leaves it up to us to choose what is worthy of belief and what is not. Christianity on Trial provides a thought-p
The Art of Problem Solving Vol. 2: And Beyond
Sandor Leholzky - 2003
The Art of Problem Solving, Volume 2, is the classic problem solving textbook used by many successful high school math teams and enrichment programs and have been an important building block for students who, like the authors, performed well enough on the American Mathematics Contest series to qualify for the Math Olympiad Summer Program which trains students for the United States International Math Olympiad team.Volume 2 is appropriate for students who have mastered the problem solving fundamentals presented in Volume 1 and are ready for a greater challenge. Although the Art of Problem Solving is widely used by students preparing for mathematics competitions, the book is not just a collection of tricks. The emphasis on learning and understanding methods rather than memorizing formulas enables students to solve large classes of problems beyond those presented in the book.Speaking of problems, the Art of Problem Solving, Volume 2, contains over 500 examples and exercises culled from such contests as the Mandelbrot Competition, the AMC tests, and ARML. Full solutions (not just answers!) are available for all the problems in the solution manual.
Dr. Euler's Fabulous Formula: Cures Many Mathematical Ills
Paul J. Nahin - 2006
Dr. Euler's Fabulous Formula shares the fascinating story of this groundbreaking formula--long regarded as the gold standard for mathematical beauty--and shows why it still lies at the heart of complex number theory. This book is the sequel to Paul Nahin's An Imaginary Tale: The Story of I [the square root of -1], which chronicled the events leading up to the discovery of one of mathematics' most elusive numbers, the square root of minus one. Unlike the earlier book, which devoted a significant amount of space to the historical development of complex numbers, Dr. Euler begins with discussions of many sophisticated applications of complex numbers in pure and applied mathematics, and to electronic technology. The topics covered span a huge range, from a never-before-told tale of an encounter between the famous mathematician G. H. Hardy and the physicist Arthur Schuster, to a discussion of the theoretical basis for single-sideband AM radio, to the design of chase-and-escape problems. The book is accessible to any reader with the equivalent of the first two years of college mathematics (calculus and differential equations), and it promises to inspire new applications for years to come. Or as Nahin writes in the book's preface: To mathematicians ten thousand years hence, Euler's formula will still be beautiful and stunning and untarnished by time.
Category Theory for Programmers
Bartosz Milewski - 2014
Collected from the series of blog posts starting at: https://bartoszmilewski.com/2014/10/2...Hardcover available at: http://www.blurb.com/b/9008339-catego...
Flow
Philip Ball - 2008
It is the complex dynamics of flow that structures our atmosphere, land, and oceans.Part of a trilogy of books exploring the science of patterns in nature by acclaimed science writer Philip Ball, this volume explores the elusive rules that govern flow - the science of chaotic behavior.
The Great Equations: Breakthroughs in Science from Pythagoras to Heisenberg
Robert P. Crease - 2008
Crease tells the stories behind ten of the greatest equations in human history. Was Nobel laureate Richard Feynman really joking when he called Maxwell's electromagnetic equations the most significant event of the nineteenth century? How did Newton's law of gravitation influence young revolutionaries? Why has Euler's formula been called "God's equation," and why did a mysterious ecoterrorist make it his calling card? What role do betrayal, insanity, and suicide play in the second law of thermodynamics?The Great Equations tells the stories of how these equations were discovered, revealing the personal struggles of their ingenious originators. From "1 + 1 = 2" to Heisenberg's uncertainty principle, Crease locates these equations in the panoramic sweep of Western history, showing how they are as integral to their time and place of creation as are great works of art.
The Principia: Mathematical Principles of Natural Philosophy
Isaac Newton - 1687
Even after more than three centuries and the revolutions of Einsteinian relativity and quantum mechanics, Newtonian physics continues to account for many of the phenomena of the observed world, and Newtonian celestial dynamics is used to determine the orbits of our space vehicles.This completely new translation, the first in 270 years, is based on the third (1726) edition, the final revised version approved by Newton; it includes extracts from the earlier editions, corrects errors found in earlier versions, and replaces archaic English with contemporary prose and up-to-date mathematical forms. Newton's principles describe acceleration, deceleration, and inertial movement; fluid dynamics; and the motions of the earth, moon, planets, and comets. A great work in itself, the Principia also revolutionized the methods of scientific investigation. It set forth the fundamental three laws of motion and the law of universal gravity, the physical principles that account for the Copernican system of the world as emended by Kepler, thus effectively ending controversy concerning the Copernican planetary system.The illuminating Guide to the Principia by I. Bernard Cohen, along with his and Anne Whitman's translation, will make this preeminent work truly accessible for today's scientists, scholars, and students.
The Art of Mathematics
Jerry P. King - 1992
Jerry King is no exception. His informal, nontechnical book, as its title implies, is organized around what Bertrand Russell called the 'supreme beauty' of mathematics--a beauty 'capable of a stern perfection such as only the greatest art can show.'NATUREIn this clear, concise, and superbly written volume, mathematics professor and poet Jerry P. King reveals the beauty that is at the heart of mathematics--and he makes that beauty accessible to all readers. Darting wittily from Euclid to Yeats, from Poincare to Rembrandt, from axioms to symphonies, THE ART OF MATHEMATICS explores the difference between real, rational, and complex numbers; analyzes the intellectual underpinnings of pure and applied mathematics; and reveals the fundamental connection between aesthetics and mathematics. King also sheds light on how mathematicians pursue their research and how our educational system perpetuates the damaging divisions between the two cultures.
Introducing Game Theory: A Graphic Guide
Ivan Pastine - 2017
Economists Ivan and Tuvana Pastine explain why, in these situations, we sometimes cooperate, sometimes clash, and sometimes act in a way that seems completely random.Stylishly brought to life by award-winning cartoonist Tom Humberstone, Game Theory will help readers understand behaviour in everything from our social lives to business, global politics to evolutionary biology. It provides a thrilling new perspective on the world we live in.
The Weil Conjectures: On Math and the Pursuit of the Unknown
Karen Olsson - 2019
As she delves into the lives of these two singular French thinkers, she grapples with their intellectual obsessions and rekindles one of her own. For Olsson, as a math major in college and a writer now, it’s the odd detours that lead to discovery, to moments of insight. Thus The Weil Conjectures—an elegant blend of biography and memoir and a meditation on the creative life.Personal, revealing, and approachable, The Weil Conjectures eloquently explores math as it relates to intellectual history, and shows how sometimes the most inexplicable pursuits turn out to be the most rewarding.
Turing's Cathedral: The Origins of the Digital Universe
George Dyson - 2012
In Turing’s Cathedral, George Dyson focuses on a small group of men and women, led by John von Neumann at the Institute for Advanced Study in Princeton, New Jersey, who built one of the first computers to realize Alan Turing’s vision of a Universal Machine. Their work would break the distinction between numbers that mean things and numbers that do things—and our universe would never be the same. Using five kilobytes of memory (the amount allocated to displaying the cursor on a computer desktop of today), they achieved unprecedented success in both weather prediction and nuclear weapons design, while tackling, in their spare time, problems ranging from the evolution of viruses to the evolution of stars. Dyson’s account, both historic and prophetic, sheds important new light on how the digital universe exploded in the aftermath of World War II. The proliferation of both codes and machines was paralleled by two historic developments: the decoding of self-replicating sequences in biology and the invention of the hydrogen bomb. It’s no coincidence that the most destructive and the most constructive of human inventions appeared at exactly the same time. How did code take over the world? In retracing how Alan Turing’s one-dimensional model became John von Neumann’s two-dimensional implementation, Turing’s Cathedral offers a series of provocative suggestions as to where the digital universe, now fully three-dimensional, may be heading next.
Math Without Numbers
Milo Beckman - 2021
This book upends the conventional approach to math, inviting you to think creatively about shape and dimension, the infinite and infinitesimal, symmetries, proofs, and how these concepts all fit together. What awaits readers is a freewheeling tour of the inimitable joys and unsolved mysteries of this curiously powerful subject.Like the classic math allegory Flatland, first published over a century ago, or Douglas Hofstadter's Godel, Escher, Bach forty years ago, there has never been a math book quite like Math Without Numbers. So many popularizations of math have dwelt on numbers like pi or zero or infinity. This book goes well beyond to questions such as: How many shapes are there? Is anything bigger than infinity? And is math even true? Milo Beckman shows why math is mostly just pattern recognition and how it keeps on surprising us with unexpected, useful connections to the real world.The ambitions of this book take a special kind of author. An inventive, original thinker pursuing his calling with jubilant passion. A prodigy. Milo Beckman completed the graduate-level course sequence in mathematics at age sixteen, when he was a sophomore at Harvard; while writing this book, he was studying the philosophical foundations of physics at Columbia under Brian Greene, among others.
Mathematics
Keith Devlin - 1988
A modern classic by an accomplished mathematician and best-selling author has been updated to encompass and explain the recent headline-making advances in the field in non-technical terms.