#4 - Kurt Gödel
Thomas Petrachi
231
10:46
Oct 20, 2016
1
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 : www.principia-informatica.fr/
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 : www.principia-informatica.fr/
