Book picks similar to
Undecidable Theories: Studies in Logic and the Foundation of Mathematics by Alfred Tarski
mathematics
math
mathematical-logic
philosophy
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 Night Is Large: Collected Essays, 1938-1995
Martin Gardner - 1996
Delving into an immense range of topics, from philosophy and literature to social criticism to mathematics and science, with essays that date from 1930s to the 1990s, Martin Gardner has astounded readers with his insight and erudition. The Night Is Large is the crowning achievement of his extraordinary career.
Introduction to Superstrings and M-Theory
Michio Kaku - 1989
Called by some, "the theory of everything," superstrings may solve a problem that has eluded physicists for the past 50 years, the final unification of the two great theories of the twentieth century, general relativity and quantum field theory. Now, here is a thoroughly revised, second edition of a course-tested comprehensive introductory graduate text on superstrings which stresses the most current areas of interest, not covered in other presentations, including: - Four-dimensional superstrings - Kac-Moody algebras - Teichm�ller spaces and Calabi-Yau manifolds - M-theory Membranes and D-branes - Duality and BPS relations - Matrix models The book begins with a simple discussion of point particle theory, and uses Feynman path integrals to unify the presentation of superstrings. It has been updated throughout, and three new chapters on M-theory have been added. Prerequisites are an acquaintance with quantum mechanics and relativity.
Language, Proof and Logic: Text and CD
Jon Barwise - 1999
The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.The package includes four pieces of software:Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.
Schaum's Outline of Discrete Mathematics (Schaum's Outline Series)
Seymour Lipschutz - 2009
More than 40 million students have trusted Schaum's to help them succeed in the classroom and on exams. Schaum's is the key to faster learning and higher grades in every subject. Each Outline presents all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills.This Schaum's Outline gives you:Practice problems with full explanations that reinforce knowledgeCoverage of the most up-to-date developments in your course fieldIn-depth review of practices and applicationsFully compatible with your classroom text, Schaum's highlights all the important facts you need to know. Use Schaum's to shorten your study time-and get your best test scores!Schaum's Outlines-Problem Solved.
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.
Who Is Fourier? a Mathematical Adventure
Transnational College of Lex - 1995
This is done in a way that is not only easy to understand, but is actually fun! Professors and engineers, with high school and college students following closely, comprise the largest percentage of our readers. It is a must-have for anyone interested in music, mathematics, physics, engineering, or complex science. Dr. Yoichiro Nambu, 2008 Nobel Prize Winner in Physics, served as a senior adviser to the English version of Who is Fourier? A Mathematical Adventure.
Gödel, Escher, Bach
Agnes F. Vandome - 2010
C. Escher and composer Johann Sebastian Bach, discussing common themes in their work and lives. At a deeper level, the book is a detailed and subtle exposition of concepts fundamental to mathematics, symmetry, and intelligence. Through illustration and analysis, the book discusses how self-reference and formal rules allow systems to acquire meaning despite being made of "meaningless" elements. It also discusses what it means to communicate, how knowledge can be represented and stored, the methods and limitations of symbolic representation, and even the fundamental notion of "meaning" itself. In response to confusion over the book's theme, Hofstadter has emphasized that GEB is not about mathematics, art, and music but rather about how cognition and thinking emerge from well-hidden neurological mechanisms.
The Nature of Necessity
Alvin Plantinga - 1974
The arguement is developed by means of the notion of possible worlds and ranges over key problems including the nature of essence, trans-world identity, negative existential propositions, and the existence of unactual objects in other possible worlds. In the final chapters Professor Plantinga applies his logical theories to the elucidation of two problems in the philosophy of religion: the Problem of Evil and the Ontological Arguement. The first of these, the problem of reconciling the moral perfection and omnipotence of God with the existence of evil, can, he concludes, be resolved, and the second given a sound formulation. The book ends with an appendix on Quine's objection to quantified modal logic.
The Unreasonable Effectiveness of Mathematics in the Natural Sciences
Eugene Paul Wigner - 1959
In the paper, Wigner observed that the mathematical structure of a physical theory often points the way to further advances in that theory and even to empirical predictions.
Chance: The science and secrets of luck, randomness and probability
New Scientist - 2016
So it's not surprising that we persist in thinking that we're in with a chance, whether we're playing the lottery or working out the likelihood of extra-terrestrial life. In Chance, a (not entirely) random selection of the New Scientist's sharpest minds provide fascinating insights into luck, randomness, risk and probability. From the secrets of coincidence to placing the perfect bet, the science of random number generation to the surprisingly haphazard decisions of criminal juries, it explores these and many other tantalising questions.Following on from the bestselling Nothing and Question Everything, this book will open your eyes to the weird and wonderful world of chance - and help you see when some things, in fact, aren't random at all.
Philosophy of Mathematics: Selected Readings
Paul Benacerraf - 1983
In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Godel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field.
In Praise of Mathematics
Alain Badiou - 2015
Far from the thankless, pointless exercises they are often thought to be, mathematics and logic are indispensable guides to ridding ourselves of dominant opinions and making possible an access to truths, or to a human experience of the utmost value. That is why mathematics may well be the shortest path to the true life, which, when it exists, is characterized by an incomparable happiness.
How Math Explains the World: A Guide to the Power of Numbers, from Car Repair to Modern Physics
James D. Stein - 2008
In the four main sections of the book, Stein tells the stories of the mathematical thinkers who discerned some of the most fundamental aspects of our universe. From their successes and failures, delusions, and even duels, the trajectories of their innovations—and their impact on society—are traced in this fascinating narrative. Quantum mechanics, space-time, chaos theory and the workings of complex systems, and the impossibility of a "perfect" democracy are all here. Stein's book is both mind-bending and practical, as he explains the best way for a salesman to plan a trip, examines why any thought you could have is imbedded in the number π , and—perhaps most importantly—answers one of the modern world's toughest questions: why the garage can never get your car repaired on time.Friendly, entertaining, and fun, How Math Explains the World is the first book by one of California's most popular math teachers, a veteran of both "math for poets" and Princeton's Institute for Advanced Studies. And it's perfect for any reader wanting to know how math makes both science and the world tick.
Higher Engineering Mathematics
B.V. Ramana - 2006
Plethora of Solved examples help the students know the variety of problems & Procedure to solve them. Plenty of practice problems facilitate testing their understanding of the subject. Key Features: Covers the syllabus of all the four papers of Engineering Mathematics Detailed coverage of topics with lot of solved examples rendering clear understanding to the students. Engineering Applications of Integral Calculus, Ordinary Differential Equations of First and Higher Order, & Partial Differential Equations illustrate the use of these methods. Chapters on preliminary topics like Analytical Solid Geometry Matrices and Determinants Sequence and Series Complex Numbers Vector Algebra Differential and Integral Calculus Extensive coverage of Probability and Statistics (5 chapters). Covers the syllabus of all the four papers of Engineering Mathematics Engineering Applications of Integral Calculus, Ordinary Differential Equations of First and Higher Order, & Partial Differential Equations illustrate the use of these methods. Extensive coverage of ?Probability and Statistics (5 chapters) Table of Content: PART I PRELIMI NARIES Chapter 1 Vector Algebra , Theory of Equations ,Complex Numbers PART II DIFFERENTIAL AND INTEGRAL CALCULUS