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..

The Art and Craft of Problem Solving


Paul Zeitz - 1999
    Readers are encouraged to do math rather than just study it. The author draws upon his experience as a coach for the International Mathematics Olympiad to give students an enhanced sense of mathematics and the ability to investigate and solve problems.

A Book of Abstract Algebra


Charles C. Pinter - 1982
    Its easy-to-read treatment offers an intuitive approach, featuring informal discussions followed by thematically arranged exercises. Intended for undergraduate courses in abstract algebra, it is suitable for junior- and senior-level math majors and future math teachers. This second edition features additional exercises to improve student familiarity with applications. An introductory chapter traces concepts of abstract algebra from their historical roots. Succeeding chapters avoid the conventional format of definition-theorem-proof-corollary-example; instead, they take the form of a discussion with students, focusing on explanations and offering motivation. Each chapter rests upon a central theme, usually a specific application or use. The author provides elementary background as needed and discusses standard topics in their usual order. He introduces many advanced and peripheral subjects in the plentiful exercises, which are accompanied by ample instruction and commentary and offer a wide range of experiences to students at different levels of ability.

The Haskell Road to Logic, Maths and Programming


Kees Doets - 2004
    Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvellous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others.

The Riemann Hypothesis: The Greatest Unsolved Problem in Mathematics


Karl Sabbagh - 2002
    They speak of it in awed terms and consider it to be an even more difficult problem than Fermat's last theorem, which was finally proven by Andrew Wiles in 1995.In The Riemann Hypothesis, acclaimed author Karl Sabbagh interviews some of the world's finest mathematicians who have spent their lives working on the problem--and whose approaches to meeting the challenges thrown up by the hypothesis are as diverse as their personalities.Wryly humorous, lively, accessible and comprehensive, The Riemann Hypothesis is a compelling exploration of the people who do math and the ideas that motivate them to the brink of obsession--and a profound meditation on the ultimate meaning of mathematics.

Incompleteness: The Proof and Paradox of Kurt Gödel


Rebecca Goldstein - 2005
    "A gem…An unforgettable account of one of the great moments in the history of human thought." —Steven PinkerProbing the life and work of Kurt Gödel, Incompleteness indelibly portrays the tortured genius whose vision rocked the stability of mathematical reasoning—and brought him to the edge of madness.

Elements of the Theory of Computation


Harry R. Lewis - 1981
    The authors are well-known for their clear presentation that makes the material accessible to a a broad audience and requires no special previous mathematical experience. KEY TOPICS: In this new edition, the authors incorporate a somewhat more informal, friendly writing style to present both classical and contemporary theories of computation. Algorithms, complexity analysis, and algorithmic ideas are introduced informally in Chapter 1, and are pursued throughout the book. Each section is followed by problems.

Mathematics: Is God Silent?


James Nickel - 2001
    The addition of this book is a must for all upper-level Christian school curricula and for college students and adults interested in math or related fields of science and religion. It will serve as a solid refutation for the claim, often made in court, that mathematics is one subject, which cannot be taught from a distinctively Biblical perspective.

An Essay Concerning Human Understanding


John Locke - 1690
    

Linear Algebra Done Right


Sheldon Axler - 1995
    The novel approach taken here banishes determinants to the end of the book and focuses on the central goal of linear algebra: understanding the structure of linear operators on vector spaces. The author has taken unusual care to motivate concepts and to simplify proofs. For example, the book presents - without having defined determinants - a clean proof that every linear operator on a finite-dimensional complex vector space (or an odd-dimensional real vector space) has an eigenvalue. A variety of interesting exercises in each chapter helps students understand and manipulate the objects of linear algebra. This second edition includes a new section on orthogonal projections and minimization problems. The sections on self-adjoint operators, normal operators, and the spectral theorem have been rewritten. New examples and new exercises have been added, several proofs have been simplified, and hundreds of minor improvements have been made throughout the text.

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.

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.

Structural Anthropology


Claude Lévi-Strauss - 1958
    This reissue of a classic will reintroduce readers to Lévi-Strauss’s understanding of man and society in terms of individuals—kinship, social organization, religion, mythology, and art.

Differential Geometry


Erwin Kreyszig - 1991
    With problems and solutions. Includes 99 illustrations.

A World Without Time: The Forgotten Legacy of Gödel And Einstein


Palle Yourgrau - 2004
    By 1949, Godel had produced a remarkable proof: In any universe described by the Theory of Relativity, time cannot exist. Einstein endorsed this result reluctantly but he could find no way to refute it, since then, neither has anyone else. Yet cosmologists and philosophers alike have proceeded as if this discovery was never made. In A World Without Time, Palle Yourgrau sets out to restore Godel to his rightful place in history, telling the story of two magnificent minds put on the shelf by the scientific fashions of their day, and attempts to rescue the brilliant work they did together.