The Foundations of Mathematics

Author: Ian Stewart,David Orme Tall

Publisher: Oxford University Press on Demand

ISBN: 9780198531654

Category: Fiction

Page: 263

View: 3833

DOWNLOAD NOW »
"There are many textbooks available for a so-called transition course from calculus to abstract mathematics. I have taught this course several times and always find it problematic. The Foundations of Mathematics (Stewart and Tall) is a horse of a different color. The writing is excellent and there is actually some useful mathematics. I definitely like this book."--The Bulletin of Mathematics Books

Introduction to the Foundations of Mathematics

Second Edition

Author: Raymond L. Wilder

Publisher: Courier Corporation

ISBN: 0486276201

Category: Mathematics

Page: 352

View: 9699

DOWNLOAD NOW »
Classic undergraduate text acquaints students with fundamental concepts and methods of mathematics. Topics include axiomatic method, set theory, infinite sets, groups, intuitionism, formal systems, mathematical logic, and much more. 1965 second edition.

The Foundations of Mathematics

Author: Kenneth Kunen

Publisher: N.A

ISBN: 9781904987147

Category: Mathematics

Page: 251

View: 7476

DOWNLOAD NOW »
Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general. This book is designed for students who plan to specialize in logic, as well as for those who are interested in the applications of logic to other areas of mathematics. Used as a text, it could form the basis of a beginning graduate-level course. There are three main chapters: Set Theory, Model Theory, and Recursion Theory. The Set Theory chapter describes the set-theoretic foundations of all of mathematics, based on the ZFC axioms. It also covers technical results about the Axiom of Choice, well-orderings, and the theory of uncountable cardinals. The Model Theory chapter discusses predicate logic and formal proofs, and covers the Completeness, Compactness, and Lowenheim-Skolem Theorems, elementary submodels, model completeness, and applications to algebra. This chapter also continues the foundational issues begun in the set theory chapter. Mathematics can now be viewed as formal proofs from ZFC. Also, model theory leads to models of set theory. This includes a discussion of absoluteness, and an analysis of models such as H( ) and R( ). The Recursion Theory chapter develops some basic facts about computable functions, and uses them to prove a number of results of foundational importance; in particular, Church's theorem on the undecidability of logical consequence, the incompleteness theorems of Godel, and Tarski's theorem on the non-definability of truth.

The Foundations of Mathematics

Author: Ian Stewart,David Tall

Publisher: Oxford University Press, USA

ISBN: 019870643X

Category: Mathematics

Page: 432

View: 7590

DOWNLOAD NOW »
The transition from school mathematics to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts, based on set theory. The authors have many years' experience of the potential difficulties involved, through teaching first-year undergraduates and researching the ways in which students and mathematicians think. The book explains the motivation behind abstract foundational material based on students' experiences of school mathematics, and explicitly suggests ways students can make sense of formal ideas. This second edition takes a significant step forward by not only making the transition from intuitive to formal methods, but also by reversing the process- using structure theorems to prove that formal systems have visual and symbolic interpretations that enhance mathematical thinking. This is exemplified by a new chapter on the theory of groups. While the first edition extended counting to infinite cardinal numbers, the second also extends the real numbers rigorously to larger ordered fields. This links intuitive ideas in calculus to the formal epsilon-delta methods of analysis. The approach here is not the conventional one of 'nonstandard analysis', but a simpler, graphically based treatment which makes the notion of an infinitesimal natural and straightforward. This allows a further vision of the wider world of mathematical thinking in which formal definitions and proof lead to amazing new ways of defining, proving, visualising and symbolising mathematics beyond previous expectations.

Mathematical Logic and the Foundations of Mathematics

An Introductory Survey

Author: G. T. Kneebone

Publisher: Dover Publications

ISBN: 9780486417127

Category: Mathematics

Page: 435

View: 7195

DOWNLOAD NOW »
Ideal for students intending to specialize in the topic. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics. Part III focuses on the philosophy of mathematics.

Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

Author: Matthias Baaz,Christos H. Papadimitriou,Hilary W. Putnam,Dana S. Scott,Charles L. Harper, Jr

Publisher: Cambridge University Press

ISBN: 1139498436

Category: Mathematics

Page: N.A

View: 1766

DOWNLOAD NOW »
This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers.

Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge, 1939

Author: Ludwig Wittgenstein

Publisher: University of Chicago Press

ISBN: 022630860X

Category: Philosophy

Page: 300

View: 8268

DOWNLOAD NOW »
For several terms at Cambridge in 1939, Ludwig Wittgenstein lectured on the philosophical foundations of mathematics. A lecture class taught by Wittgenstein, however, hardly resembled a lecture. He sat on a chair in the middle of the room, with some of the class sitting in chairs, some on the floor. He never used notes. He paused frequently, sometimes for several minutes, while he puzzled out a problem. He often asked his listeners questions and reacted to their replies. Many meetings were largely conversation. These lectures were attended by, among others, D. A. T. Gasking, J. N. Findlay, Stephen Toulmin, Alan Turing, G. H. von Wright, R. G. Bosanquet, Norman Malcolm, Rush Rhees, and Yorick Smythies. Notes taken by these last four are the basis for the thirty-one lectures in this book. The lectures covered such topics as the nature of mathematics, the distinctions between mathematical and everyday languages, the truth of mathematical propositions, consistency and contradiction in formal systems, the logicism of Frege and Russell, Platonism, identity, negation, and necessary truth. The mathematical examples used are nearly always elementary.

Wittgenstein, Finitism, and the Foundations of Mathematics

Author: Mathieu Marion

Publisher: Oxford University Press

ISBN: 9780198235163

Category: Mathematics

Page: 260

View: 1915

DOWNLOAD NOW »
Mathieu Marion offers a careful, historically informed study of Wittgenstein's philosophy of mathematics. This area of his work has frequently been undervalued by Wittgenstein specialists and philosophers of mathematics alike; but the surprising fact that he wrote more on this subject than any other indicates its centrality in his thought. Marion traces the development of Wittgenstein's thinking from the 1920s through to the 1950s, in the context of themathematical and philosophical work of the times, to make coherent sense of ideas that have too often been misunderstood because they have been presented in a disjointed and incomplete way. He shows that study of Wittgenstein's writings on mathematics is essential to a proper understanding of his philosophy,and also that it can do much to illuminate current debates about the foundations of mathematics.

The Foundations of Mathematics

Author: Thomas Q. Sibley

Publisher: John Wiley & Sons

ISBN: 0470085010

Category: Mathematics

Page: 392

View: 9979

DOWNLOAD NOW »
Finally there's an easy-to-follow book that will help readers succeed in the art of proving theorems. Sibley not only conveys the spirit of mathematics but also uncovers the skills required to succeed. Key definitions are introduced while readers are encouraged to develop an intuition about these concepts and practice using them in problems. With this approach, they'll gain a strong understanding of the mathematical language as they discover how to apply it in order to find proofs.

Wittgenstein on the Foundations of Mathematics

Author: Crispin Wright

Publisher: N.A

ISBN: 9780751202953

Category: Mathematics

Page: 481

View: 9848

DOWNLOAD NOW »
In this detailed account, Crispin Wright offers a systematic account of Wittgenstein's later philosophy of mathematics and establishes its links with his later philosophy of language. In line with this, he examines Wittgenstein's Remarks on the Foundations of Mathematics.

Handbook of Mathematical Logic

Author: J. Barwise

Publisher: Elsevier

ISBN: 9780080933641

Category: Mathematics

Page: 1164

View: 5213

DOWNLOAD NOW »
The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.

The Logical Foundations of Mathematics

Foundations and Philosophy of Science and Technology Series

Author: William S. Hatcher

Publisher: Elsevier

ISBN: 1483189635

Category: Mathematics

Page: 330

View: 8165

DOWNLOAD NOW »
The Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-constructive foundational systems. The position of constructivism within the spectrum of foundational philosophies is discussed, along with the exact relationship between topos theory and set theory. Comprised of eight chapters, this book begins with an introduction to first-order logic. In particular, two complete systems of axioms and rules for the first-order predicate calculus are given, one for efficiency in proving metatheorems, and the other, in a "natural deduction" style, for presenting detailed formal proofs. A somewhat novel feature of this framework is a full semantic and syntactic treatment of variable-binding term operators as primitive symbols of logic. Subsequent chapters focus on the origin of modern foundational studies; Gottlob Frege's formal system intended to serve as a foundation for mathematics and its paradoxes; the theory of types; and the Zermelo-Fraenkel set theory. David Hilbert's program and Kurt Gödel's incompleteness theorems are also examined, along with the foundational systems of W. V. Quine and the relevance of categorical algebra for foundations. This monograph will be of interest to students, teachers, practitioners, and researchers in mathematics.

The Foundations of Mathematics

1800 to 1900

Author: Michael John Bradley

Publisher: Infobase Publishing

ISBN: 0791097218

Category: Juvenile Nonfiction

Page: N.A

View: 3110

DOWNLOAD NOW »
During the 16th and 17th centuries, mathematicians developed a wealth of new ideas but had not carefully employed accurate definitions, proofs, or procedures to document and implement them. However, in the early 19th century, mathematicians began to recognize the need to precisely define their terms, to logically prove even obvious principles, and to use rigorous methods of manipulation. The Foundations of Mathematics presents the lives and accomplishments of 10 mathematicians who lived between CE 1800 and 1900 and contributed to one or more of the four major initiatives that characterized the rapid growth of mathematics during the 19th century: the introduction of rigor, the investigation of the structure of mathematical systems, the development of new branches of mathematics, and the spread of mathematical activity throughout Europe. This readable new volume communicates the importance and impact of the work of the pioneers who redefined this area of study.

From Kant to Hilbert Volume 1

A Source Book in the Foundations of Mathematics

Author: William Ewald

Publisher: Oxford University Press on Demand

ISBN: 0198505353

Category: Mathematics

Page: 1340

View: 8443

DOWNLOAD NOW »
This two-volume work brings together a comprehensive selection of mathematical works from the period 1707-1930. During this time the foundations of modern mathematics were laid, and From Kant to Hilbert provides an overview of the foundational work in each of the main branches of mathmeatics with narratives showing how they were linked. Now available as a separate volume.

Foundations of Mathematical Genetics

Author: Anthony W. F. Edwards

Publisher: Cambridge University Press

ISBN: 9780521775441

Category: Science

Page: 121

View: 3983

DOWNLOAD NOW »
Foundations of Mathematical Genetics is a definitive account of the origins of modern mathematical population genetics, a topic that has been all too often neglected by other textbooks. In this new edition, Dr Edwards extends his classic work with a new chapter on the fundamental theorem of natural selection. Advanced students of mathematical genetics and those interested in the history of the subject will find it a clear exposition of the mathematical underpinnings of population genetics.

Practical Foundations of Mathematics

Author: Paul Taylor

Publisher: Cambridge University Press

ISBN: 9780521631075

Category: Mathematics

Page: 572

View: 429

DOWNLOAD NOW »
Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.

Harvey Friedman's Research on the Foundations of Mathematics

Author: L.A. Harrington,M.D. Morley,A. Šcedrov,S.G. Simpson

Publisher: Elsevier

ISBN: 9780080960401

Category: Mathematics

Page: 407

View: 6292

DOWNLOAD NOW »
This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide audience of mathematicians, computer scientists, and mathematically oriented philosophers.