1 ressource en auto-formation : théorème de Gödel

1 ressource
page 1 sur 1
Résultats de 1 à 1
Présentation de la ressource en auto-formation Les théorèmes de Gödel : fin d’un espoir ? cours / présentation
22/02/2006
Les théorèmes de Gödel : fin d’un espoir ?
Auteur(s) : DESHOUILLERS Jean-Marc
Description : En 1931, Kurt Gödel (1906 - 1978) démontrait, dans un article révolutionnaire, qu'un système d'axiomes cohérent et suffisamment expressif est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes qui gouvernent la formulation de ces énoncés et ...