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
Proofiness: The Dark Arts of Mathematical Deception
Charles Seife - 2010
According to MSNBC, having a child makes you stupid. You actually lose IQ points. Good Morning America has announced that natural blondes will be extinct within two hundred years. Pundits estimated that there were more than a million demonstrators at a tea party rally in Washington, D.C., even though roughly sixty thousand were there. Numbers have peculiar powers-they can disarm skeptics, befuddle journalists, and hoodwink the public into believing almost anything. "Proofiness," as Charles Seife explains in this eye-opening book, is the art of using pure mathematics for impure ends, and he reminds readers that bad mathematics has a dark side. It is used to bring down beloved government officials and to appoint undeserving ones (both Democratic and Republican), to convict the innocent and acquit the guilty, to ruin our economy, and to fix the outcomes of future elections. This penetrating look at the intersection of math and society will appeal to readers of Freakonomics and the books of Malcolm Gladwell.
Introduction to Linear Algebra
Gilbert Strang - 1993
Topics covered include matrix multiplication, row reduction, matrix inverse, orthogonality and computation. The self-teaching book is loaded with examples and graphics and provides a wide array of probing problems, accompanying solutions, and a glossary. Chapter 1: Introduction to Vectors; Chapter 2: Solving Linear Equations; Chapter 3: Vector Spaces and Subspaces; Chapter 4: Orthogonality; Chapter 5: Determinants; Chapter 6: Eigenvalues and Eigenvectors; Chapter 7: Linear Transformations; Chapter 8: Applications; Chapter 9: Numerical Linear Algebra; Chapter 10: Complex Vectors and Matrices; Solutions to Selected Exercises; Final Exam. Matrix Factorizations. Conceptual Questions for Review. Glossary: A Dictionary for Linear Algebra Index Teaching Codes Linear Algebra in a Nutshell.
When Einstein Walked with Gödel: Excursions to the Edge of Thought
Jim Holt - 2018
With his trademark clarity and humor, Holt probes the mysteries of quantum mechanics, the quest for the foundations of mathematics, and the nature of logic and truth. Along the way, he offers intimate biographical sketches of celebrated and neglected thinkers, from the physicist Emmy Noether to the computing pioneer Alan Turing and the discoverer of fractals, Benoit Mandelbrot. Holt offers a painless and playful introduction to many of our most beautiful but least understood ideas, from Einsteinian relativity to string theory, and also invites us to consider why the greatest logician of the twentieth century believed the U.S. Constitution contained a terrible contradiction--and whether the universe truly has a future.
The Lifebox, the Seashell, and the Soul: What Gnarly Computation Taught Me About Ultimate Reality, the Meaning of Life, and How to Be Happy
Rudy Rucker - 2005
This concept is at the root of the computational worldview, which basically says that very complex systems — the world we live in — have their beginnings in simple mathematical equations. We've lately come to understand that such an algorithm is only the start of a never-ending story — the real action occurs in the unfolding consequences of the rules. The chip-in-a-box computers so popular in our time have acted as a kind of microscope, letting us see into the secret machinery of the world. In Lifebox, Rucker uses whimsical drawings, fables, and humor to demonstrate that everything is a computation — that thoughts, computations, and physical processes are all the same. Rucker discusses the linguistic and computational advances that make this kind of "digital philosophy" possible, and explains how, like every great new principle, the computational world view contains the seeds of a next step.
Gödel, Escher, Bach: An Eternal Golden Braid
Douglas R. Hofstadter - 1979
However, according to Hofstadter, the formal system that underlies all mental activity transcends the system that supports it. If life can grow out of the formal chemical substrate of the cell, if consciousness can emerge out of a formal system of firing neurons, then so too will computers attain human intelligence. Gödel, Escher, Bach is a wonderful exploration of fascinating ideas at the heart of cognitive science: meaning, reduction, recursion, and much more.
Understanding Symbolic Logic
Virginia Klenk - 1983
Each chapter, or unit, is divided into easily comprehended small "bites" that enable learners to master the material step-by-step, rather than being overwhelmed by masses of information covered too quickly. The book provides extremely detailed explanations of procedures and techniques, and was written in the conviction that anyone can thoroughly master its content. A four-part organization covers sentential logic, monadic predicate logic, relational predicate logic, and extra credit units that glimpse into alternative methods of logic and more advanced topics. For individuals interested in the formal study of logic.
Introduction to Mathematical Thinking
Keith Devlin - 2012
This is not the same as “doing math.” The latter usually involves the application of formulas, procedures, and symbolic manipulations; mathematical thinking is a powerful way of thinking about things in the world -- logically, analytically, quantitatively, and with precision. It is not a natural way of thinking, but it can be learned. Mathematicians, scientists, and engineers need to “do math,” and it takes many years of college-level education to learn all that is required. Mathematical thinking is valuable to everyone, and can be mastered in about six weeks by anyone who has completed high school mathematics. Mathematical thinking does not have to be about mathematics at all, but parts of mathematics provide the ideal target domain to learn how to think that way, and that is the approach taken by this short but valuable book. The book is written primarily for first and second year students of science, technology, engineering, and mathematics (STEM) at colleges and universities, and for high school students intending to study a STEM subject at university. Many students encounter difficulty going from high school math to college-level mathematics. Even if they did well at math in school, most are knocked off course for a while by the shift in emphasis, from the K-12 focus on mastering procedures to the “mathematical thinking” characteristic of much university mathematics. Though the majority survive the transition, many do not. To help them make the shift, colleges and universities often have a “transition course.” This book could serve as a textbook or a supplementary source for such a course. Because of the widespread applicability of mathematical thinking, however, the book has been kept short and written in an engaging style, to make it accessible to anyone who seeks to extend and improve their analytic thinking skills. Going beyond a basic grasp of analytic thinking that everyone can benefit from, the STEM student who truly masters mathematical thinking will find that college-level mathematics goes from being confusing, frustrating, and at times seemingly impossible, to making sense and being hard but doable. Dr. Keith Devlin is a professional mathematician at Stanford University and the author of 31 previous books and over 80 research papers. His books have earned him many awards, including the Pythagoras Prize, the Carl Sagan Award, and the Joint Policy Board for Mathematics Communications Award. He is known to millions of NPR listeners as “the Math Guy” on Weekend Edition with Scott Simon. He writes a popular monthly blog “Devlin’s Angle” for the Mathematical Association of America, another blog under the name “profkeithdevlin”, and also blogs on various topics for the Huffington Post.
Quiddities: An Intermittently Philosophical Dictionary
Willard Van Orman Quine - 1987
Quine's areas of interest are panoramic, as this lively book amply demonstrates.Moving from A (alphabet) to Z (zero), Quiddities roams through more than eighty topics, each providing a full measure of piquant thought, wordplay, and wisdom, couched in easy and elegant prose--"Quine at his unbuttoned best," in Donald Davidson's words. Philosophy, language, and mathematics are the subjects most fully represented; tides of entries include belief, communication, free will, idiotisms, longitude and latitude, marks, prizes, Latin pronunciation, tolerance, trinity. Even the more technical entries are larded with homely lore, anecdote, and whimsical humor.Quiddities will be a treat for admirers of Quine and for others who like to think, who care about language, and who enjoy the free play of intellect on topics large and small. For this select audience, it is an ideal book for browsing.
My Best Mathematical and Logic Puzzles
Martin Gardner - 1994
He was especially careful to present new and unfamiliar puzzles that had not been included in such classic collections as those by Sam Loyd and Henry Dudeney. Later, these puzzles were published in book collections, incorporating reader feedback on alternate solutions or interesting generalizations.The present volume contains a rich selection of 70 of the best of these brain teasers, in some cases including references to new developments related to the puzzle. Now enthusiasts can challenge their solving skills and rattle their egos with such stimulating mind-benders as The Returning Explorer, The Mutilated Chessboard, Scrambled Box Tops, The Fork in the Road, Bronx vs. Brooklyn, Touching Cigarettes, and 64 other problems involving logic and basic math. Solutions are included.
Euclid's Elements
Euclid
Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.
How to Solve It: A New Aspect of Mathematical Method
George Pólya - 1944
Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be reasoned out--from building a bridge to winning a game of anagrams. Generations of readers have relished Polya's deft--indeed, brilliant--instructions on stripping away irrelevancies and going straight to the heart of the problem.
Mathematics: The Loss of Certainty
Morris Kline - 1980
Mathematics: The Loss of Certainty refutes that myth.
Journey to the Edge of Reason: The Life of Kurt Gödel
Stephen Budiansky - 2021
Yet unlike Einstein, with whom he formed a warm and abiding friendship, Gödel has long escaped all but the most casual scrutiny of his life.Stephen Budiansky’s Journey to the Edge of Reason is the first biography to fully draw upon Gödel’s voluminous letters and writings—including a never-before-transcribed shorthand diary of his most intimate thoughts—to explore Gödel’s profound intellectual friendships, his moving relationship with his mother, his troubled yet devoted marriage, and the debilitating bouts of paranoia that ultimately took his life. It also offers an intimate portrait of the scientific and intellectual circles in prewar Vienna, a haunting account of Gödel’s and Jewish intellectuals’ flight from Austria and Germany at the start of the Second World War, and a vivid re-creation of the early days of Princeton’s Institute for Advanced Study, where Gödel and Einstein both worked.Eloquent and insightful, Journey to the Edge of Reason is a fully realized portrait of the odd, brilliant, and tormented man who has been called the greatest logician since Aristotle, and illuminates the far-reaching implications of Gödel’s revolutionary ideas for philosophy, mathematics, artificial intelligence, and man’s place in the cosmos.
A Textbook of Engineering Mathematics
N.P. Bali - 2010
The salient features of the book are as follows: It exactly covers the prescribed syllabus. Nothing undesirable has been included and nothing essential has been left. Its approach is explanatory and language is lucid and communicable. The exposition of the subject matter is systematic and the students are better prepared to solve the problems. All fundamentals of the included topics are explained with a micro-analysis. Sufficient number of solved examples have been given to let the students understand the various skills necessary to solve the problems. These examples are well-graded. Unsolved exercises of multi-varieties have been given in a well-graded style. Attempting those on his own, will enable a student to create confidence and independence in him/her regarding the understanding of the subject. Daily life problems and practical applications have been incorporated in the body of the text. A large number of attractive and accurate figures have been drawn which enable a student to grasp the subject in an easier way. All the answers have been checked and verified. About The Author: N.P. Bali is a prolific author of over 100 books for degree and engineering students. He has been writing books for more than forty years. His books on the following topics are well known for their easy comprehension and lucid presentation: Algebra, Trigonometry, Differential Calculus, Integral Calculus, Real Analysis, Co-ordinate Geometry, Statics, Dynamics etc. Dr. Manish Goyal has been associated with