Proofs and Refutations: The Logic of Mathematical Discovery


Imre Lakatos - 1976
    Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations.

Discrete Mathematics and Its Applications


Kenneth H. Rosen - 2000
    These themes include mathematical reasoning, combinatorial analysis, discrete structures, algorithmic thinking, and enhanced problem-solving skills through modeling. Its intent is to demonstrate the relevance and practicality of discrete mathematics to all students. The Fifth Edition includes a more thorough and linear presentation of logic, proof types and proof writing, and mathematical reasoning. This enhanced coverage will provide students with a solid understanding of the material as it relates to their immediate field of study and other relevant subjects. The inclusion of applications and examples to key topics has been significantly addressed to add clarity to every subject. True to the Fourth Edition, the text-specific web site supplements the subject matter in meaningful ways, offering additional material for students and instructors. Discrete math is an active subject with new discoveries made every year. The continual growth and updates to the web site reflect the active nature of the topics being discussed. The book is appropriate for a one- or two-term introductory discrete mathematics course to be taken by students in a wide variety of majors, including computer science, mathematics, and engineering. College Algebra is the only explicit prerequisite.

The Quark and the Jaguar: Adventures in the Simple and the Complex


Murray Gell-Mann - 1994
    Nobel laureate Murray Gell-Mann offers a uniquely personal and unifying vision of the relationship between the fundamental laws of physics and the complexity and diversity of the natural world.

Tractatus Logico-Philosophicus


Ludwig Wittgenstein - 1921
    Written in short, carefully numbered paragraphs of extreme brilliance, it captured the imagination of a generation of philosophers. For Wittgenstein, logic was something we use to conquer a reality which is in itself both elusive and unobtainable. He famously summarized the book in the following words: 'What can be said at all can be said clearly; and what we cannot talk about we must pass over in silence.' David Pears and Brian McGuinness received the highest praise for their meticulous translation. The work is prefaced by Bertrand Russell's original introduction to the first English edition.

The Logic of Scientific Discovery


Karl Popper - 1934
    It remains the one of the most widely read books about science to come out of the twentieth century.(Note: the book was first published in 1934, in German, with the title Logik der Forschung. It was "reformulated" into English in 1959. See Wikipedia for details.)

The Algorithmic Leader: How to Be Smart When Machines Are Smarter Than You


Mike Walsh - 2019
    

A Course of Pure Mathematics


G.H. Hardy - 1908
    Since its publication in 1908, it has been a classic work to which successive generations of budding mathematicians have turned at the beginning of their undergraduate courses. In its pages, Hardy combines the enthusiasm of a missionary with the rigor of a purist in his exposition of the fundamental ideas of the differential and integral calculus, of the properties of infinite series and of other topics involving the notion of limit.

The Unreasonable Virtue of Fly Fishing


Mark Kurlansky - 2021
    fish--and the fly fisher does not always (or often) win. The targets--salmon, trout, and char; and for some, bass, tarpon, tuna, bonefish, and even marlin--are highly intelligent, wily, strong, and athletic animals. The allure, Kurlansky learns, is that fly fishing makes catching a fish as difficult as possible. There is an art, too, in the crafting of flies. Beautiful and intricate, some are made with more than two dozen pieces of feather and fur from a wide range of animals. The cast as well is a matter of grace and rhythm, with different casts and rods yielding varying results.Kurlansky is known for his deep dives into the history of specific subjects, from cod to oysters to salt. But he spent his boyhood days on the shore of a shallow pond. Here, where tiny fish weaved under a rocky waterfall, he first tied string to a branch, dangled a worm into the water, and unleashed his passion for fishing. Since then, a lifelong love of the sport has led him around the world to many countries, coasts, and rivers—from the wilds of Alaska to Basque country, from the Catskills in New York to Oregon's Columbia River, from Ireland and Norway to Russia and Japan. And, in true Kurlansky fashion, he absorbed every fact, detail, and anecdote along the way.The Unreasonable Virtue of Fly Fishing marries Kurlansky's signature wide-ranging reach with a subject that has captivated him for a lifetime--combining history, craft, and personal memoir to show readers, devotees of the sport or not, the necessity of experiencing nature’s balm first-hand.

Programming the Universe: A Quantum Computer Scientist Takes on the Cosmos


Seth Lloyd - 2006
    This wonderfully accessible book illuminates the professional and personal paths that led him to this remarkable conclusion.All interactions between particles in the universe, Lloyd explains, convey not only energy but also information—in other words, particles not only collide, they compute. And what is the entire universe computing, ultimately? “Its own dynamical evolution,” he says. “As the computation proceeds, reality unfolds.”To elucidate his theory, Lloyd examines the history of the cosmos, posing questions that in other hands might seem unfathomably complex: How much information is there in the universe? What information existed at the moment of the Big Bang and what happened to it? How do quantum mechanics and chaos theory interact to create our world? Could we attempt to re-create it on a giant quantum computer? Programming the Universe presents an original and compelling vision of reality, revealing our world in an entirely new light.

On Formally Undecidable Propositions of Principia Mathematica and Related Systems


Kurt Gödel - 1992
    Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20th-century mathematics.The present volume reprints the first English translation of Giidel's far-reaching work. Not only does it make the argument more intelligible, but the introduction contributed by Professor R. B. Braithwaite (Cambridge University}, an excellent work of scholarship in its own right, illuminates it by paraphrasing the major part of the argument.This Dover edition thus makes widely available a superb edition of a classic work of original thought, one that will be of profound interest to mathematicians, logicians and anyone interested in the history of attempts to establish axioms that would provide a rigorous basis for all mathematics. Translated by B. Meltzer, University of Edinburgh. Preface. Introduction by R. B. Braithwaite.

Conscious Robots: Facing up to the reality of being human.


Paul Kwatz - 2005
    Conscious Robots challenges us to face up to the reality of being human: just because we're conscious doesn't mean we're not robots. So what would we do with free will if we really had it? And how does “being a robot” explain why life, as Buddha suggested, is “inherently unsatisfactory”, despite our luxurious homes, successful careers and loving families? Conscious Robots shows why we’re so convinced that we’re in charge, when we’re really just carrying out our evolved pre-programmed instructions. And reveals the inevitable future, how one day humans will take control of their conscious minds, get happy and stay happy. But it will come too late for you, Dear Reader… so no point buying the book. Unless you’re extremely rich, of course. Then you can pay for the neurochemical research yourself. “Easy to understand and persuasive” “Reminded me of Douglas Adams and Terry Pratchett”

Language, Truth, and Logic


A.J. Ayer - 1936
    Topics: elimination of metaphysics, function of philosophy, nature of philosophical analysis, the a priori, truth & probability, critique of ethics & theology, self & the common world etc.IntroductionThe elimination of metaphysicsThe function of philosophy The nature of philosophical analysisThe a priori Truth & probabilityCritique of ethics & theologyThe self & the common worldSolutions of outstanding philosophical disputesIndex

The Shape of Inner Space: String Theory and the Geometry of the Universe's Hidden Dimensions


Shing-Tung Yau - 2010
    According to theorists, the missing six are curled up in bizarre structures known as Calabi-Yau manifolds. In The Shape of Inner Space, Shing-Tung Yau, the man who mathematically proved that these manifolds exist, argues that not only is geometry fundamental to string theory, it is also fundamental to the very nature of our universe.Time and again, where Yau has gone, physics has followed. Now for the first time, readers will follow Yau’s penetrating thinking on where we’ve been, and where mathematics will take us next. A fascinating exploration of a world we are only just beginning to grasp, The Shape of Inner Space will change the way we consider the universe on both its grandest and smallest scales.

Physics and Philosophy


James Hopwood Jeans - 1942
    This discussion paves the way for an outline of epistemological methods in which the rationalism of thinkers like Descartes, Leibniz and Kant is compared to the empiricism of Locke and Hume.Over the course of the book, in a manner that is careful and methodic but never dull, Jeans marshals the evidence for his startling conclusion: recent discoveries in astronomy, mathematics, sub-atomic physics and other disciplines have washed away the scientific basis of many older philosophic discussions. Such long-standing problems as causality, free will and determinism, the nature of space and time, materialism and mentalism must be considered anew int he light of new knowledge and information attained by 20th-century physical science. Even then, however, Jeans cautions against drawing any positive conclusions, pointing out that both physics and philosophy are both relatively young and that we are still, in Newton's words, like children playing with pebbles on the sea-shore, while the great ocean of truth rolls, unexplored, beyond our reach.Although first published nearly 40 years ago, nothing in physics has happened to affect Jean's account in this book; it remains remarkably fresh and undated, a classic exposition of the philosophical implications of scientific knowledge.

Wholeness and the Implicate Order


David Bohm - 1980
    Although deeply influenced by Einstein, he was also, more unusually for a scientist, inspired by mysticism. Indeed, in the 1970s and 1980s he made contact with both J. Krishnamurti and the Dalai Lama whose teachings helped shape his work. In both science and philosophy, Bohm's main concern was with understanding the nature of reality in general and of consciousness in particular. In this classic work he develops a theory of quantum physics which treats the totality of existence as an unbroken whole. Writing clearly and without technical jargon, he makes complex ideas accessible to anyone interested in the nature of reality.