Sur la logique de M. Heyting. (Q562823)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sur la logique de M. Heyting. |
scientific article |
Statements
Sur la logique de M. Heyting. (English)
0 references
1932
0 references
Aus der Tatsache (die übrigens nicht erst durch \textit{Heyting}, sondern bereits viel früher durch \textit{Brouwer} bekannt ist), daß der Satz vom ausgeschlossenen Dritten vom intuitionistischen Standpunkt aus keinen Widerspruch enthält, leiten Verf. die Folgerung ab, daß man ebenso gut Mathematik mit dem Satz vom ausgeschlossenen Dritten wie ohne ihn treiben dürfe. Es gibt also immer noch Autoren, die in der Leugnung des Satzes vom ausgeschlossenen Dritten das wesentliche Moment des Intuitionismus sehen, und die ihn von da aus angreifen.
0 references