Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées

Argument diagonal

Dans les preuves mathématiques, notamment celles de logique mathématique, un argument diagonal est un argument où l'on applique ou compare un objet à lui-même et l'on aboutit à une absurdité.

Citons notamment :

• la preuve de Cantor de la non-dénombrabilité de l'ensemble des nombres réels ; démontrée par l'argument de la diagonale de Cantor.
• la preuve du théorème d'incomplétude de Gödel ;
• la preuve de l'indécidabilité du problème de l'arrêt.