Principia Informatica

#4 - Kurt Gödel

Informações:

Sinopse

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/