On discute des théorèmes d'incomplétudes de Kurt Gödel, et de leurs conséquences pour le programme formaliste d'Hilbert.

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