Truth, Proof and Infinity

Truth, Proof and Infinity
Author :
Publisher : Springer Science & Business Media
Total Pages : 477
Release :
ISBN-10 : 9789401736169
ISBN-13 : 9401736162
Rating : 4/5 (69 Downloads)

Book Synopsis Truth, Proof and Infinity by : P. Fletcher

Download or read book Truth, Proof and Infinity written by P. Fletcher and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 477 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Truth, Proof and Infinity Related Books

Truth, Proof and Infinity
Language: en
Pages: 477
Authors: P. Fletcher
Categories: Philosophy
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 construct
Roads to Infinity
Language: en
Pages: 202
Authors: John Stillwell
Categories: Mathematics
Type: BOOK - Published: 2010-07-13 - Publisher: CRC Press

DOWNLOAD EBOOK

Winner of a CHOICE Outstanding Academic Title Award for 2011!This book offers an introduction to modern ideas about infinity and their implications for mathemat
Naming Infinity
Language: en
Pages: 252
Authors: Loren Graham
Categories: History
Type: BOOK - Published: 2009-03-31 - Publisher: Harvard University Press

DOWNLOAD EBOOK

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 Nam
Incompleteness
Language: en
Pages: 299
Authors: Rebecca Goldstein
Categories: Biography & Autobiography
Type: BOOK - Published: 2006-01-31 - Publisher: W. W. Norton & Company

DOWNLOAD EBOOK

"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.
The Beginning of Infinity
Language: en
Pages: 571
Authors: David Deutsch
Categories: Science
Type: BOOK - Published: 2011-03-31 - Publisher: Penguin UK

DOWNLOAD EBOOK

'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 p