This bibliography is intended as a reference guide to works dealing with mathematical intuitionism. |
They both fail for open set logic, which is to say intuitionism, just as they both fail for its topological dual, closed set logic. |
A corresponding slogan for intuitionism would be that in mathematics, to exist is to be constructed. |
This theory of intuitionism influenced later philosophers, in particular Rousseau and Bergson, but also the existentialists. |
But at least it's better than formalism, logicism, intuitionism, constructivism or Platonism. |
The authors, breaking with the intuitionism that had dominated eighteenth-century French treatises, updated the logic of geometry manuals. |