Book picks similar to
Logic, Semantics, Metamathematics by Alfred Tarski
philosophy
logic
math
mathematics
Law's Empire
Ronald Dworkin - 1986
Law's Empire is a full-length presentation of his theory of law that will be studied and debated--by scholars and theorists, by lawyers and judges, by students and political activists--for years to come.Dworkin begins with the question that is at the heart of the whole legal system: in difficult cases how do (and how should) judges decide what the law is? He shows that judges must decide hard cases by interpreting rather than simply applying past legal decisions, and he produces a general theory of what interpretation is--in literature as well as in law--and of when one interpretation is better than others. Every legal interpretation reflects an underlying theory about the general character of law: Dworkin assesses three such theories. One, which has been very influential, takes the law of a community to be only what the established conventions of that community say it is. Another, currently in vogue, assumes that legal practice is best understood as an instrument of society to achieve its goals. Dworkin argues forcefully and persuasively against both these views: he insists that the most fundamental point of law is not to report consensus or provide efficient means to social goals, but to answer the requirement that a political community act in a coherent and principled manner toward all its members. He discusses, in the light of that view, cases at common law, cases arising under statutes, and great constitutional cases in the Supreme Court, and he systematically demonstrates that his concept of political and legal integrity is the key to Anglo-American legal theory and practice.
Discrete Mathematics
Richard Johnsonbaugh - 1984
Focused on helping students understand and construct proofs and expanding their mathematical maturity, this best-selling text is an accessible introduction to discrete mathematics. Johnsonbaugh's algorithmic approach emphasizes problem-solving techniques. The Seventh Edition reflects user and reviewer feedback on both content and organization.
How to Study for a Mathematics Degree
Lara Alcock - 2012
Many of these students are extremely intelligent and hardworking, but even the best will, at some point, struggle with the demands of making the transition to advanced mathematics. Some have difficulty adjusting to independent study and to learning from lectures. Other struggles, however, are more fundamental: the mathematics shifts in focus from calculation to proof, so students are expected to interact with it in different ways. These changes need not be mysterious - mathematics education research has revealed many insights into the adjustments that are necessary - but they are not obvious and they do need explaining.This no-nonsense book translates these research-based insights into practical advice for a student audience. It covers every aspect of studying for a mathematics degree, from the most abstract intellectual challenges to the everyday business of interacting with lecturers and making good use of study time. Part 1 provides an in-depth discussion of advanced mathematical thinking, and explains how a student will need to adapt and extend their existing skills in order to develop a good understanding of undergraduate mathematics. Part 2 covers study skills as these relate to the demands of a mathematics degree. It suggests practical approaches to learning from lectures and to studying for examinations while also allowing time for a fulfilling all-round university experience.The first subject-specific guide for students, this friendly, practical text will be essential reading for anyone studying mathematics at university.
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
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Charles Petzold - 2008
Turing
Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be "computable," creating the field of computability theory in the process, a foundation of present-day computer programming.The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.Interwoven into the narrative are the highlights of Turing's own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.
How to Solve It: A New Aspect of Mathematical Method
George PĆ³lya - 1944
Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be reasoned out--from building a bridge to winning a game of anagrams. Generations of readers have relished Polya's deft--indeed, brilliant--instructions on stripping away irrelevancies and going straight to the heart of the problem.
Logic Deductive and Inductive
Carveth Read - 1898
You may find it for free on the web. Purchase of the Kindle edition includes wireless delivery.
Mathematical Analysis
S.C. Malik - 1992
This book discusses real sequences and series, continuity, functions of several variables, elementary and implicit functions, Riemann and Riemann-Stieltjes integrals, and Lebesgue integrals.
Calculus: An Intuitive and Physical Approach
Morris Kline - 1967
In-depth explorations of the derivative, the differentiation and integration of the powers of x, and theorems on differentiation and antidifferentiation lead to a definition of the chain rule and examinations of trigonometric functions, logarithmic and exponential functions, techniques of integration, polar coordinates, much more. Clear-cut explanations, numerous drills, illustrative examples. 1967 edition. Solution guide available upon request.
The Philosophy of Space and Time
Hans Reichenbach - 1957
A brilliantly clear and penetrating exposition of developments in physical science and mathematics brought about by the advent of non-Euclidean geometries, including in-depth coverage of the foundations of geometry, the theory of time, Einstein's theory of relativity and its consequences, other key topics.
Number Theory
George E. Andrews - 1994
In studying number theory from such a perspective, mathematics majors are spared repetition and provided with new insights, while other students benefit from the consequent simplicity of the proofs for many theorems.Among the topics covered in this accessible, carefully designed introduction are multiplicativity-divisibility, including the fundamental theorem of arithmetic, combinatorial and computational number theory, congruences, arithmetic functions, primitive roots and prime numbers. Later chapters offer lucid treatments of quadratic congruences, additivity (including partition theory) and geometric number theory.Of particular importance in this text is the author's emphasis on the value of numerical examples in number theory and the role of computers in obtaining such examples. Exercises provide opportunities for constructing numerical tables with or without a computer. Students can then derive conjectures from such numerical tables, after which relevant theorems will seem natural and well-motivated..
Proofs from the Book, 3e
Martin Aigner - 1998
Inside PFTB (Proofs from The Book) is indeed a glimpse of mathematical heaven, where clever insights and beautiful ideas combine in astonishing and glorious ways. There is vast wealth within its pages, one gem after another. Some of the proofs are classics, but many are new and brilliant proofs of classical results. ...Aigner and Ziegler... write: ..". all we offer is the examples that we have selected, hoping that our readers will share our enthusiasm about brilliant ideas, clever insights and wonderful observations." I do. ... " Notices of the AMS, August 1999..". the style is clear and entertaining, the level is close to elementary ... and the proofs are brilliant. ..." LMS Newsletter, January 1999This third edition offers two new chapters, on partition identities, and on card shuffling. Three proofs of Euler's most famous infinite series appear in a separate chapter. There is also a number of other improvements, such as an exciting new way to "enumerate the rationals."
What Is Mathematics?: An Elementary Approach to Ideas and Methods
Richard Courant - 1941
Today, unfortunately, the traditional place of mathematics in education is in grave danger. The teaching and learning of mathematics has degenerated into the realm of rote memorization, the outcome of which leads to satisfactory formal ability but does not lead to real understanding or to greater intellectual independence. This new edition of Richard Courant's and Herbert Robbins's classic work seeks to address this problem. Its goal is to put the meaning back into mathematics.Written for beginners and scholars, for students and teachers, for philosophers and engineers, What is Mathematics? Second Edition is a sparkling collection of mathematical gems that offers an entertaining and accessible portrait of the mathematical world. Covering everything from natural numbers and the number system to geometrical constructions and projective geometry, from topology and calculus to matters of principle and the Continuum Hypothesis, this fascinating survey allows readers to delve into mathematics as an organic whole rather than an empty drill in problem solving. With chapters largely independent of one another and sections that lead upward from basic to more advanced discussions, readers can easily pick and choose areas of particular interest without impairing their understanding of subsequent parts.Brought up to date with a new chapter by Ian Stewart, What is Mathematics? Second Edition offers new insights into recent mathematical developments and describes proofs of the Four-Color Theorem and Fermat's Last Theorem, problems that were still open when Courant and Robbins wrote this masterpiece, but ones that have since been solved.Formal mathematics is like spelling and grammar - a matter of the correct application of local rules. Meaningful mathematics is like journalism - it tells an interesting story. But unlike some journalism, the story has to be true. The best mathematics is like literature - it brings a story to life before your eyes and involves you in it, intellectually and emotionally. What is Mathematics is like a fine piece of literature - it opens a window onto the world of mathematics for anyone interested to view.
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.