Book picks similar to
The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna
tech-concurrency
tech-formal
charge
philosophy
Quantum Computing Since Democritus
Scott Aaronson - 2013
Full of insights, arguments and philosophical perspectives, the book covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory, computability and complexity theory, quantum computing, cryptography, the information content of quantum states and the interpretation of quantum mechanics. There are also extended discussions about time travel, Newcomb's Paradox, the anthropic principle and the views of Roger Penrose. Aaronson's informal style makes this fascinating book accessible to readers with scientific backgrounds, as well as students and researchers working in physics, computer science, mathematics and philosophy.
Logicomix: An Epic Search for Truth
Apostolos Doxiadis - 2009
This graphic novel recounts the spiritual odyssey of philosopher Bertrand Russell. In his agonized search for absolute truth, he crosses paths with thinkers like Gottlob Frege, David Hilbert & Kurt Gödel, & finds a passionate student in Ludwig Wittgenstein. But his most ambitious goal—to establish unshakable logical foundations of mathematics—continues to loom before him. Thru love & hate, peace & war, he persists in the mission threatening to claim both his career & happiness, finally driving him to the brink of insanity. This story is at the same time a historical novel & an accessible explication of some of the biggest ideas of mathematics & modern philosophy. With rich characterizations & atmospheric artwork, it spins the pursuit of such ideas into a satisfying tale. Probing, layered, the book throws light on Russell’s inner struggles while setting them in the context of the timeless questions he tried to answer. At its heart, Logicomix is a story about the conflict between ideal rationality & the flawed fabric of reality.
The Emperor's New Mind: Concerning Computers, Minds and the Laws of Physics
Roger Penrose - 1989
Admittedly, computers now play chess at the grandmaster level, but do they understand the game as we do? Can a computer eventually do everything a human mind can do? In this absorbing and frequently contentious book, Roger Penrose--eminent physicist and winner, with Stephen Hawking, of the prestigious Wolf prize--puts forward his view that there are some facets of human thinking that can never be emulated by a machine. Penrose examines what physics and mathematics can tell us about how the mind works, what they can't, and what we need to know to understand the physical processes of consciousness. He is among a growing number of physicists who think Einstein wasn't being stubborn when he said his little finger told him that quantum mechanics is incomplete, and he concludes that laws even deeper than quantum mechanics are essential for the operation of a mind. To support this contention, Penrose takes the reader on a dazzling tour that covers such topics as complex numbers, Turing machines, complexity theory, quantum mechanics, formal systems, Godel undecidability, phase spaces, Hilbert spaces, black holes, white holes, Hawking radiation, entropy, quasicrystals, the structure of the brain, and scores of other subjects. The Emperor's New Mind will appeal to anyone with a serious interest in modern physics and its relation to philosophical issues, as well as to physicists, mathematicians, philosophers and those on either side of the AI debate.
Book of Proof
Richard Hammack - 2009
It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra. Although it may be more meaningful to the student who has had some calculus, there is really no prerequisite other than a measure of mathematical maturity. Topics include sets, logic, counting, methods of conditional and non-conditional proof, disproof, induction, relations, functions and infinite cardinality.
The Book of Why: The New Science of Cause and Effect
Judea Pearl - 2018
Today, that taboo is dead. The causal revolution, instigated by Judea Pearl and his colleagues, has cut through a century of confusion and established causality -- the study of cause and effect -- on a firm scientific basis. His work explains how we can know easy things, like whether it was rain or a sprinkler that made a sidewalk wet; and how to answer hard questions, like whether a drug cured an illness. Pearl's work enables us to know not just whether one thing causes another: it lets us explore the world that is and the worlds that could have been. It shows us the essence of human thought and key to artificial intelligence. Anyone who wants to understand either needs The Book of Why.
Letters to a Young Mathematician
Ian Stewart - 2006
Subjects ranging from the philosophical to the practical--what mathematics is and why it's worth doing, the relationship between logic and proof, the role of beauty in mathematical thinking, the future of mathematics, how to deal with the peculiarities of the mathematical community, and many others--are dealt with in Stewart's much-admired style, which combines subtle, easygoing humor with a talent for cutting to the heart of the matter. In the tradition of G.H. Hardy's classic A Mathematician's Apology, this book is sure to be a perennial favorite with students at all levels, as well as with other readers who are curious about the frequently incomprehensible world of mathematics.
Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation
Mark C. Chu-Carroll - 2013
There is joy and beauty in mathematics, and in more than two dozen essays drawn from his popular “Good Math” blog, you’ll find concepts, proofs, and examples that are often surprising, counterintuitive, or just plain weird.Mark begins his journey with the basics of numbers, with an entertaining trip through the integers and the natural, rational, irrational, and transcendental numbers. The voyage continues with a look at some of the oddest numbers in mathematics, including zero, the golden ratio, imaginary numbers, Roman numerals, and Egyptian and continuing fractions. After a deep dive into modern logic, including an introduction to linear logic and the logic-savvy Prolog language, the trip concludes with a tour of modern set theory and the advances and paradoxes of modern mechanical computing.If your high school or college math courses left you grasping for the inner meaning behind the numbers, Mark’s book will both entertain and enlighten you.
Discrete Mathematical Structures
Bernard Kolman - 1995
It covers areas such as fundamentals, logic, counting, relations and digraphs, trees, topics in graph theory, languages and finite-state machines, and groups and coding.
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.
How to Prove It: A Structured Approach
Daniel J. Velleman - 1994
The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5
To Mock a Mockingbird and Other Logic Puzzles
Raymond M. Smullyan - 1985
It contains many puzzles and their solutions and aims to attract many readers in an age where computer science, logic, and mathematics are becoming increasingly important and popular.
Gödel's Proof
Ernest Nagel - 1958
Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences--perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times."However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.New York University Press is proud to publish this special edition of one of its bestselling books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.
Mental Math: Tricks To Become A Human Calculator
Abhishek V.R. - 2017
Just read this till the end You don’t have to buy this book. Just read this till end & you will learn something that will change the way you do math forever. Warning: I am revealing this secret only to the first set of readers who will buy this book & plan to put this secret back inside the book once I have enough sales. So read this until the very end while you still can.School taught you the wrong way to do mathThe way you were taught to do math, uses a lot of working memory. Working memory is the short term memory used to complete a mental task. You struggle because trying to do mental math the way you were taught in school, overloads your working memory. Let me show you what I mean with an example:Try to multiply the 73201 x 3. To do this you multiply the following:1 x 3 =0 x 3 =2 x 3 =3 x 3 =7 x 3 =This wasn’t hard, & it might have taken you just seconds to multiply the individual numbers. However, to get the final answer, you need to remember every single digit you calculated to put them back together. It takes effort to get the answer because you spend time trying to recall the numbers you already calculated. Math would be easier to do in your head if you didn’t have to remember so many numbers. Imagine when you tried to multiply 73201 x 3, if you could have come up with the answer, in the time it took you to multiply the individual numbers. Wouldn’t you have solved the problem faster than the time it would have taken you to punch in the numbers inside a calculator? Do the opposite of what you were taught in schoolThe secret of doing mental math is to calculate from left to right instead of from right to left. This is the opposite of what you were taught in school. This works so well because it frees your working memory almost completely. It is called the LR Method where LR stands for Left to Right.Lets try to do the earlier example where we multiplied 73201 x 3. This time multiply from left to right, so we get:7 x 3 = 213 x 3 = 93 x 2 = 60 x 3 = 03 x 1 = 3Notice that you started to call out the answer before you even finished the whole multiplication problem. You don’t have to remember a thing to recall & use later. So you end up doing math a lot faster. The Smart ChoiceYou could use what you learnt & apply it to solve math in the future. This might not be easy, because we just scratched the surface. I've already done the work for you. Why try to reinvent the wheel, when there is already a proven & tested system you can immediately apply. This book was first available in video format & has helped 10,000+ students from 132 countries. It is available at ofpad.com/mathcourse to enroll. This book was written to reach students who consume the information in text format. You can use the simple techniques in this book to do math faster than a calculator effortlessly in your head, even if you have no aptitude for math to begin with.Imagine waking up tomorrow being able to do lightning fast math in your head. Your family & friends will look at you like you are some kind of a genius. Since calculations are done in your head, you will acquire better mental habits in the process. So you will not just look like a genius. You will actually be one. Limited Time BonusWeekly training delivered through email for $97 is available for free as a bonus at the end of this book for the first set of readers. Once we have enough readers, this bonus will be charged $97. Why Price Is So LowThis book is priced at a ridiculous discount only to get our first set of readers. When we have enough readers the price will go up.