Elie a écrit :
Psymon72 a écrit :
nan mai po la peine de donner des noms parce que cui qui revien dan 80% des cas c yhendrix et c vraimen lui le meilleur sa a ete demontre !
oui et en toute fanchise c'est lui qui revient le plus souvent...
pour le "c'est le meilleur " ca n'a jamais été démontré...
de plus on ne peut tout démontrer ... on revient sans cesse à ce probleme des
cercles de Gödel... enfin tu comprends quoi ...
Kurt Gödel montre à partir de 1930, dans de fameux théorèmes portant sur l'incomplétude des systèmes, que pour tout système vérifiant certaines conditions minimales, la consistance ne peut être établie qu'en faisant appel à des mécanismes déductifs non formalisables dans le système. Autrement dit, aucun système ne peut, par ses propres moyens, établir sa propre validité. On peut formuler cette difficulté en disant qu'aucun langage ne peut contenir son propre métalangage.
fingers in the nose
