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

£146.24

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: 146.24 GBP
Availability: InStock

Computer Science

It has never been this cheap. We have no record of a lower price.

£146 today · cheaper than every other day in the last 7 months

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 129 days • 129 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 129 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £150 (84 days, 65.1%)

Price range: £146 - £150

Price levels: 3 different prices over 129 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)

It has never been this cheap. We have no record of a lower price.

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)

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

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)

Lectures on the Curry-Howard Isomorphism

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

Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum: Symposium Proceedings, San Servolo, Venice, Italy, May 16–22, 1999: 306 (Synthese Library, 306)

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)