## The Foundations of Mathematics

Author: Ian Stewart
Publisher: Oxford University Press on Demand
ISBN: 0198531656
Release Date: 1977
Genre: Fiction

"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

## The Foundations of Mathematics

Author: Kenneth Kunen
Publisher:
ISBN: 1904987141
Release Date: 2009
Genre: Mathematics

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.

## Professor Stewarts mathematische Sch tze

Author: Ian Stewart
Publisher: Rowohlt Verlag GmbH
ISBN: 9783644017115
Release Date: 2012-03-09
Genre: Mathematics

Was war noch mal die Catalan’sche Vermutung? Und woher kommt eigentlich das Wurzelsymbol? Was hat die Zahl Pi mit dem Sternenhimmel zu tun? Wer erfand das Gleichheitszeichen? Der britische Matheguru Ian Stewart breitet in diesem Band Schätze aus, die er in Jahrzehnten gesammelt hat: über 180 interessante Matherätsel, Lösungen, Spiele, Tricks, Geschichten, Anekdoten und Logeleien. Zudem ist Stewarts Schatztruhe mit interessanten historischen Exkursen angereichert, zum Beispiel einer kurzen Einführung in das Rechnen der Maya und der alten Ägypter und auch in die Vergangenheit unseres eigenen Rechnens: Wer erfand das Gleichheitszeichen – und warum? Ein Buch zum Blättern und Stöbern, zum Spaßhaben und Dazulernen, für Laien und für Fortgeschrittene.

## Introduction to the Foundations of Mathematics

Author: Raymond L. Wilder
Publisher: Courier Corporation
ISBN: 9780486276205
Release Date: 2013-09-26
Genre: Mathematics

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.

## Harvey Friedman s Research on the Foundations of Mathematics

Author: L.A. Harrington
Publisher: Elsevier
ISBN: 0080960405
Release Date: 1985-11-01
Genre: Mathematics

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.

## The Foundations of Mathematics and Other Logical Essays

Author: Frank Plumpton Ramsey
Publisher: Psychology Press
ISBN: 0415225469
Release Date: 2001
Genre: Philosophy

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

## Essays on the Foundations of Mathematics and Logic

Author: Giandomenico Sica
Publisher: Polimetrica s.a.s.
ISBN: 9788876990144
Release Date: 2005-01-01
Genre: Mathematics

## Kurt G del and the Foundations of Mathematics

Author: Matthias Baaz
Publisher: Cambridge University Press
ISBN: 9781139498432
Release Date: 2011-06-06
Genre: Mathematics

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.

## Essays on the Foundations of Mathematics by Moritz Pasch

Author: Stephen Pollard
Publisher: Springer Science & Business Media
ISBN: 9048194164
Release Date: 2010-08-03
Genre: Mathematics

Moritz Pasch (1843-1930) is justly celebrated as a key figure in the history of axiomatic geometry. Less well known are his contributions to other areas of foundational research. This volume features English translations of 14 papers Pasch published in the decade 1917-1926. In them, Pasch argues that geometry and, more surprisingly, number theory are branches of empirical science; he provides axioms for the combinatorial reasoning essential to Hilbert’s program of consistency proofs; he explores "implicit definition" (a generalization of definition by abstraction) and indicates how this technique yields an "empiricist" reconstruction of set theory; he argues that we cannot fully understand the logical structure of mathematics without clearly distinguishing between decidable and undecidable properties; he offers a rare glimpse into the mind of a master of axiomatics, surveying in detail the thought experiments he employed as he struggled to identify fundamental mathematical principles; and much more. This volume will: Give English speakers access to an important body of work from a turbulent and pivotal period in the history of mathematics, help us look beyond the familiar triad of formalism, intuitionism, and logicism, show how deeply we can see with the help of a guide determined to present fundamental mathematical ideas in ways that match our human capacities, will be of interest to graduate students and researchers in logic and the foundations of mathematics.

## Mathematical Logic and the Foundations of Mathematics

Author: G. T. Kneebone
Publisher: Dover Publications
ISBN: 0486417123
Release Date: 2001
Genre: Mathematics

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.

## The Foundations of Mathematics

Author: Thomas Q. Sibley
Publisher: John Wiley & Sons
ISBN: 9780470085011
Release Date: 2008-04-07
Genre: Mathematics

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.

## Cultural Foundations of Mathematics

Author: C. K. Raju
Publisher: Pearson Education India
ISBN: 8131708713
Release Date: 2007
Genre: Calculus

The Volume Examines, In Depth, The Implications Of Indian History And Philosophy For Contemporary Mathematics And Science. The Conclusions Challenge Current Formal Mathematics And Its Basis In The Western Dogma That Deduction Is Infallible (Or That It Is Less Fallible Than Induction). The Development Of The Calculus In India, Over A Thousand Years, Is Exhaustively Documented In This Volume, Along With Novel Insights, And Is Related To The Key Sources Of Wealth-Monsoon-Dependent Agriculture And Navigation Required For Overseas Trade - And The Corresponding Requirement Of Timekeeping. Refecting The Usual Double Standard Of Evidence Used To Construct Eurocentric History, A Single, New Standard Of Evidence For Transmissions Is Proposed. Using This, It Is Pointed Out That Jesuits In Cochin, Following The Toledo Model Of Translation, Had Long-Term Opportunity To Transmit Indian Calculus Texts To Europe. The European Navigational Problem Of Determining Latitude, Longitude, And Loxodromes, And The 1582 Gregorian Calendar-Reform, Provided Ample Motivation. The Mathematics In These Earlier Indian Texts Suddenly Starts Appearing In European Works From The Mid-16Th Century Onwards, Providing Compelling Circumstantial Evidence. While The Calculus In India Had Valid Pramana, This Differed From Western Notions Of Proof, And The Indian (Algorismus) Notion Of Number Differed From The European (Abacus) Notion. Hence, Like Their Earlier Difficulties With The Algorismus, Europeans Had Difficulties In Understanding The Calculus, Which, Like Computer Technology, Enhanced The Ability To Calculate, Albeit In A Way Regarded As Epistemologically Insecure. Present-Day Difficulties In Learning Mathematics Are Related, Via Phylogeny Is Ontogeny , To These Historical Difficulties In Assimilating Imported Mathematics. An Appendix Takes Up Further Contemporary Implications Of The New Philosophy Of Mathematics For The Extension Of The Calculus, Which Is Needed To Handle The Infinities Arising In The Study Of Shock Waves And The Renormalization Problem Of Quantum Field Theory.

## Foundations and Fundamental Concepts of Mathematics

Author: Howard Eves
Publisher: Courier Corporation
ISBN: 9780486132204
Release Date: 2012-04-10
Genre: Mathematics

Third edition of popular undergraduate-level text offers historic overview, readable treatment of mathematics before Euclid, Euclid's Elements, non-Euclidean geometry, algebraic structure, formal axiomatics, sets, more. Problems, some with solutions. Bibliography.

## The Foundations of Mathematics in the Theory of Sets

Author: John P. Mayberry
Publisher: Cambridge University Press
ISBN: 0521770343
Release Date: 2000
Genre: Mathematics

This 2001 book will appeal to mathematicians and philosophers interested in the foundations of mathematics.