Read and Download eBook Full
Author: Wilfried Sieg
Publisher: Oxford University Press
Published: 2013-03-07
Total Pages: 452
ISBN-13: 0195372220
DOWNLOAD EBOOKDavid Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg frames Hilbert's foundational work, from 1890 to 1939, in a comprehensive way and integrates it with modern proof theoretic investigations.
Author: Curtis Franks
Publisher: Cambridge University Press
Published: 2009-10-08
Total Pages: 229
ISBN-13: 0521514371
DOWNLOAD EBOOKThis study reconstructs, analyses and re-evaluates the programme of influential mathematical thinker David Hilbert, presenting it in a different light.
Author: Alfred North Whitehead
Publisher:
Published: 1910
Total Pages: 688
ISBN-13:
DOWNLOAD EBOOKAuthor: Michael Detlefsen
Publisher: Springer Science & Business Media
Published: 1986-04-30
Total Pages: 210
ISBN-13: 9789027721518
DOWNLOAD EBOOKHilbert's Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between the laws accord ing to which the mind of homo mathematicus works, and the laws governing objective mathematical fact. Mathematical epistemology is, therefore, to be seen as a struggle between a mind that naturally works in one way and a reality that works in another. Knowledge occurs when the two cooperate. Conceived in this way, there are two basic alternatives for mathematical epistemology: a skeptical position which maintains either that mind and reality seldom or never come to agreement, or that we have no very reliable way of telling when they do; and a non-skeptical position which holds that there is significant agree ment between mind and reality, and that their potential discrepan cies can be detected, avoided, and thus kept in check. Of these two, Hilbert clearly embraced the latter, and proposed a program designed to vindicate the epistemological riches represented by our natural, if non-literal, ways of thinking. Brouwer, on the other hand, opted for a position closer (in Hilbert's opinion) to that of the skeptic. Having decided that epistemological purity could come only through sacrifice, he turned his back on his classical heritage to accept a higher calling.
Author: Matthias Baaz
Publisher: Cambridge University Press
Published: 2011-06-06
Total Pages: 541
ISBN-13: 1139498436
DOWNLOAD EBOOKThis 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:
Publisher: Elsevier
Published: 2006-11-29
Total Pages: 1219
ISBN-13: 008046663X
DOWNLOAD EBOOKThe papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert's program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights.- Written by leading logicians and philosophers- Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic- Clear, in-depth expositions of technical detail- Progressive organization from general considerations to informal to symbolic logic to nonclassical logics- Presents current work in symbolic logic within a unified framework- Accessible to students, engaging for experts and professionals- Insightful philosophical discussions of all aspects of logic- Useful bibliographies in every chapter
Author: Eugenia Cheng
Publisher: Profile Books
Published: 2017-03-09
Total Pages: 191
ISBN-13: 1782830812
DOWNLOAD EBOOKSHORTLISTED FOR THE 2017 ROYAL SOCIETY SCIENCE BOOK PRIZE Even small children know there are infinitely many whole numbers - start counting and you'll never reach the end. But there are also infinitely many decimal numbers between zero and one. Are these two types of infinity the same? Are they larger or smaller than each other? Can we even talk about 'larger' and 'smaller' when we talk about infinity? In Beyond Infinity, international maths sensation Eugenia Cheng reveals the inner workings of infinity. What happens when a new guest arrives at your infinite hotel - but you already have an infinite number of guests? How does infinity give Zeno's tortoise the edge in a paradoxical foot-race with Achilles? And can we really make an infinite number of cookies from a finite amount of cookie dough? Wielding an armoury of inventive, intuitive metaphor, Cheng draws beginners and enthusiasts alike into the heart of this mysterious, powerful concept to reveal fundamental truths about mathematics, all the way from the infinitely large down to the infinitely small.
Author: Ulrich Kohlenbach
Publisher: Springer Science & Business Media
Published: 2008-05-23
Total Pages: 539
ISBN-13: 3540775331
DOWNLOAD EBOOKThis is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as – via extended case studies – carrying out some of these applications in full detail. This subject has historical roots in the 1950s. This book for the first time tells the whole story.
Author: Torkel Franzén
Publisher: CRC Press
Published: 2005-06-06
Total Pages: 184
ISBN-13: 1439876924
DOWNLOAD EBOOK"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, it is a valuable addition to the literature." --- John W. Dawson, author of Logical Dilemmas: The Life and Work of Kurt Gödel
Author: Joel David Hamkins
Publisher: MIT Press
Published: 2021-03-09
Total Pages: 350
ISBN-13: 0262542234
DOWNLOAD EBOOKAn 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.
