Truth, Proof and Infinity PDF Download

Author: P. Fletcher
Publisher: Springer Science & Business Media
ISBN: 9401736162
Category : Philosophy
Languages : en
Pages : 477

View

Book Description
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms `construction' and `proof' has never been adequately explained (although Kriesel, Goodman and Martin-Löf have attempted axiomatisations). This monograph develops precise (though not wholly formal) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Interpretations of Heyting arithmetic and constructive analysis are given. The philosophical basis of constructivism is explored thoroughly in Part I. The author seeks to answer objections from platonists and to reconcile his position with the central insights of Hilbert's formalism and logic. Audience: Philosophers of mathematics and logicians, both academic and graduate students, particularly those interested in Brouwer and Hilbert; theoretical computer scientists interested in the foundations of functional programming languages and program correctness calculi.

Author: Loren Graham
Publisher: Harvard University Press
ISBN: 0674032934
Category : History
Languages : en
Pages : 252

View

Book Description
In 1913, Russian imperial marines stormed an Orthodox monastery at Mt. Athos, Greece, to haul off monks engaged in a dangerously heretical practice known as Name Worshipping. Exiled to remote Russian outposts, the monks and their mystical movement went underground. Ultimately, they came across Russian intellectuals who embraced Name Worshipping—and who would achieve one of the biggest mathematical breakthroughs of the twentieth century, going beyond recent French achievements. Loren Graham and Jean-Michel Kantor take us on an exciting mathematical mystery tour as they unravel a bizarre tale of political struggles, psychological crises, sexual complexities, and ethical dilemmas. At the core of this book is the contest between French and Russian mathematicians who sought new answers to one of the oldest puzzles in math: the nature of infinity. The French school chased rationalist solutions. The Russian mathematicians, notably Dmitri Egorov and Nikolai Luzin—who founded the famous Moscow School of Mathematics—were inspired by mystical insights attained during Name Worshipping. Their religious practice appears to have opened to them visions into the infinite—and led to the founding of descriptive set theory. The men and women of the leading French and Russian mathematical schools are central characters in this absorbing tale that could not be told until now. Naming Infinity is a poignant human interest story that raises provocative questions about science and religion, intuition and creativity.

Author: John Stillwell
Publisher: CRC Press
ISBN: 1439865507
Category : Mathematics
Languages : en
Pages : 202

View

Book Description
Winner of a CHOICE Outstanding Academic Title Award for 2011!This book offers an introduction to modern ideas about infinity and their implications for mathematics. It unifies ideas from set theory and mathematical logic, and traces their effects on mainstream mathematical topics of today, such as number theory and combinatorics. The treatment is h

Author: Chi Tat Chong
Publisher: World Scientific
ISBN: 9814571059
Category : Mathematics
Languages : en
Pages : 245

View

Book Description
This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters cover topics in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the nature of mathematical truth and how does one resolve questions that are formally unsolvable within the Zermelo-Fraenkel Set Theory with the Axiom of Choice, and (ii) Do the discoveries in mathematics provide evidence favoring one philosophical view over others? These issues are discussed from the vantage point of recent progress in foundational studies.The final chapter features questions proposed by the participants of the Workshop that will drive foundational research. The wide range of topics covered here will be of interest to students, researchers and mathematicians concerned with issues in the foundations of mathematics.

Author: David Deutsch
Publisher: Penguin UK
ISBN: 0141969695
Category : Science
Languages : en
Pages : 571

View

Book Description
'Science has never had an advocate quite like David Deutsch ... A computational physicist on a par with his touchstones Alan Turing and Richard Feynman, and a philosopher in the line of his greatest hero, Karl Popper. His arguments are so clear that to read him is to experience the thrill of the highest level of discourse available on this planet and to understand it' Peter Forbes, Independent In our search for truth, how far have we advanced? This uniquely human quest for good explanations has driven amazing improvements in everything from scientific understanding and technology to politics, moral values and human welfare. But will progress end, either in catastrophe or completion - or will it continue infinitely? In this profound and seminal book, David Deutsch explores the furthest reaches of our current understanding, taking in the Infinity Hotel, supernovae and the nature of optimism, to instill in all of us a wonder at what we have achieved - and the fact that this is only the beginning of humanity's infinite possibility. 'This is Deutsch at his most ambitious, seeking to understand the implications of our scientific explanations of the world ... I enthusiastically recommend this rich, wide-ranging and elegantly written exposition of the unique insights of one of our most original intellectuals' Michael Berry, Times Higher Education Supplement 'Bold ... profound ... provocative and persuasive' Economist 'David Deutsch may well go down in history as one of the great scientists of our age' Scotsman

Author: Fabrice Pataut
Publisher: Springer
ISBN: 9783319459783
Category : Philosophy
Languages : en
Pages : 0

View

Book Description
This volume features essays about and by Paul Benacerraf, whose ideas have circulated in the philosophical community since the early nineteen sixties, shaping key areas in the philosophy of mathematics, the philosophy of language, the philosophy of logic, and epistemology. The book started as a workshop held in Paris at the Collège de France in May 2012 with the participation of Paul Benacerraf. The introduction addresses the methodological point of the legitimate use of so-called “Princess Margaret Premises” in drawing philosophical conclusions from Gödel’s first incompleteness theorem. The book is then divided into three sections. The first is devoted to an assessment of the improved version of the original dilemma of “Mathematical Truth” due to Hartry Field: the challenge to the platonist is now to explain the reliability of our mathematical beliefs given the very subject matter of mathematics, either pure or applied. The second addresses the issue of the ontological status of numbers: Frege’s logicism, fictionalism, structuralism, and Bourbaki’s theory of structures are called up for an appraisal of Benacerraf’s negative conclusions of “What Numbers Could Not Be.” The third is devoted to supertasks and bears witness to the unique standing of Benacerraf’s first publication: “Tasks, Super-Tasks, and Modern Eleatics” in debates on Zeno’s paradox and associated paradoxes, infinitary mathematics, and constructivism and finitism in the philosophy of mathematics. Two yet unpublished essays by Benacerraf have been included in the volume: an early version of “Mathematical Truth” from 1968 and an essay on “What Numbers Could Not Be” from the mid 1970’s. A complete chronological bibliography of Benacerraf’s work to 2016 is provided.Essays by Jody Azzouni, Paul Benacerraf, Justin Clarke-Doane, Sébastien Gandon, Brice Halimi, Jon Pérez Laraudogoitia, Mary Leng, Antonio León-Sánchez and Ana C. León-Mejía, Marco Panza, Fabrice Pataut, Philippe de Rouilhan, Andrea Sereni, and Stewart Shapiro.

Author: Rudy Rucker
Publisher: Bantam Books
ISBN: 5885010897
Category : Philosophy
Languages : en
Pages : 379

View

Book Description
The book contains popular expositions (accessible to readers with no more than a high school mathematics background) on the mathematical theory of infinity, and a number of related topics. These include G?del's incompleteness theorems and their relationship to concepts of artificial intelligence and the human mind, as well as the conceivability of some unconventional cosmological models. The material is approached from a variety of viewpoints, some more conventionally mathematical and others being nearly mystical. There is a brief account of the author's personal contact with Kurt G?del.An appendix contains one of the few popular expositions on set theory research on what are known as "strong axioms of infinity."

Author: Paolo Mancosu
Publisher: Oxford University Press
ISBN: 0198746822
Category : Mathematics
Languages : en
Pages : 231

View

Book Description
Mancosu offers an original investigation of key notions in mathematics: abstraction and infinity, and their interaction. He gives a historical analysis of the theorizing of definitions by abstraction, and explores a novel approach to measuring the size of infinite sets, showing how this leads to deep mathematical and philosophical problems.

Author: J.Q. Coyle
Publisher: St. Martin's Griffin
ISBN: 1250099234
Category : Young Adult Fiction
Languages : en
Pages : 256

View

Book Description
"The clever, fast-moving plot features a strong, appealing heroine, Sylvia Plath's poetry, romance, betrayal, and heart-stopping suspense." - Kirkus Reviews "This ambitious sci-fi novel, filled with multiverses and what-ifs... contains complex world building that would appeal to fans of TV's Orphan Black." - Booklist Almost fifteen, Alicia is smart and funny with a deep connection to the poet Sylvia Plath, but she’s ultimately failing at life. With a laundry list of diagnoses, she hallucinates different worlds—strange, decaying, otherworldly yet undeniably real worlds that are completely unlike her own with her single mom and one true friend. In one particularly vivid hallucination, Alicia is drawn to a boy her own age named Jax who’s trapped in a dying universe. Days later, her long-lost father shows up at her birthday party, telling her that the hallucinations aren’t hallucinations, but real worlds; she and Jax are bound by a strange past and intertwining present. This leads her on a journey to find out who she is while trying to save the people and worlds she loves. J.Q. Coyle’s The Infinity of You & Me is a wild ride through unruly hearts and vivid worlds guaranteed to captivate.

Author: Kate Hosford
Publisher: Carolrhoda Books ®
ISBN: 1467737917
Category : Juvenile Fiction
Languages : en
Pages : 40

View

Book Description
When I looked up, I shivered. How many stars were in the sky? A million? A billion? Maybe the number was as big as infinity. I started to feel very, very small. How could I even think about something as big as infinity? Uma can't help feeling small when she peers up at the night sky. She begins to wonder about infinity. Is infinity a number that grows forever? Is it an endless racetrack? Could infinity be in an ice cream cone? Uma soon finds that the ways to think about this big idea may just be . . . infinite.