Daniel J. Velleman

This new edition of Daniel J. Velleman's successful textbook contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.

A Structured Approach

How to Prove It

Alexander George

Philosophies of Mathematics

Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. 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. The author shows how complex proofs are built up from these smaller steps, using detailed 'scratch work' sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. To give students the opportunity to 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. This book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and of course mathematicians.

S. Wagon

Bicycle or Unicycle? is a collection of 105 mathematical puzzles whose defining characteristic is the surprise encountered in their solutions. Solvers will be surprised, even occasionally shocked, at those solutions. The problems unfold into levels of depth and generality very unusual in the types of problems seen in contests. In contrast to contest problems, these are problems meant to be savored; many solutions, all beautifully explained, lead to unanswered research questions. At the same time, the mathematics necessary to understand the problems and their solutions is all at the undergraduate level. The puzzles will, nonetheless, appeal to professionals as well as to students and, in fact, to anyone who finds delight in an unexpected discovery. These problems were selected from the Macalester College Problem of the Week archive. The Macalester tradition of a weekly problem was started by Joseph Konhauser in 1968. In 1993 Stan Wagon assumed problem-generating duties. A previous book written by Wagon, Konhauser, and Dan Velleman, Which Way Did the Bicycle Go?, gathered problems from the first twenty-five years of the archive. The title problem in that collection was inspired by an error in logic made by Sherlock Holmes, who attempted to determine the direction of a bicycle from the tracks of its wheels. Here the title problem asks whether a bicycle track can always be distinguished from a unicycle track. You'll be surprised by the answer.

Bicycle or Unicycle?: A Collection of Intriguing Mathematical Puzzles

Helps students transition from problem solving to proving theorems, with a new chapter on number theory and over 150 new exercises.

Dieses Buch blickt in eine bedeutende Epoche der Philosophie der Mathematik zurück, deren Strömungen die heutige Gestalt der Mathematik prägten. In der Wende vom 19. zum 20. Jahrhundert befand sich die Mathematik in einem fundamentalen Umbruch, der die Mathematiker dieser Zeit herausforderte. Sie mussten Stellung beziehen. Die Grundsätze und Wege der philosophischen Richtungen, die dieses Buch verständlich, kritisch und anerkennend beschreibt, wurden von Mathematikern formuliert. Eine Zeit gravierender Disharmonien begann, die bis in Streit und Feindschaften mündeten und zugleich faszinierende und fruchtbare Ergebnisse hervorbrachten, mathematisch wie philosophisch. Es war ein aufregendes, intellektuelles Abenteuer zu Beginn des 20. Jahrhunderts auf einem außergewöhnlich scharfsinnigen und kreativen Niveau. Die Debatte über die unversöhnlichen Ansichten versiegte allmählich und inzwischen ist wieder relative Ruhe in die Gemeinde der Mathematiker eingekehrt. Zentrale philosophische Fragen aber, die damals die Protagonisten spalteten, sind nach wie vor unbeantwortet. Die Suche nach dem Wesen der Mathematik geht weiter und greift auf die Ideen dieser Kontroversen zurück.

Logizismus, Intuitionismus, Finitismus, Gödel'sche Unvollständigkeitssätze

Zur Philosophie der Mathematik

Designed for undergraduate mathematics majors, this rigorous and rewarding treatment covers the usual topics of first-year calculus: limits, derivatives, integrals, and infinite series. Author Daniel J. Velleman focuses on calculus as a tool for problem solving rather than the subject's theoretical foundations. Stressing a fundamental understanding of the concepts of calculus instead of memorized procedures, this volume teaches problem solving by reasoning, not just calculation. The goal of the text is an understanding of calculus that is deep enough to allow the student to not only find answers to problems, but also achieve certainty of the answers' correctness. No background in calculus is necessary. Prerequisites include proficiency in basic algebra and trigonometry, and a concise review of both areas provides sufficient background. Extensive problem material appears throughout the text and includes selected answers. Complete solutions are available to instructors.

Daniel J. Velleman

About

Books

Join the club