Abonnez-vous à Universalis pour 1 euro

BHK SÉMANTIQUE

Article

  • INTUITIONNISME

    • Écrit par Jacques-Paul DUBUCS
    • 1 647 mots
    ...des énoncés, en décrit les conditions d'assertabilité, c'est-à-dire les conditions auxquelles nous sommes justifiés à les tenir pour corrects. La sémantique en question, aujourd'hui nommée BHK (Brouwer-Heyting-Kolmogoroff), stipule, par exemple, que la preuve d'une disjonction consiste en la...