Truth, Proof and Infinity: A Theory of Constructive Reasoning: 276 (Synthese Library, 276) - Image 1

£148.29

Springer Truth, Proof and Infinity: A Theory of Constructive Reasoning: 276 (Synthese Library, 276)

Name: Truth, Proof and Infinity: A Theory of Constructive Reasoning: 276 (Synthese Library, 276)
Brand: Springer
Price: 148.29 GBP
Availability: InStock

Computer Science

This is the most expensive it has ever been. Walk away.

£148 today · previous high £148 · all-time low £145

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 75 days · 75 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 75 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £145 (68 days, 90.7%)

Price range: £145 - £148

Price levels: 3 different prices over 75 days

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.

Key Features

Used Book in Good Condition

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 0792352629
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 31 October 1998
Listed Since: 15 December 2006

Barcode

No barcode data available

Springer Truth, Proof and Infinity: A Theory of Constructive Reasoning: 276 (Synthese Library, 276)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)

Varieties of Constructive Mathematics: 97 (London Mathematical Society Lecture Note Series, Series Number 97)

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Foundations of Constructive Mathematics: Metamathematical Studies: 6 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 6)

Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications)

Constructibility: 6 (Perspectives in Logic, Series Number 6)

Logic and Structure (Universitext)

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Intensional Mathematics

Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics: 42 (Logic, Epistemology, and the Unity of Science, 42)

Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Functional Interpretations: From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory

Brill Essays in Philosophy and History of Logic and Mathematics

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Topics in Modern Logic: 14 (Routledge Library Editions: Logic)

Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)