Databac

GÖDEL (Kurt)

GÖDEL (Kurt). Logicien américain, d’origine autrichienne (1906-1978). Ses travaux portent sur les rapports entre la logique et les mathématiques. Il a démontré en particulier (théorème d’incomplétude, 1931) les limites d’application de la logique formelle en mathématiques.
GÖDEL (théorème de) Démontré en 1931 par le logicien Kurt Gödel (1906-1978), ce théorème, dit d'incomplétude, affirme qu’il est nécessaire de sortir d’une théorie pour en prouver la cohérence. Il est dès lors impossible d’axiomatiser complètement les mathématiques. GÖDEL (THÉORÈMES DE —) Cf. complétude, consistance.