Book picks similar to
Mathematical Logic and the Foundations of Mathematics: An Introductory Survey by G.T. Kneebone
math
mathematical-logic
mathematics
charles-cohen-s-library
Q.E.D.: Beauty in Mathematical Proof
Burkard Polster - 2004
presents some of the most famous mathematical proofs in a charming book that will appeal to nonmathematicians and math experts alike. Grasp in an instant why Pythagoras's theorem must be correct. Follow the ancient Chinese proof of the volume formula for the frustrating frustum, and Archimedes' method for finding the volume of a sphere. Discover the secrets of pi and why, contrary to popular belief, squaring the circle really is possible. Study the subtle art of mathematical domino tumbling, and find out how slicing cones helped save a city and put a man on the moon.
The Second Intelligent Species: How Humans Will Become as Irrelevant as Cockroaches
Marshall Brain - 2015
We currently see no evidence of any kind indicating that extraterrestrials exist outside of our solar system. But at this moment, millions of engineers, scientists, corporations, universities and entrepreneurs are racing to create the second intelligent species right here on planet earth. And we can see the second intelligent species coming from all directions in the form of self-driving cars, automated call centers, chess-playing and Jeopardy-playing computers that beat all human players, airport kiosks, restaurant tablet systems, etc. The frightening thing is that these robots will soon be eliminating human jobs in startling numbers. The first wave of unemployed workers is likely to be a million truck drivers who are replaced by self-driving trucks. Pilots will be eliminated soon as well. Then, as new computer vision systems come online, we will see tens of millions of workers in retail stores, fast food restaurants and construction sites replaced by robots. Unless we take steps now to change the economy, we will soon have tens of millions of workers who are unemployed and seeking welfare because they will have no other choice. Marshall Brain's new book "The Second Intelligent Species: How Humans Will Become as Irrelevant as Cockroaches" explores how the future will unfold as the second intelligent species emerges. The book answers questions like: - How will new computer vision systems affect the job market? - How many people will become unemployed by the second intelligent species? - What will happen to millions of newly unemployed workers? - How can modern society and modern economies cope with run-away unemployment caused by robots? - What will happen when the first sentient, conscious computer appears? - What moral and ethical principles will guide the second intelligent species? - Why do we see no extraterrestrials in our universe? "The Second Intelligent Species" offers a unique and fascinating look at the future of the human race, and the choices we will need to make to avoid massive unemployment and poverty worldwide as intelligent machines start eliminating millions of jobs.
Numerical Methods for Scientists and Engineers
Richard Hamming - 1973
Book is unique in its emphasis on the frequency approach and its use in the solution of problems. Contents include: Fundamentals and Algorithms; Polynomial Approximation — Classical Theory; Fourier Approximation — Modern Theory; and Exponential Approximation.
Thomas Aquinas: A Life from Beginning to End
Hourly History - 2020
He is celebrated for his words of wisdom as well as the alleged miracles that he performed while he was still alive. Yet as large as his acclaim may be, Aquinas has also had his fair share of detractors both during his lifetime and long thereafter.In the twentieth century, for example, esteemed British philosopher and writer Bertrand Russel went so far in his criticism as to say that he believed that Thomas Aquinas was not a philosopher in the classical sense of the word but rather that he relied more on dogmatic Catholic faith than any sense of inquiry or inductive reasoning. There are of course those that would vehemently argue the opinions of Bertrand Russel. While it is not the purpose of this book to take one side or the other, these arguments and criticisms will be examined as we delve into the history of this great thinker.Casting all accolades and critiques aside, in this book you will find the raw bare bones of the man who Thomas Aquinas came to be. Thomas Aquinas had an exceptional life of both major accomplishments and upsetting setbacks—here, we explore them in full.
Principles of Statistics
M.G. Bulmer - 1979
There are equally many advanced textbooks which delve into the far reaches of statistical theory, while bypassing practical applications. But between these two approaches is an unfilled gap, in which theory and practice merge at an intermediate level. Professor M. G. Bulmer's Principles of Statistics, originally published in 1965, was created to fill that need. The new, corrected Dover edition of Principles of Statistics makes this invaluable mid-level text available once again for the classroom or for self-study.Principles of Statistics was created primarily for the student of natural sciences, the social scientist, the undergraduate mathematics student, or anyone familiar with the basics of mathematical language. It assumes no previous knowledge of statistics or probability; nor is extensive mathematical knowledge necessary beyond a familiarity with the fundamentals of differential and integral calculus. (The calculus is used primarily for ease of notation; skill in the techniques of integration is not necessary in order to understand the text.)Professor Bulmer devotes the first chapters to a concise, admirably clear description of basic terminology and fundamental statistical theory: abstract concepts of probability and their applications in dice games, Mendelian heredity, etc.; definitions and examples of discrete and continuous random variables; multivariate distributions and the descriptive tools used to delineate them; expected values; etc. The book then moves quickly to more advanced levels, as Professor Bulmer describes important distributions (binomial, Poisson, exponential, normal, etc.), tests of significance, statistical inference, point estimation, regression, and correlation. Dozens of exercises and problems appear at the end of various chapters, with answers provided at the back of the book. Also included are a number of statistical tables and selected references.
An Introduction to Non-Classical Logic
Graham Priest - 2001
Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.
KLB Mathematics: SHS; Form 1
Kenya Literature Bureau - 2013
Worldreader addresses that problem using e-reader technology. Worldreader works with textbook publishers across the developing world to offer a range of digital textbooks to schools as part of their wider goal to promote literacy by bringing books to all.
Introduction to Graph Theory
Richard J. Trudeau - 1994
This book leads the reader from simple graphs through planar graphs, Euler's formula, Platonic graphs, coloring, the genus of a graph, Euler walks, Hamilton walks, more. Includes exercises. 1976 edition.
A Concise History of Mathematics
Dirk Jan Struik - 1948
Students, researchers, historians, specialists — in short, everyone with an interest in mathematics — will find it engrossing and stimulating.Beginning with the ancient Near East, the author traces the ideas and techniques developed in Egypt, Babylonia, China, and Arabia, looking into such manuscripts as the Egyptian Papyrus Rhind, the Ten Classics of China, and the Siddhantas of India. He considers Greek and Roman developments from their beginnings in Ionian rationalism to the fall of Constantinople; covers medieval European ideas and Renaissance trends; analyzes 17th- and 18th-century contributions; and offers an illuminating exposition of 19th century concepts. Every important figure in mathematical history is dealt with — Euclid, Archimedes, Diophantus, Omar Khayyam, Boethius, Fermat, Pascal, Newton, Leibniz, Fourier, Gauss, Riemann, Cantor, and many others.For this latest edition, Dr. Struik has both revised and updated the existing text, and also added a new chapter on the mathematics of the first half of the 20th century. Concise coverage is given to set theory, the influence of relativity and quantum theory, tensor calculus, the Lebesgue integral, the calculus of variations, and other important ideas and concepts. The book concludes with the beginnings of the computer era and the seminal work of von Neumann, Turing, Wiener, and others."The author's ability as a first-class historian as well as an able mathematician has enabled him to produce a work which is unquestionably one of the best." — Nature Magazine.
The Compleat Strategyst: Being a Primer on the Theory of Games of Strategy
J.D. Williams - 1965
D. Williams wrote this entertaining, witty introduction for the nonscientist, game theory was still a somewhat mysterious subject familiar to very few scientists beyond those researchers, like himself, working for the military. Now, over thirty years after its original publication as a Rand Corporation research study, his light-hearted though thoroughly effective primer is the recognized classic introduction to an increasingly applicable discipline. Used by amateurs, professionals, and students throughout the world in the classroom, on the job, and for personal amusement, the book has been through ten printings, and has been translated into at least five languages (including Russian and Japanese).Revised, updated, and available for the first time in an inexpensive paperback edition, The Compleat Strategyst is a highly entertaining text essential for anyone interested in this provocative and engaging area of modern mathematics. In fully illustrated chapters complete with everyday examples and word problems, Williams offers readers a working understanding of the possible methods for selecting strategies in a variety of situations, simple to complex. With just a basic understanding of arithmetic, anyone can grasp all necessary aspects of two-, three-, four-, and larger strategy games with two or more sets of inimical interests and a limitless array of zero-sum payoffs.As research and study continues not only in this new discipline but in the related areas of statistics, probability and behavioral science, understanding of games, decision making, and the development of strategies will be increasingly important. In the areas of economics, sociology, politics, and the military, game theory is sure to have an even wider impact. For students and amateurs fascinated by game theory's implications there is no better, immediately applicable, or more entertaining introduction to the subject than this engaging text by the late J. D. Williams, Professor of Mathematics at Princeton University and a member of the Research Council of The Rand Corporation.
Origami Design Secrets: Mathematical Methods for an Ancient Art
Robert J. Lang - 2003
Lang, one of the worlds foremost origami artists and scientists, presents the never-before-described mathematical and geometric principles that allow anyone to design original origami, something once restricted to an elite few. From the theoretical underpinnings to detailed step-by-step folding sequences, this book takes a modern look at the centuries-old art of origami.
Poetry of the Universe
Robert Osserman - 1995
40 illustrations throughout.
Game Theory
Drew Fudenberg - 1991
The analytic material is accompanied by many applications, examples, and exercises. The theory of noncooperative games studies the behavior of agents in any situation where each agent's optimal choice may depend on a forecast of the opponents' choices. "Noncooperative" refers to choices that are based on the participant's perceived selfinterest. Although game theory has been applied to many fields, Fudenberg and Tirole focus on the kinds of game theory that have been most useful in the study of economic problems. They also include some applications to political science. The fourteen chapters are grouped in parts that cover static games of complete information, dynamic games of complete information, static games of incomplete information, dynamic games of incomplete information, and advanced topics.--mitpress.mit.edu
Superstrings And The Search For The Theory Of Everything
F. David Peat - 1988
David Peat explains the development and meaning of this Superstring Theory in a thoroughly readable, dramatic manner accessible to lay readers with no knowledge of mathematics. The consequences of the Superstring Theory are nothing less than astonishing.