- Home
- Proofs instead of meaning explanations: Understanding classical vs. intuitionistic mathematics from the outside

Sourcetitle:

In Rossella Lupacchini and Giovanna Corsi (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, Springer, Milano, 2008

Year of publication:

2008 PublicationType:

Scientific journal article - peer reviewed

The paper explores from an outside perspective the conflict between classical mathematics, and intuitionistic mathematics in both Brouwer and Dummett's version and the modern intuitionism of Bishop and others.

http://books.google.se/books?id=jVPW-_qsYDgC&pg=PA175&lpg=PA175&dq=Proof...

Publikationslänkar:

http://books.google.se/books?id=jVPW-_qsYDgC&pg=PA175&lpg=PA175&dq=Proofs+instead+of+meaning+explanations:+Understanding+classical+vs.+intuitionistic+mathematics+from+the+outside&source=bl&ots=uqez-5dHcy&sig=iDh1mKLFcBFq-n_oijQXx3S0xco&hl=sv&ei=OLwBTsPWA5HIswaw373KDQ&sa=X&oi=book_result&ct=result&resnum=7&ved=0CEwQ6AEwBg#v=onepage&q=Proofs%20instead%20of%20meaning%20explanations%3A%20Understanding%20classical%20vs.%20intuitionistic%20mathematics%20from%20the%20outside&f=false

Sourcepages:

175-194

To the top

Page updated: 2012-01-30 14:02