Book picks similar to
Classic Set Theory: For Guided Independent Study by Derek Goldrei
mathematics
math
set-theory
logique-et-fondements
Mathematical Mysteries: The Beauty and Magic of Numbers
Calvin C. Clawson - 1996
This recreational math book takes the reader on a fantastic voyage into the world of natural numbers. From the earliest discoveries of the ancient Greeks to various fundamental characteristics of the natural number sequence, Clawson explains fascinating mathematical mysteries in clear and easy prose. He delves into the heart of number theory to see and understand the exquisite relationships among natural numbers, and ends by exploring the ultimate mystery of mathematics: the Riemann hypothesis, which says that through a point in a plane, no line can be drawn parallel to a given line.While a professional mathematician's treatment of number theory involves the most sophisticated analytical tools, its basic ideas are surprisingly easy to comprehend. By concentrating on the meaning behind various equations and proofs and avoiding technical refinements, Mathematical Mysteries lets the common reader catch a glimpse of this wonderful and exotic world.
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.
The Art of Logic in an Illogical World
Eugenia Cheng - 2018
Cheng is a mathematician, so she knows how to make an airtight argument. But even for her, logic sometimes falls prey to emotion, which is why she still fears flying and eats more cookies than she should. If a mathematician can't be logical, what are we to do? In this book, Cheng reveals the inner workings and limitations of logic, and explains why alogic--for example, emotion--is vital to how we think and communicate. Cheng shows us how to use logic and alogic together to navigate a world awash in bigotry, mansplaining, and manipulative memes. Insightful, useful, and funny, this essential book is for anyone who wants to think more clearly.
Partial Differential Equations
Lawrence C. Evans - 1998
Guitar Mastery Simplified: How Anyone Can Quickly Become a Strumming, Chords, and Lead Guitar Ninja
Erich Andreas - 2012
This book is for beginners to advanced guitar players.The solutions you'll discover inside Guitar Mastery Simplified will have you on your way to playing the guitar like a true strumming, chords and lead guitar ninja! The guitar lessons inside this book will have you rockin' out to all your favorite guitar jams and songs in no time.
Easy as Pi: The Countless Ways We Use Numbers Every Day
Jamie Buchan - 2009
Make this and all of the Blackboard Books(tm) a permanent fixture on your shelf, and you'll have instant access to a breadth of knowledge. Whether you need homework help or want to win that trivia game, this series is the trusted source for fun facts.
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
A Mathematician's Apology
G.H. Hardy - 1940
H. Hardy was one of this century's finest mathematical thinkers, renowned among his contemporaries as a 'real mathematician ... the purest of the pure'. He was also, as C. P. Snow recounts in his Foreword, 'unorthodox, eccentric, radical, ready to talk about anything'. This 'apology', written in 1940 as his mathematical powers were declining, offers a brilliant and engaging account of mathematics as very much more than a science; when it was first published, Graham Greene hailed it alongside Henry James's notebooks as 'the best account of what it was like to be a creative artist'. C. P. Snow's Foreword gives sympathetic and witty insights into Hardy's life, with its rich store of anecdotes concerning his collaboration with the brilliant Indian mathematician Ramanujan, his aphorisms and idiosyncrasies, and his passion for cricket. This is a unique account of the fascination of mathematics and of one of its most compelling exponents in modern times.
The Strangest Man: The Hidden Life of Paul Dirac, Mystic of the Atom
Graham Farmelo - 2009
He was one of the leading pioneers of the greatest revolution in twentieth-century science: quantum mechanics. The youngest theoretician ever to win the Nobel Prize for Physics, he was also pathologically reticent, strangely literal-minded and legendarily unable to communicate or empathize. Through his greatest period of productivity, his postcards home contained only remarks about the weather.Based on a previously undiscovered archive of family papers, Graham Farmelo celebrates Dirac's massive scientific achievement while drawing a compassionate portrait of his life and work. Farmelo shows a man who, while hopelessly socially inept, could manage to love and sustain close friendship.The Strangest Man is an extraordinary and moving human story, as well as a study of one of the most exciting times in scientific history.'A wonderful book . . . Moving, sometimes comic, sometimes infinitely sad, and goes to the roots of what we mean by truth in science.' Lord Waldegrave, Daily Telegraph
Fourier Series
Georgi P. Tolstov - 1976
Over 100 problems at ends of chapters. Answers in back of book. 1962 edition.
Discrete Mathematical Structures with Applications to Computer Science
Jean-Paul Tremblay - 1975
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.
What Is Real?: The Unfinished Quest for the Meaning of Quantum Physics
Adam Becker - 2018
But ask what it means, and the result will be a brawl. For a century, most physicists have followed Niels Bohr's Copenhagen interpretation and dismissed questions about the reality underlying quantum physics as meaningless. A mishmash of solipsism and poor reasoning, Copenhagen endured, as Bohr's students vigorously protected his legacy, and the physics community favored practical experiments over philosophical arguments. As a result, questioning the status quo long meant professional ruin. And yet, from the 1920s to today, physicists like John Bell, David Bohm, and Hugh Everett persisted in seeking the true meaning of quantum mechanics. What Is Real? is the gripping story of this battle of ideas and of the courageous scientists who dared to stand up for truth.
The Lady or the Tiger? And Other Logic Puzzles
Raymond M. Smullyan - 1982
For all ages and all levels of difficulty, these puzzles range from those that can be solved in minutes to those that will beguile for hours.
Learning UML 2.0: A Pragmatic Introduction to UML
Russ Miles - 2006
Every integrated software development environment in the world--open-source, standards-based, and proprietary--now supports UML and, more importantly, the model-driven approach to software development. This makes learning the newest UML standard, UML 2.0, critical for all software developers--and there isn't a better choice than this clear, step-by-step guide to learning the language."--Richard Mark Soley, Chairman and CEO, OMGIf you're like most software developers, you're building systems that are increasingly complex. Whether you're creating a desktop application or an enterprise system, complexity is the big hairy monster you must manage.The Unified Modeling Language (UML) helps you manage this complexity. Whether you're looking to use UML as a blueprint language, a sketch tool, or as a programming language, this book will give you the need-to-know information on how to apply UML to your project. While there are plenty of books available that describe UML, Learning UML 2.0 will show you how to use it. Topics covered include:Capturing your system's requirements in your model to help you ensure that your designs meet your users' needsModeling the parts of your system and their relationshipsModeling how the parts of your system work together to meet your system's requirementsModeling how your system moves into the real world, capturing how your system will be deployedEngaging and accessible, this book shows you how to use UML to craft and communicate your project's design. Russ Miles and Kim Hamilton have written a pragmatic introduction to UML based on hard-earned practice, not theory. Regardless of the software process or methodology you use, this book is the one source you need to get up and running with UML 2.0.Russ Miles is a software engineer for General Dynamics UK, where he works with Java and Distributed Systems, although his passion at the moment is Aspect Orientation and, in particular, AspectJ. Kim Hamilton is a senior software engineer at Northrop Grumman, where she's designed and implemented a variety of systems including web applications and distributed systems, with frequent detours into algorithms development.