Brouwer and the hypothetical judgement. Second thoughts on John Kuiper’s Ideas and explorations. Brouwer’s road to intuitionism
Dans cet article je presente les fondements de la logique intuitioniste basee sur la logique lineair. Traditionnellement, la logique intuitioniste est concideree comme etant en disaccord avec les lois fondamentales de la logique classique sur la dualite, comme le tiers-exclu, les lois de Morgan, l&#...
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Język: | Français |
| Wydane: |
2004
|
| Dostęp online: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |