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.

logique.

Science du raisonnement en lui-même, abstraction faite de la matière à...