Advertisement

Abstract

Fifty years ago (Bourbaki 1960, p.46) wrote of intuitionism as ‘a school that will probably be remembered only as a historical blip’. Of course, this very prophecy looks today like an historical oddity because, as a matter of fact, intuitionism has survived. Nevertheless, the sense in which it has survived needs clarification. The most striking feature of the present situation of intuitionism is that some sort of peaceful coexistence with classicism has been eventually reached. Times where controversy was raging are disappearing from collective memory, and the whole intuitionistic enterprise nowadays tends to be merely considered one place in the whole landscape of logic, mathematics, and philosophy. This place can be specified in various ways.

Keywords

Classical Logic Intuitionistic Logic Collective Memory Heyting Algebra Theoretical Computer Science 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Authors and Affiliations

  • Jacques Dubucs
    • 1
  1. 1.Institut d’Histoire et de Philosophie des Sciences et des Techniques (CNRS/Paris 1/ENS)ParisFrance

Personalised recommendations