Re: Bullshit Bingo !

Je n'ai pas compris ta démonstration, trop technique pour moi.

Elle fait implicitement usage d'un autre théorème de Gödel, qui a moins fait parler de lui que l'incomplétude, mais tout aussi important et que Bouveresse mentionne dans sa conférence : le théorème de complétude du calcul des prédicats, qui exprime qu'une théorie est cohérente si et seulement si elle a un modèle.

Ainsi, si la théorie T des corps algébriquement clos n'est pas complète alors elle possède un énoncé E indécidable tel que les théories T + E et T + non E soient cohérentes. Par le théorème de complétude elles ont chacune un modèle dénombrable, qui ne peut être que la clôture algébrique du corps des rationnels (c'est le seul corps algébriquement clos et dénombrable); corps qui devraient alors satisfaire à la fois les énoncés E et non E, ce qui est contradictoire. Donc T est complète.

C'était très amusant par ailleurs, et tout à fait accessible au profane.

Écrire clairement dans une langue acccessible aux communs des mortels n'est pas du goût d'une certaine intelligentsia française. :-P

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.