Book picks similar to
On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel
mathematics
philosophy
science
math
Advanced Engineering Mathematics
Dennis G. Zill - 1992
A Key Strength Of This Text Is Zill'S Emphasis On Differential Equations As Mathematical Models, Discussing The Constructs And Pitfalls Of Each. The Third Edition Is Comprehensive, Yet Flexible, To Meet The Unique Needs Of Various Course Offerings Ranging From Ordinary Differential Equations To Vector Calculus. Numerous New Projects Contributed By Esteemed Mathematicians Have Been Added. Key Features O The Entire Text Has Been Modernized To Prepare Engineers And Scientists With The Mathematical Skills Required To Meet Current Technological Challenges. O The New Larger Trim Size And 2-Color Design Make The Text A Pleasure To Read And Learn From. O Numerous NEW Engineering And Science Projects Contributed By Top Mathematicians Have Been Added, And Are Tied To Key Mathematical Topics In The Text. O Divided Into Five Major Parts, The Text'S Flexibility Allows Instructors To Customize The Text To Fit Their Needs. The First Eight Chapters Are Ideal For A Complete Short Course In Ordinary Differential Equations. O The Gram-Schmidt Orthogonalization Process Has Been Added In Chapter 7 And Is Used In Subsequent Chapters. O All Figures Now Have Explanatory Captions. Supplements O Complete Instructor'S Solutions: Includes All Solutions To The Exercises Found In The Text. Powerpoint Lecture Slides And Additional Instructor'S Resources Are Available Online. O Student Solutions To Accompany Advanced Engineering Mathematics, Third Edition: This Student Supplement Contains The Answers To Every Third Problem In The Textbook, Allowing Students To Assess Their Progress And Review Key Ideas And Concepts Discussed Throughout The Text. ISBN: 0-7637-4095-0
The Educated Imagination
Northrop Frye - 1963
Dr. Frye offers, in addition, challenging and stimulating ideas for the teaching of literature at lower school levels, designed both to promote an early interest and to lead the student to the knowledge and kaleidoscopic experience found in the study of literature.Dr. Frye's proposals for the teaching of literature include an early emphasis on poetry, the "central and original literary form," intensive study of the Bible, as literature, and the Greek and Latin classics, as these embody all the great enduring themes of western man, and study of the great literary forms: tragedy and comedy, romance and irony.
Godel: A Life Of Logic, The Mind, And Mathematics
John L. Casti - 2000
His Incompleteness Theorem turned not only mathematics but also the whole world of science and philosophy on its head. Equally legendary were Gö's eccentricities, his close friendship with Albert Einstein, and his paranoid fear of germs that eventually led to his death from self-starvation. Now, in the first popular biography of this strange and brilliant thinker, John Casti and Werner DePauli bring the legend to life. After describing his childhood in the Moravian capital of Brno, the authors trace the arc of Gö's remarkable career, from the famed Vienna Circle, where philosophers and scientists debated notions of truth, to the Institute for Advanced Study in Princeton, New Jersey, where he lived and worked until his death in 1978. In the process, they shed light on Gö's contributions to mathematics, philosophy, computer science, artificial intelligence -- even cosmology -- in an entertaining and accessible way.
Introduction to the Theory of Computation
Michael Sipser - 1996
Sipser's candid, crystal-clear style allows students at every level to understand and enjoy this field. His innovative "proof idea" sections explain profound concepts in plain English. The new edition incorporates many improvements students and professors have suggested over the years, and offers updated, classroom-tested problem sets at the end of each chapter.
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.
Understanding Analysis
Stephen Abbott - 2000
The aim of a course in real analysis should be to challenge and improve mathematical intuition rather than to verify it. The philosophy of this book is to focus attention on questions which give analysis its inherent fascination.
Nine Algorithms That Changed the Future: The Ingenious Ideas That Drive Today's Computers
John MacCormick - 2012
A simple web search picks out a handful of relevant needles from the world's biggest haystack: the billions of pages on the World Wide Web. Uploading a photo to Facebook transmits millions of pieces of information over numerous error-prone network links, yet somehow a perfect copy of the photo arrives intact. Without even knowing it, we use public-key cryptography to transmit secret information like credit card numbers; and we use digital signatures to verify the identity of the websites we visit. How do our computers perform these tasks with such ease? This is the first book to answer that question in language anyone can understand, revealing the extraordinary ideas that power our PCs, laptops, and smartphones. Using vivid examples, John MacCormick explains the fundamental "tricks" behind nine types of computer algorithms, including artificial intelligence (where we learn about the "nearest neighbor trick" and "twenty questions trick"), Google's famous PageRank algorithm (which uses the "random surfer trick"), data compression, error correction, and much more. These revolutionary algorithms have changed our world: this book unlocks their secrets, and lays bare the incredible ideas that our computers use every day.
Quadrivium: The Four Classical Liberal Arts of Number, Geometry, Music, & Cosmology
John Martineau - 2010
It was studied from antiquity to the Renaissance as a way of glimpsing the nature of reality. Geometry is number in space; music is number in time; and comology expresses number in space and time. Number, music, and geometry are metaphysical truths: life across the universe investigates them; they foreshadow the physical sciences.Quadrivium is the first volume to bring together these four subjects in many hundreds of years. Composed of six successful titles in the Wooden Books series-Sacred Geometry, Sacred Number, Harmonograph, The Elements of Music, Platonic & Archimedean Solids, and A Little Book of Coincidence-it makes ancient wisdom and its astonishing interconnectedness accessible to us today.Beautifully produced in six different colors of ink, Quadrivium will appeal to anyone interested in mathematics, music, astronomy, and how the universe works.
Quantum Enigma: Physics Encounters Consciousness
Bruce Rosenblum - 2006
Can you believe that physical reality is created by our observation of it? Physicists were forced to this conclusion, the quantum enigma, by what they observed in their laboratories.Trying to understand the atom, physicists built quantum mechanics and found, to their embarrassment, that their theory intimately connects consciousness with the physical world. Quantum Enigma explores what that implies and why some founders of the theory became the foremost objectors to it. Schr�dinger showed that it absurdly allowed a cat to be in a superposition simultaneously dead and alive. Einstein derided the theory's spooky interactions. With Bell's Theorem, we now know Schr�dinger's superpositions and Einstein's spooky interactions indeed exist.Authors Bruce Rosenblum and Fred Kuttner explain all of this in non-technical terms with help from some fanciful stories and bits about the theory's developers. They present the quantum mystery honestly, with an emphasis on what is and what is not speculation.Physics' encounter with consciousness is its skeleton in the closet. Because the authors open the closet and examine the skeleton, theirs is a controversial book. Quantum Enigma's description of the experimental quantum facts, and the quantum theory explaining them, is undisputed. Interpreting what it all means, however, is controversial.Every interpretation of quantum physics encounters consciousness. Rosenblum and Kuttner therefore turn to exploring consciousness itself--and encounter quantum physics. Free will and anthropic principles become crucial issues, and the connection of consciousness with the cosmos suggested by some leading quantum cosmologists is mind-blowing.Readers are brought to a boundary where the particular expertise of physicists is no longer a sure guide. They will find, instead, the facts and hints provided by quantum mechanics and the ability to speculate for themselves.
Language, Truth, and Logic
A.J. Ayer - 1936
Topics: elimination of metaphysics, function of philosophy, nature of philosophical analysis, the a priori, truth & probability, critique of ethics & theology, self & the common world etc.IntroductionThe elimination of metaphysicsThe function of philosophy The nature of philosophical analysisThe a priori Truth & probabilityCritique of ethics & theologyThe self & the common worldSolutions of outstanding philosophical disputesIndex
Elliptic Tales: Curves, Counting, and Number Theory
Avner Ash - 2012
The Clay Mathematics Institute is offering a prize of $1 million to anyone who can discover a general solution to the problem. In this book, Avner Ash and Robert Gross guide readers through the mathematics they need to understand this captivating problem.The key to the conjecture lies in elliptic curves, which are cubic equations in two variables. These equations may appear simple, yet they arise from some very deep--and often very mystifying--mathematical ideas. Using only basic algebra and calculus while presenting numerous eye-opening examples, Ash and Gross make these ideas accessible to general readers, and in the process venture to the very frontiers of modern mathematics. Along the way, they give an informative and entertaining introduction to some of the most profound discoveries of the last three centuries in algebraic geometry, abstract algebra, and number theory. They demonstrate how mathematics grows more abstract to tackle ever more challenging problems, and how each new generation of mathematicians builds on the accomplishments of those who preceded them. Ash and Gross fully explain how the Birch and Swinnerton-Dyer Conjecture sheds light on the number theory of elliptic curves, and how it provides a beautiful and startling connection between two very different objects arising from an elliptic curve, one based on calculus, the other on algebra.
Probability Theory: The Logic of Science
E.T. Jaynes - 1999
It discusses new results, along with applications of probability theory to a variety of problems. The book contains many exercises and is suitable for use as a textbook on graduate-level courses involving data analysis. Aimed at readers already familiar with applied mathematics at an advanced undergraduate level or higher, it is of interest to scientists concerned with inference from incomplete information.
Solving Mathematical Problems: A Personal Perspective
Terence Tao - 2006
Covering number theory, algebra, analysis, Euclidean geometry, and analytic geometry, Solving Mathematical Problems includes numerous exercises and model solutions throughout. Assuming only a basic level of mathematics, the text is ideal for students of 14 years and above in pure mathematics.
Euclid in the Rainforest: Discovering Universal Truth in Logic and Math
Joseph Mazur - 2004
Underpinning both math and science, it is the foundation of every major advancement in knowledge since the time of the ancient Greeks. Through adventure stories and historical narratives populated with a rich and quirky cast of characters, Mazur artfully reveals the less-than-airtight nature of logic and the muddled relationship between math and the real world. Ultimately, Mazur argues, logical reasoning is not purely robotic. At its most basic level, it is a creative process guided by our intuitions and beliefs about the world.