Demander un code
Traduction --

En quelques mots


Le piège, c'est que la structure logique, avec sa stabilité autonome, soit prise pour la réalité.(Objectivité de la Science)

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 ]