Dennis E. HESSELING, Gnomes in thefog, The Réception ofBrouwer’s Intuitionism in the 1920s.
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&#...
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | Article ou chapitre numérique |
| 言語: | Français |
| 出版事項: |
2004
|
| オンライン･アクセス: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |