Ulla

Deux preuves logiques, le Théorème d’Incomplétude et les Preuves Logiques d’Incomplétude, ont révolutionné les mathématiques. Le premier résultat a été publié par Kurt Godel (1906-1978) en 1931, alors qu’il avait 24 ans. Selon la première théorie de l’incomplétude, toute théorie des nombres qui n’est pas contradictoire (une branche des mathématiques qui traite du comportement et … Lire la suite