Cette brochure contient le texte d’une conférence donnée lors de la séance du 9 février 1987 du « Séminaire de philosophie et mathématiques » au cours de laquelle l’auteur présente la logique linéaire, une nouvelle logique qu’il a inventée en 1986 et qui manipule non seulement des vérités éternelles, comme le fait la logique classique, mais aussi des ressources périssables.
[.]
Malgré toutes ses qualités, la logique intuitionniste présente certaines insuffisances elle est difficile à manipuler et fait intervenir des opérations de taille finie, certes, mais qui sont, dans certains cas, plus grosses que celle de l’Univers. La logique linéaire vise à pallier ces insuffisances. L’examen des logiques classiques ou intuitionniste indique les révisions qui étaient nécessaires.