Cargando…
Intuitionism vs. classicism: a mathematical attack on classical logic
In the early twentieth century, the Dutch mathematician L.E.J. Brouwer launched a powerful attack on the prevailing mathematical methods and theories. He developed a new kind of constructive mathematics, called intuitionism, which seems to allow for a rigorous refutation of widely accepted mathemati...
Autor principal: | |
---|---|
Lenguaje: | eng |
Publicado: |
Vittorio Klostermann
2015
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2000056 |
Sumario: | In the early twentieth century, the Dutch mathematician L.E.J. Brouwer launched a powerful attack on the prevailing mathematical methods and theories. He developed a new kind of constructive mathematics, called intuitionism, which seems to allow for a rigorous refutation of widely accepted mathematical assumptions including fundamental principles of classical logic. Following an intense mathematical debate esp. in the 1920s, Brouwer's revolutionary criticism became a central philosophical concern in the 1970s, when Michael Dummett tried to substantiate it with meaning-theoretic considerations. |
---|