HEYTING AREND (1898-1980)

Ce sujet est traité dans les articles suivants :

1.  INTUITIONNISME

Écrit par : Jacques-Paul DUBUCS

Dans le chapitre "La sémantique BHK"  : … 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) des énoncés, en décrit les conditions… Lire la suite