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 |
_version_ | 1780945953909374976 |
---|---|
author | Haverkamp, Nick |
author_facet | Haverkamp, Nick |
author_sort | Haverkamp, Nick |
collection | CERN |
description | 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. |
id | cern-2000056 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 2015 |
publisher | Vittorio Klostermann |
record_format | invenio |
spelling | cern-20000562021-04-21T20:25:56Zhttp://cds.cern.ch/record/2000056engHaverkamp, NickIntuitionism vs. classicism: a mathematical attack on classical logicMathematical Physics and MathematicsIn 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.Vittorio Klostermannoai:cds.cern.ch:20000562015 |
spellingShingle | Mathematical Physics and Mathematics Haverkamp, Nick Intuitionism vs. classicism: a mathematical attack on classical logic |
title | Intuitionism vs. classicism: a mathematical attack on classical logic |
title_full | Intuitionism vs. classicism: a mathematical attack on classical logic |
title_fullStr | Intuitionism vs. classicism: a mathematical attack on classical logic |
title_full_unstemmed | Intuitionism vs. classicism: a mathematical attack on classical logic |
title_short | Intuitionism vs. classicism: a mathematical attack on classical logic |
title_sort | intuitionism vs. classicism: a mathematical attack on classical logic |
topic | Mathematical Physics and Mathematics |
url | http://cds.cern.ch/record/2000056 |
work_keys_str_mv | AT haverkampnick intuitionismvsclassicismamathematicalattackonclassicallogic |