Le théorème d'incomplétude énonce [...] que toute théorie mathématique, assez puissante pour formuler l'arithmétique en son sein, n'est pas complète.
Nous évoquerons en trois dates (1921, 1953, 1965) et trois noms...
Les méthodes de discrétisation des EDP ont été développées au siècle dernier...
les suites de Goodstein forment un exemple 'simple' d'algorithme récursif arithmétique...