Variable (mathématiques) - Définition

Une mathématique sans variable

Le mathématicien Moses Schönfinkel a eu l'idée que l'on pouvait fonder les mathématiques sur une logique sans variable. Il a créé pour cela un système formel que l'on appelle la logique combinatoire. Ce système a été repris et complété par Haskell Curry. Un tel système n'a plus les complications de la substitution, mais en revanche, on y perd en lisibilité. En utilisant le calcul des relations Tarski et Givant ont aussi défini une mathématique sans variable.

Histoire

Dans sa logistique spécieuse, François Viète ouvre la voie au formalisme en utilisant des lettres pour représenter les entités utilisées dans un problème mathématique.