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

Computer Science

Price History & Forecast

Last 44 days • 44 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 44 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £148 (31 days, 70.5%)

Price range: £146 - £148

Price levels: 2 different prices over 44 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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

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)

A Course in Constructive Algebra (Universitext)

Constructive Models (Siberian School of Algebra and Logic)

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

From Instrumentalism to Constructive Realism: On Some Relations between Confirmation, Empirical Progress, and Truth Approximation: 287 (Synthese Library, 287)

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

Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)

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

Springer - A Short Introduction to Intuitionistic Logic Book

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Language, Truth and Logic in Mathematics: 3 (Jaakko Hintikka Selected Papers, 3)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

Constructivism in Mathematics, Vol 2 (Volume 123) (Studies in Logic and the Foundations of Mathematics, Volume 123)

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)

Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)

Contemporary Mathematical Thinking: 474 (Synthese Library, 474)

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

The Posing of Questions: Logical Foundations of Erotetic Inferences: 252 (Synthese Library, 252)

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems: 286 (Synthese Library, 286)

Logic for Applications (Texts in Computer Science)