Reuben Goodstein

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 1 janvier 2015 à 01:54 et modifiée en dernier par DSisyphBot (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

Reuben Louis Goodstein, né le à Londres et mort le à Leicester, est un mathématicien et logicien britannique.

Il est l'auteur du théorème de Goodstein en logique mathématique, qui a des applications en informatique théorique.

Liens externes