Principles and Proofs

Principles and Proofs
Author: Richard D. McKirahan Jr.
Publisher: Princeton University Press
Total Pages: 355
Release: 2017-03-14
Genre: Philosophy
ISBN: 140088716X

By a thorough study of the Posterior Analytics and related Aristotelian texts, Richard McKirahan reconstructs Aristotle's theory of episteme--science. The Posterior Analytics contains the first extensive treatment of the nature and structure of science in the history of philosophy, and McKirahan's aim is to interpret it sympathetically, following the lead of the text, rather than imposing contemporary frameworks on it. In addition to treating the theory as a whole, the author uses textual and philological as well as philosophical material to interpret many important but difficult individual passages. A number of issues left obscure by the Aristotelian material are settled by reference to Euclid's geometrical practice in the Elements. To justify this use of Euclid, McKirahan makes a comparative analysis of fundamental features of Euclidian geometry with the corresponding elements of Aristotle's theory. Emerging from that discussion is a more precise and more complex picture of the relation between Aristotle's theory and Greek mathematics--a picture of mutual, rather than one-way, dependence. Originally published in 1992. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Proofs from THE BOOK

Proofs from THE BOOK
Author: Martin Aigner
Publisher: Springer Science & Business Media
Total Pages: 194
Release: 2013-06-29
Genre: Mathematics
ISBN: 3662223430

According to the great mathematician Paul Erdös, God maintains perfect mathematical proofs in The Book. This book presents the authors candidates for such "perfect proofs," those which contain brilliant ideas, clever connections, and wonderful observations, bringing new insight and surprising perspectives to problems from number theory, geometry, analysis, combinatorics, and graph theory. As a result, this book will be fun reading for anyone with an interest in mathematics.

Book of Proof

Book of Proof
Author: Richard H. Hammack
Publisher:
Total Pages: 314
Release: 2016-01-01
Genre: Mathematics
ISBN: 9780989472111

This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra. Although it may be more meaningful to the student who has had some calculus, there is really no prerequisite other than a measure of mathematical maturity.

How to Prove It

How to Prove It
Author: Daniel J. Velleman
Publisher: Cambridge University Press
Total Pages: 401
Release: 2006-01-16
Genre: Mathematics
ISBN: 0521861241

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.

Euclid's Elements

Euclid's Elements
Author: Euclid
Publisher:
Total Pages: 544
Release: 2002
Genre: Mathematics
ISBN:

"The book includes introductions, terminology and biographical notes, bibliography, and an index and glossary" --from book jacket.

Mechanical Theorem Proving in Geometries

Mechanical Theorem Proving in Geometries
Author: Wen-tsün Wu
Publisher: Springer Science & Business Media
Total Pages: 308
Release: 1994-04-14
Genre: Computers
ISBN: 9783211825068

This book is a translation of Professor Wu’s seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former student Dongming Wang jointly with Xiaofan Jin so that authenticity is guaranteed. Meanwhile, automated geometric theorem proving based on Wu’s method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated theorem proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples.

Discrete Mathematics

Discrete Mathematics
Author: Oscar Levin
Publisher: Createspace Independent Publishing Platform
Total Pages: 342
Release: 2016-08-16
Genre:
ISBN: 9781534970748

This gentle introduction to discrete mathematics is written for first and second year math majors, especially those who intend to teach. The text began as a set of lecture notes for the discrete mathematics course at the University of Northern Colorado. This course serves both as an introduction to topics in discrete math and as the "introduction to proof" course for math majors. The course is usually taught with a large amount of student inquiry, and this text is written to help facilitate this. Four main topics are covered: counting, sequences, logic, and graph theory. Along the way proofs are introduced, including proofs by contradiction, proofs by induction, and combinatorial proofs. The book contains over 360 exercises, including 230 with solutions and 130 more involved problems suitable for homework. There are also Investigate! activities throughout the text to support active, inquiry based learning. While there are many fine discrete math textbooks available, this text has the following advantages: It is written to be used in an inquiry rich course. It is written to be used in a course for future math teachers. It is open source, with low cost print editions and free electronic editions.

Principia Mathematica

Principia Mathematica
Author: Alfred North Whitehead
Publisher:
Total Pages: 688
Release: 1910
Genre: Logic, Symbolic and mathematical
ISBN:

Conjecture and Proof

Conjecture and Proof
Author: Miklos Laczkovich
Publisher: American Mathematical Soc.
Total Pages: 118
Release: 2001-12-31
Genre: Mathematics
ISBN: 1470458322

The Budapest semesters in mathematics were initiated with the aim of offering undergraduate courses that convey the tradition of Hungarian mathematics to English-speaking students. This book is an elaborate version of the course on Conjecture and Proof. It gives miniature introductions to various areas of mathematics by presenting some interesting and important, but easily accessible results and methods. The text contains complete proofs of deep results such as the transcendence of $e$, the Banach-Tarski paradox and the existence of Borel sets of arbitrary (finite) class. One of the purposes is to demonstrate how far one can get from the first principles in just a couple of steps. Prerequisites are kept to a minimum, and any introductory calculus course provides the necessary background for understanding the book. Exercises are included for the benefit of students. However, this book should prove fascinating for any mathematically literate reader.

Proof Theory

Proof Theory
Author: Wolfram Pohlers
Publisher: Springer
Total Pages: 220
Release: 2009-06-10
Genre: Mathematics
ISBN: 3540468250

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The "constructive" consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers.