Demander un code
Traduction --

En quelques mots


Le propre du génie est d'énoncer des idées impressionnantes. Le propre du fou est de proposer des idées surprenantes. Le propre du savant est de comprendre à qui il a affaire. (modèle d'IA)

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 ]