Book picks similar to
Kurt G�del: Essays for His Centennial by Solomon Feferman
logic
logic-منطق
math
mathematics
Surreal Numbers
Donald Ervin Knuth - 1974
This title is intended for those who might enjoy an engaging dialogue on abstract mathematical ideas, and those who might wish to experience how new mathematics is created.
When Nietzsche Wept by Irvin D. Yalom Lesson Plans
BookRags - 2012
Inside you'll find 30 Daily Lessons, 20 Fun Activities, 180 Multiple Choice Questions, 60 Short Essay Questions, 20 Essay Questions, Quizzes/Homework Assignments, Tests, and more. The lessons and activities will help students gain an intimate understanding of the text; while the tests and quizzes will help you evaluate how well the students have grasped the material.
Principia Mathematica to '56
Alfred North Whitehead - 1913
Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premises and primitive ideas, establishing that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will of course wish to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of Part I (in which the logical properties of propositions, propositional functions, classes and relations are established); section A of Part II (dealing with unit classes and couples); and Appendices A and C (which give further developments of the argument on the theory of deduction and truth functions).
The Unimaginable Mathematics of Borges' Library of Babel
William Goldbloom Bloch - 2008
Now, in The Unimaginable Mathematics of Borges' Library of Babel, William Goldbloom Bloch takes readers on a fascinating tour of the mathematical ideas hiddenwithin one of the classic works of modern literature.Written in the vein of Douglas R. Hofstadter's Pulitzer Prize-winning G�del, Escher, Bach, this original and imaginative book sheds light on one of Borges' most complex, richly layered works. Bloch begins each chapter with a mathematical idea--combinatorics, topology, geometry, informationtheory--followed by examples and illustrations that put flesh on the theoretical bones. In this way, he provides many fascinating insights into Borges' Library. He explains, for instance, a straightforward way to calculate how many books are in the Library--an easily notated but literallyunimaginable number--and also shows that, if each book were the size of a grain of sand, the entire universe could only hold a fraction of the books in the Library. Indeed, if each book were the size of a proton, our universe would still not be big enough to hold anywhere near all the books.Given Borges' well-known affection for mathematics, this exploration of the story through the eyes of a humanistic mathematician makes a unique and important contribution to the body of Borgesian criticism. Bloch not only illuminates one of the great short stories of modern literature but alsoexposes the reader--including those more inclined to the literary world--to many intriguing and entrancing mathematical ideas.
The Parrot's Theorem
Denis Guedj - 1998
He turns out to be a bird who discusses maths with anyone who will listen. So when Mr Ruche learns of his friend's mysterious death in the rainforests of Brazil he decides that with the parrot's help he will use these books to teach Max and his twin brother and sister the mysteries and wonders of numbers and shapes.But soon it becomes clear that Mr Ruche has inherited the library for reasons other than pure enlightenment, and before he knows it the household are caught up in a race to prevent the vital theorems falling into the wrong hands.Charming, fresh, with a narrative which races along, the novel takes the reader on a delightful journey through the history of mathematics.
Complexity: A Guided Tour
Melanie Mitchell - 2009
Based on her work at the Santa Fe Institute and drawing on its interdisciplinary strategies, Mitchell brings clarity to the workings of complexity across a broad range of biological, technological, and social phenomena, seeking out the general principles or laws that apply to all of them. Richly illustrated, Complexity: A Guided Tour--winner of the 2010 Phi Beta Kappa Book Award in Science--offers a wide-ranging overview of the ideas underlying complex systems science, the current research at the forefront of this field, and the prospects for its contribution to solving some of the most important scientific questions of our time.
Calculus Made Easy
Silvanus Phillips Thompson - 1910
With a new introduction, three new chapters, modernized language and methods throughout, and an appendix of challenging and enjoyable practice problems, Calculus Made Easy has been thoroughly updated for the modern reader.
A Beautiful Math: John Nash, Game Theory, and the Modern Quest for a Code of Nature
Tom Siegfried - 2006
Today Nash's beautiful math has become a universal language for research in the social sciences and has infiltrated the realms of evolutionary biology, neuroscience, and even quantum physics. John Nash won the 1994 Nobel Prize in economics for pioneering research published in the 1950s on a new branch of mathematics known as game theory. At the time of Nash's early work, game theory was briefly popular among some mathematicians and Cold War analysts. But it remained obscure until the 1970s when evolutionary biologists began applying it to their work. In the 1980s economists began to embrace game theory. Since then it has found an ever expanding repertoire of applications among a wide range of scientific disciplines. Today neuroscientists peer into game players' brains, anthropologists play games with people from primitive cultures, biologists use games to explain the evolution of human language, and mathematicians exploit games to better understand social networks. A common thread connecting much of this research is its relevance to the ancient quest for a science of human social behavior, or a Code of Nature, in the spirit of the fictional science of psychohistory described in the famous Foundation novels by the late Isaac Asimov. In A Beautiful Math, acclaimed science writer Tom Siegfried describes how game theory links the life sciences, social sciences, and physical sciences in a way that may bring Asimov's dream closer to reality.
A Mind at Play: How Claude Shannon Invented the Information Age
Jimmy Soni - 2017
He constructed a fleet of customized unicycles and a flamethrowing trumpet, outfoxed Vegas casinos, and built juggling robots. He also wrote the seminal text of the digital revolution, which has been called “the Magna Carta of the Information Age.” His discoveries would lead contemporaries to compare him to Albert Einstein and Isaac Newton. His work anticipated by decades the world we’d be living in today—and gave mathematicians and engineers the tools to bring that world to pass.In this elegantly written, exhaustively researched biography, Jimmy Soni and Rob Goodman reveal Claude Shannon’s full story for the first time. It’s the story of a small-town Michigan boy whose career stretched from the era of room-sized computers powered by gears and string to the age of Apple. It’s the story of the origins of our digital world in the tunnels of MIT and the “idea factory” of Bell Labs, in the “scientists’ war” with Nazi Germany, and in the work of Shannon’s collaborators and rivals, thinkers like Alan Turing, John von Neumann, Vannevar Bush, and Norbert Wiener.And it’s the story of Shannon’s life as an often reclusive, always playful genius. With access to Shannon’s family and friends, A Mind at Play brings this singular innovator and creative genius to life.
Logic Made Easy: How to Know When Language Deceives You
Deborah J. Bennett - 2004
This brilliantly clear and gratifyingly concise treatment of the ancient Greek discipline identifies the illogical in everything from street signs to tax forms. Complete with puzzles you can try yourself, Logic Made Easy invites readers to identify and ultimately remedy logical slips in everyday life. Designed with dozens of visual examples, the book guides you through those hair-raising times when logic is at odds with our language and common sense. Logic Made Easy is indeed one of those rare books that will actually make you a more logical human being.
Risk Savvy: How to Make Good Decisions
Gerd Gigerenzer - 2013
But as risk expert Gerd Gigerenzer shows, the surprising truth is that in the real world, we often get better results by using simple rules and considering less information. In Risk Savvy, Gigerenzer reveals that most of us, including doctors, lawyers, financial advisers, and elected officials, misunderstand statistics much more often than we think, leaving us not only misinformed, but vulnerable to exploitation. Yet there is hope. Anyone can learn to make better decisions for their health, finances, family, and business without needing to consult an expert or a super computer, and Gigerenzer shows us how.Risk Savvy is an insightful and easy-to-understand remedy to our collective information overload and an essential guide to making smart, confident decisions in the face of uncertainty.
Idea Makers: Personal Perspectives on the Lives & Ideas of Some Notable People
Stephen Wolfram - 2016
Weaving together his immersive interest in people and history with insights gathered from his own experiences, Stephen Wolfram gives an ennobling look at some of the individuals whose ideas and creations have helped shape our world today. Contents includes biographical sketches of: Richard Feynman Kurt Godel Alan Turing John von Neumann George Boole Ada Lovelace Gottfried Leibniz Benoit Mandelbrot Steve Jobs Marvin Minsky Russell Towle Bertrand Russell Alfred Whitehead Richard Crandall Srinivasa Ramanujan Solomon Golomb
An Investigation of the Laws of Thought
George Boole - 1854
A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.
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.
Calling Bullshit: The Art of Skepticism in a Data-Driven World
Carl T. Bergstrom - 2020
Now, two science professors give us the tools to dismantle misinformation and think clearly in a world of fake news and bad data.It's increasingly difficult to know what's true. Misinformation, disinformation, and fake news abound. Our media environment has become hyperpartisan. Science is conducted by press release. Startup culture elevates bullshit to high art. We are fairly well equipped to spot the sort of old-school bullshit that is based in fancy rhetoric and weasel words, but most of us don't feel qualified to challenge the avalanche of new-school bullshit presented in the language of math, science, or statistics. In Calling Bullshit, Professors Carl Bergstrom and Jevin West give us a set of powerful tools to cut through the most intimidating data.You don't need a lot of technical expertise to call out problems with data. Are the numbers or results too good or too dramatic to be true? Is the claim comparing like with like? Is it confirming your personal bias? Drawing on a deep well of expertise in statistics and computational biology, Bergstrom and West exuberantly unpack examples of selection bias and muddled data visualization, distinguish between correlation and causation, and examine the susceptibility of science to modern bullshit.We have always needed people who call bullshit when necessary, whether within a circle of friends, a community of scholars, or the citizenry of a nation. Now that bullshit has evolved, we need to relearn the art of skepticism.