On discute des suites au programme formaliste d'Hilbert, et principalement de la question de la décidabilité.

Retrouvez tout le contenu sur : http://www.principia-informatica.fr/