Brouwer and Griss on intuitionistic negation
Franchella, Miriam
Mod. Log., Tome 4 (1994) no. 1, p. 256-265 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
During the 1940s, a debate about the intuitionistic definition of negation took place between G .F. C. Griss and L. E. J. Brouwer: namely, Griss criticized Brouwer's definition as inconsistent with the intuitionistic framework. In this paper I present firstly Brouwer's definition of negation; then Griss' criticism of it and his proposal of a "negationless" mathematics; finally Brouwer's reply to Griss.
Publié le : 1994-07-15
Classification:  03-03,  01A60,  03A05,  03B20,  03F55 
@article{1204835277,
     author = {Franchella, Miriam},
     title = {Brouwer and Griss on intuitionistic negation},
     journal = {Mod. Log.},
     volume = {4},
     number = {1},
     year = {1994},
     pages = { 256-265},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1204835277}
}

Franchella, Miriam. Brouwer and Griss on intuitionistic negation. Mod. Log., Tome 4 (1994) no. 1, pp.  256-265. http://gdmltest.u-ga.fr/item/1204835277/