Demander un code

@ Adresse de contact :
Vous pouvez envoyer un mail en écrivant au webmaster.
Traduction --

En quelques mots


Il y a deux pragmatismes : celui qui cherche à tuer les idéaux et celui qui se contente de les empêcher de nous tuer. (Politique)

Texte au hasard


Le théorème d'incomplétude de Gödel

Ce théorème est un lieu impressionnant des Mathématiques : la preuve de l'impossibilité de tout pouvoir soumettre à une preuve quel que soit le système formel classique. Pour cela, on construit une phrase qui ne peut pas être prouvée, sous peine de devenir fausse (ce qui serait bien gênant si on l'avait prouvée). Gödel se repose sur l'argument du ment...
[...la suite ]