Book picks similar to
A Precis of Mathematical Logic by Józef Maria Bocheński
logic
mathematics
philosophy
philosophy-of-mathematics-logic
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.
Trivium: The Classical Liberal Arts of Grammar, Logic, & Rhetoric
John Michell - 2016
Following on the success of Quadrivium and Sciencia, Trivium gathers six Wooden Books titles together into a beautiful six-color package that presents ancient wisdom in an accessible way. Trivium includes the books Euphonics, Grammar, Logic, Rhetoric,, Poetic Meter and Form, and Ethics.
Naive Set Theory
Paul R. Halmos - 1960
This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic set- theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism. The point of view throughout is that of a prospective mathematician anxious to study groups, or integrals, or manifolds. From this point of view the concepts and methods of this book are merely some of the standard mathematical tools; the expert specialist will find nothing new here. Scholarly bibliographical credits and references are out of place in a purely expository book such as this one. The student who gets interested in set theory for its own sake should know, however, that there is much more to the subject than there is in this book. One of the most beautiful sources of set-theoretic wisdom is still Hausdorff's Set theory. A recent and highly readable addition to the literature, with an extensive and up-to-date bibliography, is Axiomatic set theory by Suppes.
Computability and Logic
George S. Boolos - 1980
Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.
Human Compatible: Artificial Intelligence and the Problem of Control
Stuart Russell - 2019
Conflict between humans and machines is seen as inevitable and its outcome all too predictable.In this groundbreaking book, distinguished AI researcher Stuart Russell argues that this scenario can be avoided, but only if we rethink AI from the ground up. Russell begins by exploring the idea of intelligence in humans and in machines. He describes the near-term benefits we can expect, from intelligent personal assistants to vastly accelerated scientific research, and outlines the AI breakthroughs that still have to happen before we reach superhuman AI. He also spells out the ways humans are already finding to misuse AI, from lethal autonomous weapons to viral sabotage.If the predicted breakthroughs occur and superhuman AI emerges, we will have created entities far more powerful than ourselves. How can we ensure they never, ever, have power over us? Russell suggests that we can rebuild AI on a new foundation, according to which machines are designed to be inherently uncertain about the human preferences they are required to satisfy. Such machines would be humble, altruistic, and committed to pursue our objectives, not theirs. This new foundation would allow us to create machines that are provably deferential and provably beneficial.In a 2014 editorial co-authored with Stephen Hawking, Russell wrote, "Success in creating AI would be the biggest event in human history. Unfortunately, it might also be the last." Solving the problem of control over AI is not just possible; it is the key that unlocks a future of unlimited promise.
Eternity: God, Soul, New Physics
Trevelyan - 2013
This is a book about how many of the 'big' philosophical and religious questions that have puzzled mankind for centuries can be answered by recent breakthroughs in science.
What Is Mathematics, Really?
Reuben Hersh - 1997
Reuben Hersh argues the contrary, that mathematics must be understood as a human activity, a social phenomenon, part of human culture, historically evolved, and intelligible only in a social context. Hersh pulls the screen back to reveal mathematics as seen by professionals, debunking many mathematical myths, and demonstrating how the humanist idea of the nature of mathematics more closely resembles how mathematicians actually work. At the heart of his book is a fascinating historical account of the mainstream of philosophy--ranging from Pythagoras, Descartes, and Spinoza, to Bertrand Russell, David Hilbert, and Rudolph Carnap--followed by the mavericks who saw mathematics as a human artifact, including Aristotle, Locke, Hume, Mill, and Lakatos.What is Mathematics, Really? reflects an insider's view of mathematical life, and will be hotly debated by anyone with an interest in mathematics or the philosophy of science.
Footballistics
James Coventry - 2018
The nature of football continually changes, which means its analysis must also keep pace. This book is for students, thinkers, and theorists of the game.'Ted Hopkins - Carlton premiership player, author, and co-founder of Champion Data. Australian Rules football has been described as the most data-rich sport on Earth. Every time and everywhere an AFL side takes to the field, it is shadowed by an army of statisticians and number crunchers. The information they gather has become the sport's new language and currency. ABC journalist James Coventry, author of the acclaimed Time and Space, has joined forces with a group of razor-sharp analysts to decipher the data, and to use it to question some of football's long-held truisms. Do umpires really favour the home side? Has goal kicking accuracy deteriorated? Is Geelong the true master of the draft? Are blonds unfairly favoured in Brownlow medal voting? And are Victorians the most passionate fans? Through a blend of entertaining storytelling and expert analysis, this book will answer more questions about footy than you ever thought to ask. Praise for Time and Space:'Brilliant, masterful' - The Guardian'Arguably one of the most important books yet written on Australian Rules football.' - Inside History'Should find its way into the hands of every coach.' - AFL Record
The Major Works
Francis Bacon - 2002
Francis Bacon held some of the highest public offices in the land and in his spare time studied natural philosophy and a wide variety of other subjects. His systematic classification of all branches of knowledge became the basis for all later constructions, and his Essays are unsurpassed in their observations on society and human behavior. This extensive anthology includes the major English literary works on which his reputation rests: The Advancement of Learning, The Essays (1625, as well as the earliest version of 1597), and the posthumously published Utopian fable The New Atlantis (1626). In addition it reprints other works which illustrate Bacon's abilities in politics, law, theology, and poetry. A special feature of the edition is its extensive annotation which identifies Bacon's sources and allusions, and elucidates his vocabulary.
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson - 1989
This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.
The Many Worlds of Hugh Everett III: Multiple Universes, Mutual Assured Destruction, and the Meltdown of a Nuclear Family
Peter Byrne - 2010
Using Everett's unpublished papers (recently discovered in his son's basement) and dozens of interviews with his friends, colleagues, and surviving family members, Byrne paints, for the general reader, a detailed portrait of the genius who invented an astonishing way of describing our complex universe from the inside. Everett's mathematical model (called the "universal wave function") treats all possible events as "equally real," and concludes that countless copies of every person and thing exist in all possible configurations spread over an infinity of universes: many worlds. Afflicted by depression and addictions, Everett strove to bring rational order to the professional realms in which he played historically significant roles. In addition to his famous interpretation of quantum mechanics, Everett wrote a classic paper in game theory; created computer algorithms that revolutionized military operations research; and performed pioneering work in artificial intelligence for top secret government projects. He wrote the original software for targeting cities in a nuclear hot war; and he was one of the first scientists to recognize the danger of nuclear winter. As a Cold Warrior, he designed logical systems that modeled "rational" human and machine behaviors, and yet he was largely oblivious to the emotional damage his irrational personal behavior inflicted upon his family, lovers, and business partners. He died young, but left behind a fascinating record of his life, including correspondence with such philosophically inclined physicists as Niels Bohr, Norbert Wiener, and John Wheeler. These remarkable letters illuminate the long and often bitter struggle to explain the paradox of measurement at the heart of quantum physics. In recent years, Everett's solution to this mysterious problem-the existence of a universe of universes-has gained considerable traction in scientific circles, not as science fiction, but as an explanation of physical reality.
Fields of Color: The theory that escaped Einstein
Rodney A. Brooks - 2010
QFT is the only physics theory that makes sense and that dispels or resolves the paradoxes of relativity and quantum mechanics that have confused and mystified so many people.
Mathematics and Its History
John Stillwell - 1997
Even when dealing with standard material, Stillwell manages to dramatize it and to make it worth rethinking. In short, his book is a splendid addition to the genre of works that build royal roads to mathematical culture for the many." (Mathematical Intelligencer)This second edition includes new chapters on Chinese and Indian number theory, on hypercomplex numbers, and on algebraic number theory. Many more exercises have been added, as well as commentary to the exercises explaining how they relate to the preceding section, and how they foreshadow later topics.
5 Rules for White Belts
Chris Matakas - 2018
A simple conceptual framework of Jiu Jitsu for beginners seeking to use Brazilian Jiu Jitsu as a vehicle for personal development.
Bodhisattva Blues
Edward Canfor-Dumas - 2014
Funny, moving and inspirational, it is just as delightful as Canfor-Dumas’ first novel, ‘The Buddha, Geoff and Me’. When we catch up with our hero Ed, he’s abandoned his Buddhist practice and is stuck in a rut – no career, no love life and no cash.Plunged unwittingly into a world of street crime and dodgy property deals, Ed finds himself dusting down his beads and reluctantly picking up his Nichiren Buddhist practice to guide him through a series of dramas, dilemmas and big decisions. Spiritual insights then emerge from the grit, grime and SNAFUs of Ed’s everyday life. By turns unsettling and uplifting, this is a book that will also get you thinking about complex issues of our time such as depression, racism, bereavement, suicide and youth crime.And it gives possibly the best ever explanation of the wisdom that comes from chanting Nam Myoho Renge Kyo: “Like sending a truffle hound to root around in the leaf-litter of my subconscious and dig up what’s bothering me.” The description by the publisher is spot on – this absolutely is a book “for everyone who's ever wondered whether enlightenment really is compatible with the daily commute.” Welcome back Ed, lovin' yer truffles…