Book picks similar to
Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks) by Richard Zach
logic
logic-and-mathematics
mathematics
Information Theory, Inference and Learning Algorithms
David J.C. MacKay - 2002
These topics lie at the heart of many exciting areas of contemporary science and engineering - communication, signal processing, data mining, machine learning, pattern recognition, computational neuroscience, bioinformatics, and cryptography. This textbook introduces theory in tandem with applications. Information theory is taught alongside practical communication systems, such as arithmetic coding for data compression and sparse-graph codes for error-correction. A toolbox of inference techniques, including message-passing algorithms, Monte Carlo methods, and variational approximations, are developed alongside applications of these tools to clustering, convolutional codes, independent component analysis, and neural networks. The final part of the book describes the state of the art in error-correcting codes, including low-density parity-check codes, turbo codes, and digital fountain codes -- the twenty-first century standards for satellite communications, disk drives, and data broadcast. Richly illustrated, filled with worked examples and over 400 exercises, some with detailed solutions, David MacKay's groundbreaking book is ideal for self-learning and for undergraduate or graduate courses. Interludes on crosswords, evolution, and sex provide entertainment along the way. In sum, this is a textbook on information, communication, and coding for a new generation of students, and an unparalleled entry point into these subjects for professionals in areas as diverse as computational biology, financial engineering, and machine learning.
Mathematics: The Core Course For A Level (Core Course)
Linda Bostock - 1981
Worked examples and exercises support the text. An ELBS/LPBB edition is available.
The Complete Works: The Revised Oxford Translation, Vol. 1
Aristotle
It is universally recognized as the standard English version of Aristotle. This revised edition contains the substance of the original translation, slightly emended in light of recent scholarship; three of the original versions have been replaced by new translations; and a new and enlarged selection of Fragments has been added. The aim of the translation remains the same: to make the surviving works of Aristotle readily accessible to English speaking readers.
The Universal Computer: The Road from Leibniz to Turing
Martin D. Davis - 2000
How can today's computers perform such a bewildering variety of tasks if computing is just glorified arithmetic? The answer, as Martin Davis lucidly illustrates, lies in the fact that computers are essentially engines of logic. Their hardware and software embody concepts developed over centuries by logicians such as Leibniz, Boole, and Godel, culminating in the amazing insights of Alan Turing. The Universal Computer traces the development of these concepts by exploring with captivating detail the lives and work of the geniuses who first formulated them. Readers will come away with a revelatory understanding of how and why computers work and how the algorithms within them came to be.
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Charles Petzold - 2008
Turing
Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be "computable," creating the field of computability theory in the process, a foundation of present-day computer programming.The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.Interwoven into the narrative are the highlights of Turing's own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.
Believing Bullshit: How Not to Get Sucked into an Intellectual Black Hole
Stephen Law - 2011
The author suggests that, like the black holes of outer space, from which nothing, not even light, can escape, our contemporary cultural landscape contains numerous intellectual black-holes—belief systems constructed in such a way that unwary passers-by can similarly find themselves drawn in. While such self-sealing bubbles of belief will most easily trap the gullible or poorly educated, even the most intelligent and educated of us are potentially vulnerable. Some of the world’s greatest thinkers have fallen in, never to escape. This witty, insightful critique will help immunize readers against the wiles of cultists, religious and political zealots, conspiracy theorists, promoters of flaky alternative medicines, and various other nutcases by clearly setting out the tricks of the trade by which such insidious belief systems are created and maintained.
Philosophical Writings of Peirce
Charles Sanders Peirce - 1955
It should prove a real boon to the student of Peirce." — The Modern SchoolmanCharles S. Peirce was a thinker of great originality and power. Although unpublished in his lifetime, he was recognized as an equal by such men as William James and John Dewey and, since his death in 1914, has come to the forefront of American philosophy. This volume, prepared by the Johnsonian Professor of Philosophy at Columbia University, formerly chairman of Columbia's philosophy department, is a carefully balanced exposition of Peirce's complete philosophical system as set forth in his own writings.The 28 chapters, in which appropriate sections of Peirce's work are interwoven into a brilliant selection that reveals his essential ideas, cover epistemology, phenomenology, cosmology, and scientific method, with especially interesting material on logic as the theory of signs, pure chance vs, pure law in the universe, symbolic logic, common sense, pragmatism (of which he was the founder), and ethics.Justus Buchler is author of Charles Peirce's Empiricism (1939), Philosophy: An Introduction (with J. H. Randall, Jr., 1942), and more recently, a series of books which form an ongoing philosophic structure: Toward a General Theory of Human Judgement (1951), Nature and Judgment (1855), and The Concept of Method (1961). It has been said of these volumes, "A fresh and vital system of ideas has been introduced into the world of contemporary philosophy." (Journal of Philosophy)."It is a very signal advantage to have this collection of Peirce's most important work within the covers of a single substantial volume. We should all be very grateful to Mr. Buchler." — John Laird, Philosophy
Gravity True For You But Not For Me
Michael Edwards - 2011
There are many contradictory beliefs about God that claim to be the truth. But since truth never contradicts itself, who really has the truth? Utilizing objective evidence like a detective does in an investigation, the facts point to the one belief that can be proven beyond a reasonable doubt. One truth that applies to everyone if they believe it or not. Follow the evidence and see for yourself.Setting feelings and what others believe aside for a moment learn why objective evidence is the best way to find truth in any investigation, including the truth about God. See for yourself exactly why Christianity is the most reasonable belief available based on the facts and why it applies to everyone, everywhere even if they do not believe it. Learn the two things we all encounter daily that the Bible states is absolute proof of God's existence and leave every person without excuse, even those who have never read the Bible. Learn why trying to be a good person is not good enough.Weigh the objective evidence for yourself and make a reasonable decision about God and then pass the evidence on to others so they can discover the truth. Everyone deserves the opportunity to examine the evidence for themselves.Perfect for the seeker and the believer who want to eliminate doubts and have a reasonable assurance that their faith is actually placed in the truth.If you are a believer you have an obligation to share the truth. Let this book show your friends and family the sound foundation your belief rests upon. It's not about religion, it's about truth.
Future Babble: Why Expert Predictions Fail - and Why We Believe Them Anyway
Dan Gardner - 2010
In 1967, they said the USSR would have one of the fastest-growing economies in the year 2000; in 2000, the USSR did not exist. In 1911, it was pronounced that there would be no more wars in Europe; we all know how that turned out. Face it, experts are about as accurate as dart-throwing monkeys. And yet every day we ask them to predict the future — everything from the weather to the likelihood of a catastrophic terrorist attack. Future Babble is the first book to examine this phenomenon, showing why our brains yearn for certainty about the future, why we are attracted to those who predict it confidently, and why it’s so easy for us to ignore the trail of outrageously wrong forecasts.In this fast-paced, example-packed, sometimes darkly hilarious book, journalist Dan Gardner shows how seminal research by UC Berkeley professor Philip Tetlock proved that pundits who are more famous are less accurate — and the average expert is no more accurate than a flipped coin. Gardner also draws on current research in cognitive psychology, political science, and behavioral economics to discover something quite reassuring: The future is always uncertain, but the end is not always near.
Paradoxes
R.M. Sainsbury - 1988
Unlike party puzzles or brain teasers, many paradoxes are serious in that they raise serious philosophical problems, and are associated with crises of thought and revolutionary advances. To grapple with them is not merely to engage in an intellectual game, but to come to grips with issues of real import. The second, revised edition of this intriguing book expands and updates the text to take account of new work on the subject. It provides a valuable and accessible introduction to a range of paradoxes and their possible solutions, with questions designed to engage the reader with the arguments and full bibliographical references to both classic and current literature on the topic.
Tell Me The Odds: A 15 Page Introduction To Bayes Theorem
Scott Hartshorn - 2017
Essentially, you make an initial guess, and then get more data to improve it. Bayes Theorem, or Bayes Rule, has a ton of real world applications, from estimating your risk of a heart attack to making recommendations on Netflix But It Isn't That Complicated This book is a short introduction to Bayes Theorem. It is only 15 pages long, and is intended to show you how Bayes Theorem works as quickly as possible. The examples are intentionally kept simple to focus solely on Bayes Theorem without requiring that the reader know complicated probability distributions. If you want to learn the basics of Bayes Theorem as quickly as possible, with some easy to duplicate examples, this is a good book for you.
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.
Conned Again, Watson: Cautionary Tales Of Logic, Math, And Probability
Colin Bruce - 2000
In these cautionary tales of greedy gamblers, reckless businessmen, and ruthless con men, Sherlock Holmes uses his deep understanding of probability, statistics, decision theory, and game theory to solve crimes and protect the innocent. But it's not just the characters in these well-crafted stories that are deceived by statistics or fall prey to gambling fallacies. We all suffer from the results of poor decisions. In this illuminating collection, Bruce entertains while teaching us to avoid similar blunders. From "The Execution of Andrews" to "The Case of the Gambling Nobleman," there has never been a more exciting way to learn when to take a calculated risk-and how to spot a scam.
Exact Thinking in Demented Times: The Vienna Circle and the Epic Quest for the Foundations of Science
Karl Sigmund - 2015
Composed of such luminaries as Kurt Gödel and Rudolf Carnap, and stimulated by the works of Ludwig Wittgenstein and Karl Popper, the Vienna Circle left an indelible mark on science.Exact Thinking in Demented Times tells the often outrageous, sometimes tragic, and never boring stories of the men who transformed scientific thought. A revealing work of history, this landmark book pays tribute to those who dared to reinvent knowledge from the ground up.
The Abolition of Sanity: C.S. Lewis on the Consequences of Modernism
Steve Turley - 2019