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: | Haverkamp, Nick |
---|---|
Lenguaje: | eng |
Publicado: |
Vittorio Klostermann
2015
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2000056 |
Ejemplares similares
-
Logicism, intuitionism, and formalism
por: Symons, John, et al.
Publicado: (2008) -
Mathematical intuitionism
por: Dragalin, A G, et al.
Publicado: (1988) -
Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011) -
Summer Conference on Intuitionism and Proof theory
por: Troelstra, A S
Publicado: (1969) -
Gnomes in the fog: the reception of Brouwer’s intuitionism in the 1920s
por: Hesseling, Dennis E
Publicado: (2003)