En poursuivant votre navigation sur ce site, vous acceptez l’utilisation de cookies pour vous proposer des publicités adaptées à vos centres d’intérêts, réaliser des statistiques ainsi qu’interagir avec des réseaux sociaux.

Pour en savoir plus et paramétrer les cookies

Identifiez-vous ou Créez un compte

Arend Heyting

Logicien néerlandais (Amsterdam 1898-Lugano 1980).

Il est l'auteur d'une logique de type intuitionniste, qu'il a axiomatisée en 1930.