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

Descripción completa

Detalles Bibliográficos
Autor principal: Haverkamp, Nick
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