Abonnez-vous à Universalis pour 1 euro

HEYTING AREND (1898-1980)

Article

  • INTUITIONNISME

    • Écrit par
    • 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)...