05 avril 2009

Je mens

Démontrer des théorèmes, c'est pas si compliqué que ça : on part de ce que l'on sait (des propositions déjà démontrées, qui s'appuient sur d'autres propositions démontrées [...] qui s'appuient sur les axiomes) et on utilise les règles d'inférence (le mode d'emploi des démonstrations, les règles de raisonnement autorisées). En étant suffisamment malin, on devrait pouvoir réussir à démontrer tout ce qui est vrai, et réfuter tout ce qui est faux...Tout ? Non ! Il reste une poignée d'irréductibles propositions, impossible à démontrer !... [Lire la suite]
Posté par El Jj à 16:03 - Commentaires [5] - Permalien [#]
Tags : ,