HEYTING AREND (1898-1980)

Article

• INTUITIONNISME

  • Écrit par Jacques-Paul DUBUCS
  • 1 647 mots
  Le principal disciple de Brouwer, Heyting, a mis au point une logique non classique qui consigne les principes d'inférence qui sont « fiables » en ce sens. Cette logique, au lieu de décrire sémantiquement les conditions de vérité (au sens classique où la vérité est indépendante de nos capacités de connaissance)...