Author: Ludwig Wittgenstein
Publisher:
ISBN: 9780262730174
Category : Mathematics
Languages : de
Pages : 204

View

Book Description

Author: Crispin Wright
Publisher: Bloomsbury Academic
ISBN:
Category : Mathematics
Languages : en
Pages : 518

View

Book Description

Author: Luca Incurvati
Publisher: Cambridge University Press
ISBN: 1108497829
Category : History
Languages : en
Pages : 255

View

Book Description
Presents a detailed and critical examination of the available conceptions of set and proposes a novel version.

Author: Mathieu Marion
Publisher: OUP Oxford
ISBN: 0191568325
Category : Philosophy
Languages : en
Pages : 272

View

Book Description
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 by philosophers of mathematics alike; but the surprising fact that he wrote more on this subject than on any other indicates its centrality in his thought. Marion traces the development of Wittgenstein's thinking in the context of the mathematical 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. In particular, he illuminates the work of the neglected 'transitional period' between the Tractatus and the Investigations. Marion shows that study of Wittgenstein's writings on mathematics is essential to a proper understanding of his philosophy; and he also demonstrates that it has much to contribute to current debates about the foundations of mathematics.

Author: Matthias Baaz
Publisher: Cambridge University Press
ISBN: 1139498436
Category : Mathematics
Languages : en
Pages : 541

View

Book Description
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.

Author: C. K. Raju
Publisher: Pearson Education India
ISBN: 9788131708712
Category : Calculus
Languages : en
Pages : 536

View

Book Description
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.

Author: Raymond L. Wilder
Publisher: Courier Corporation
ISBN: 0486276201
Category : Mathematics
Languages : en
Pages : 354

View

Book Description
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.

Author: William S. Hatcher
Publisher: Elsevier
ISBN: 1483189635
Category : Mathematics
Languages : en
Pages : 331

View

Book Description
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.

Author: Kenneth Kunen
Publisher:
ISBN: 9781904987147
Category : Mathematics
Languages : en
Pages : 251

View

Book Description
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.

Author: Juliet Floyd
Publisher: Cambridge University Press
ISBN: 1108616534
Category : Science
Languages : en
Pages : 96

View

Book Description
For Wittgenstein mathematics is a human activity characterizing ways of seeing conceptual possibilities and empirical situations, proof and logical methods central to its progress. Sentences exhibit differing 'aspects', or dimensions of meaning, projecting mathematical 'realities'. Mathematics is an activity of constructing standpoints on equalities and differences of these. Wittgenstein's Later Philosophy of Mathematics (1934–1951) grew from his Early (1912–1921) and Middle (1929–33) philosophies, a dialectical path reconstructed here partly as a response to the limitative results of Gödel and Turing.