Truth, Proof and Infinity Image close
Truth, Proof and Infinity on Hardback by P. Fletcher
Truth, Proof and Infinity on Hardback by P. Fletcher
Show Hide Adult Content
Truth, Proof and Infinity close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Humanities  
Philosophy  
Topics in philosophy  
Logic

Truth, Proof and Infinity

A Theory of Constructive Reasoning
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$535.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $133.75 with Afterpay Learn more

6 weekly interest-free payments of $89.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Synthese Library,

See all products in this series

Themes from Weir: A Celebration of the Philosophy of Alan Weir on Hardback
$318.00
Themes from Weir: A Celebration of the Philosophy of Alan Weir
Hardback
Pre-order - out 3 Jun 2024
Truth and Its Nature (if Any) on Hardback
$295.00
Truth and Its Nature (if Any)
Hardback
Available - Usually ships in 3-4 weeks
The Tenseless Theory of Time on Hardback by W.L. Craig
$451.00
The Tenseless Theory of Time
by W.L. Craig ~ Hardback
Available - Usually ships in 3-4 weeks
Space, Time, and Thought in Kant on Hardback by A. Melnick
$590.00
Space, Time, and Thought in Kant
by A. Melnick ~ Hardback
Available - Usually ships in 3-4 weeks
Nominalism and Contemporary Nominalism on Hardback by M Gosselin
$296.00
Nominalism and Contemporary Nominalism
by M Gosselin ~ Hardback
Available - Usually ships in 3-4 weeks
Observability and Observation in Physical Science on Hardback by Peter Kosso
$305.00
Observability and Observation in Physical Science
by Peter Kosso ~ Hardback
Available - Usually ships in 3-4 weeks
Denying Existence on Hardback by A. Chakrabarti
$451.00
Denying Existence
by A. Chakrabarti ~ Hardback
Available - Usually ships in 3-4 weeks
Logic and Scientific Methods on Hardback
$589.00
Logic and Scientific Methods
Hardback
Available - Usually ships in 3-4 weeks
The Logic of Time on Hardback by Johan Van Benthem
$453.00
The Logic of Time
by Johan Van Benthem ~ Hardback
Available - Usually ships in 3-4 weeks
Optimum Inductive Methods on Hardback by R. Festa
$307.00
Optimum Inductive Methods
by R. Festa ~ Hardback
Available - Usually ships in 3-4 weeks
Diamonds and Defaults on Hardback
$455.00
Diamonds and Defaults
Hardback
Available - Usually ships in 3-4 weeks
Kant’s Philosophy of Mathematics on Hardback
$455.00
Kant’s Philosophy of Mathematics
Hardback
Available - Usually ships in 3-4 weeks
Dynamic Tractable Reasoning on Hardback by Holger Andreas
$243.00
Dynamic Tractable Reasoning
by Holger Andreas ~ Hardback
Available - Usually ships in 3-4 weeks
A Precis of Mathematical Logic on Hardback
$293.00
A Precis of Mathematical Logic
Hardback
Available - Usually ships in 3-4 weeks
Knowledge Contributors on Hardback
$293.00
Knowledge Contributors
Hardback
Available - Usually ships in 3-4 weeks
Trading Ontology for Ideology on Hardback by L. Decock
$297.00
Trading Ontology for Ideology
by L. Decock ~ Hardback
Available - Usually ships in 3-4 weeks

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 not been adequately explained (although Kriesel, Goodman and Martin have attempted axiomatizations). 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. The text should be of interest to philosophers of mathematics and logicians, both academic and graduate student, particularly those interested in Brouwer and Hilbert. Also, theoretical computer scientists interested in the foundations of functional programming languages and program correctness calculi.
Release date NZ
October 31st, 1998
Author
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
x, 470 p.
Pages
470
Dimensions
156x234x26
ISBN-13
9780792352624
Product ID
2051633

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by P. Fletcher

See all books by this author

Truth, Proof and Infinity by P. Fletcher
$531.00
Truth, Proof and Infinity
by P. Fletcher ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Science: general issues >
Philosophy of science
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation