Reflections on the Foundations of Mathematics
Reflections on the Foundations of Mathematics

Author: Stefania Centrone

Publisher: Springer Nature

Published: 2019-11-11

Total Pages: 511

ISBN-13: 3030156559

DOWNLOAD EBOOK

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The volume is divided into three sections, the first two of which focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The third section then builds on this and is centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories. This book shares the work of some of the most important scholars in the fields of set theory (S. Friedman), non-classical logic (G. Priest) and the philosophy of mathematics (P. Maddy). The reader will become aware of the advantages of each theory and objections to it as a foundation, following the latest and best work across the disciplines and it is therefore a valuable read for anyone working on the foundations of mathematics or in the philosophy of mathematics.

Philosophy of Mathematics
Philosophy of Mathematics

Author: Øystein Linnebo

Publisher: Princeton University Press

Published: 2020-03-24

Total Pages: 214

ISBN-13: 069120229X

DOWNLOAD EBOOK

A sophisticated, original introduction to the philosophy of mathematics from one of its leading thinkers Mathematics is a model of precision and objectivity, but it appears distinct from the empirical sciences because it seems to deliver nonexperiential knowledge of a nonphysical reality of numbers, sets, and functions. How can these two aspects of mathematics be reconciled? This concise book provides a systematic, accessible introduction to the field that is trying to answer that question: the philosophy of mathematics. Øystein Linnebo, one of the world's leading scholars on the subject, introduces all of the classical approaches to the field as well as more specialized issues, including mathematical intuition, potential infinity, and the search for new mathematical axioms. Sophisticated but clear and approachable, this is an essential book for all students and teachers of philosophy and of mathematics.

Philosophy of Mathematics in the Twentieth Century
Philosophy of Mathematics in the Twentieth Century

Author: Charles Parsons

Publisher: Harvard University Press

Published: 2014-03-10

Total Pages: 365

ISBN-13: 0674419499

DOWNLOAD EBOOK

In these selected essays, Charles Parsons surveys the contributions of philosophers and mathematicians who shaped the philosophy of mathematics over the past century: Brouwer, Hilbert, Bernays, Weyl, Gödel, Russell, Quine, Putnam, Wang, and Tait.

Philosophy of Mathematics and Economics
Philosophy of Mathematics and Economics

Author: Thomas A. Boylan

Publisher: Routledge

Published: 2018-04-09

Total Pages: 307

ISBN-13: 1351124544

DOWNLOAD EBOOK

With the failure of economics to predict the recent economic crisis, the image of economics as a rigorous mathematical science has been subjected to increasing interrogation. One explanation for this failure is that the subject took a wrong turn in its historical trajectory, becoming too mathematical. Using the philosophy of mathematics, this unique book re-examines this trajectory. Philosophy of Mathematics and Economics re-analyses the divergent rationales for mathematical economics by some of its principal architects. Yet, it is not limited to simply enhancing our understanding of how economics became an applied mathematical science. The authors also critically evaluate developments in the philosophy of mathematics to expose the inadequacy of aspects of mainstream mathematical economics, as well as exploiting the same philosophy to suggest alternative ways of rigorously formulating economic theory for our digital age. This book represents an innovative attempt to more fully understand the complexity of the interaction between developments in the philosophy of mathematics and the process of formalisation in economics. Assuming no expert knowledge in the philosophy of mathematics, this work is relevant to historians of economic thought and professional philosophers of economics. In addition, it will be of great interest to those who wish to deepen their appreciation of the economic contours of contemporary society. It is also hoped that mathematical economists will find this work informative and engaging.

Towards a Philosophy of Real Mathematics
Towards a Philosophy of Real Mathematics

Author: David Corfield

Publisher: Cambridge University Press

Published: 2003-04-24

Total Pages: 300

ISBN-13: 1139436392

DOWNLOAD EBOOK

In this ambitious study, David Corfield attacks the widely held view that it is the nature of mathematical knowledge which has shaped the way in which mathematics is treated philosophically and claims that contingent factors have brought us to the present thematically limited discipline. Illustrating his discussion with a wealth of examples, he sets out a variety of approaches to new thinking about the philosophy of mathematics, ranging from an exploration of whether computers producing mathematical proofs or conjectures are doing real mathematics, to the use of analogy, the prospects for a Bayesian confirmation theory, the notion of a mathematical research programme and the ways in which new concepts are justified. His inspiring book challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines and points clearly to the ways in which this can be done.

The Philosophy of Mathematical Practice
The Philosophy of Mathematical Practice

Author: Paolo Mancosu

Publisher: Oxford University Press on Demand

Published: 2008-06-19

Total Pages: 460

ISBN-13: 0199296456

DOWNLOAD EBOOK

There is an urgent need in philosophy of mathematics for new approaches which pay closer attention to mathematical practice. This book will blaze the trail: it offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.

Kurt Gödel and the Foundations of Mathematics
Kurt Gödel and the Foundations of Mathematics

Author: Matthias Baaz

Publisher: Cambridge University Press

Published: 2011-06-06

Total Pages: 541

ISBN-13: 1139498436

DOWNLOAD EBOOK

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.

Lectures on the Philosophy of Mathematics
Lectures on the Philosophy of Mathematics

Author: Joel David Hamkins

Publisher: MIT Press

Published: 2021-03-09

Total Pages: 350

ISBN-13: 0262542234

DOWNLOAD EBOOK

An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice. In this book, Joel David Hamkins offers an introduction to the philosophy of mathematics that is grounded in mathematics and motivated by mathematical inquiry and practice. He treats philosophical issues as they arise organically in mathematics, discussing such topics as platonism, realism, logicism, structuralism, formalism, infinity, and intuitionism in mathematical contexts. He organizes the book by mathematical themes--numbers, rigor, geometry, proof, computability, incompleteness, and set theory--that give rise again and again to philosophical considerations.

Philosophy and Foundations of Mathematics
Philosophy and Foundations of Mathematics

Author: A. Heyting

Publisher: Elsevier

Published: 2014-05-12

Total Pages: 645

ISBN-13: 1483278158

DOWNLOAD EBOOK

L.E.J. Brouwer: Collected Works, Volume 1: Philosophy and Foundations of Mathematics focuses on the principles, operations, and approaches promoted by Brouwer in studying the philosophy and foundations of mathematics. The publication first ponders on the construction of mathematics. Topics include arithmetic of integers, negative numbers, measurable continuum, irrational numbers, Cartesian geometry, similarity group, characterization of the linear system of the Cartesian or Euclidean and hyperbolic space, and non-Archimedean uniform groups on the one-dimensional continuum. The book then examines mathematics and experience and mathematics and logic. Topics include denumerably unfinished sets, continuum problem, logic of relations, consistency proofs for formal systems independent of their interpretation, infinite numbers, and problems of space and time. The text is a valuable reference for students, mathematicians, and researchers interested in the contributions of Brouwer in the studies on the philosophy and foundations of mathematics.