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

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...

Sourcepages: 
175-194
To the top

Page updated: 2012-01-30 14:02

Send as email
Print page
Show as pdf

X
Loading