Tiens un autre fan de K. Dick ^o^ !

Sinon Gödel c'est bien compliqué à comprendre, mais son appliquation à l'info (Rice : [fr.wikipedia.org]) l'est moins. En gros, il est impossible de trouver une manière systématique de prouver qu'un programme fonctionne ou même qu'une boucle n'est pas infinie ... ce qui justifie l'existence de bugs dans tout gros projet.

[catwell.info]

Poste le Saturday 8 April 2006 15:18:40