Intuitionistic Proof Versus Classical Truth Image close
Intuitionistic Proof Versus Classical Truth on Hardback by Enrico Martino
Intuitionistic Proof Versus Classical Truth on Hardback by Enrico Martino
Show Hide Adult Content

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Reference  
Literature

Intuitionistic Proof Versus Classical Truth

Sorry, this product is not currently available to order

Here are some other products you might consider...

Explore more Logic, Epistemology, and the Unity of Science

See all products in this series

Irrationality, Transcendence and the Circle-Squaring Problem on Hardback by Eduardo Dorrego Lopez
$424.00
Irrationality, Transcendence and the Circle-Squaring Problem
by Eduardo Dorrego Lopez ~ Hardback
Pre-order - out 29 May 2024
Alfred Tarski on Scientific Semantics on Hardback by David Hitchcock
$293.00
Alfred Tarski on Scientific Semantics
by David Hitchcock ~ Hardback
Pre-order - out 10 Jul 2024
The Architecture and Archaeology of Modern Logic on Hardback
$447.00
The Architecture and Archaeology of Modern Logic
Hardback
Pre-order - out 15 Jun 2024
Unity, Truth and the Liar on Hardback
$472.00
Unity, Truth and the Liar
Hardback
Available - Usually ships in 3-4 weeks
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer on Hardback by Mark van Atten
$428.00
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
by Mark van Atten ~ Hardback
Available - Usually ships in 3-4 weeks
Mathematics, Logic, and their Philosophies
$347.00
Mathematics, Logic, and their Philosophies
Paperback / softback
Available - Usually ships in 3-4 weeks
Modalities and Multimodalities by Claudio Pizzi
$461.00
Modalities and Multimodalities
by Claudio Pizzi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Unity, Truth and the Liar
$451.00
Unity, Truth and the Liar
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics, Logic, and their Philosophies on Hardback
$347.00
Mathematics, Logic, and their Philosophies
Hardback
Available - Usually ships in 3-4 weeks
The Golden Age of Polish Philosophy
$293.00
The Golden Age of Polish Philosophy
Paperback / softback
Available - Usually ships in 3-4 weeks
The Unity of Science in the Arabic Tradition
$789.00
The Unity of Science in the Arabic Tradition
Paperback / softback
Available - Usually ships in 3-4 weeks
Awareness in Logic and Epistemology on Hardback by Claudia Fernandez-Fernandez
$295.00
Awareness in Logic and Epistemology
by Claudia Fernandez-Fernandez ~ Hardback
Available - Usually ships in 3-4 weeks
Between Logic and Reality on Hardback
$297.00
Between Logic and Reality
Hardback
Available - Usually ships in 3-4 weeks
The Age of Alternative Logics
$476.00
The Age of Alternative Logics
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Thought and Action
$589.00
Logic, Thought and Action
Paperback / softback
Available - Usually ships in 3-4 weeks
Induction, Algorithmic Learning Theory, and Philosophy on Hardback
$468.00
Induction, Algorithmic Learning Theory, and Philosophy
Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Intuitionistic Proof Versus Classical Truth

The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
Unavailable
Sorry, this product is not currently available to order

Description

This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers – both new and previously published – it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism. The author explores Brouwer’s idealization of the creative subject as the basis for intuitionistic truth, and in the process he also discusses an important, related question: to what extent does the intuitionistic perspective succeed in avoiding the classical realistic notion of truth? The papers detail realistic aspects in the idealization of the creative subject and investigate the hidden role of choice even in classical logic and mathematics, covering such topics as bar theorem, type theory, inductive evidence, Beth models, fallible models, and more. In addition, the author offers a critical analysis of the response of key mathematicians and philosophers to Brouwer’s work. These figures includeMichael Dummett, Saul Kripke, Per Martin-Löf, and Arend Heyting. This book appeals to researchers and graduate students with an interest in philosophy of mathematics, linguistics, and mathematics.

Author Biography:

Enrico Martino was associated professor (now retired) of Logic and Philosophy of Mathematics in the department of Mathematics and, subsequently of FISPPA of the University of Padua. His main interests are Philosophy of Logic and Mathematics.  
Release date NZ
March 5th, 2018
Audience
  • Professional & Vocational
Edition
1st ed. 2018
Illustrations
1 Illustrations, black and white; XIII, 170 p. 1 illus.
Pages
170
ISBN-13
9783319743561
Product ID
27552297

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

Help & options

Filed under...

Books >
Non-Fiction >
Reference >
Literature
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Philosophy of mathematics
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Literature & literary studies
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation