Diagonale de Cantor

GG

Bonjour,
Jusqu'à ce jour, j'ai toujours cru que la démonstration de l'existence de nombres transcendants basée sur l'argument de la digonale de Cantor était non-constructive. Or, en lisant "Lectures on the philosophy of mathematics" de Joel David Hamkins, j'apprends, à ma grande surprise, qu'elle est parfaitement constructive (même si la construction effective du nombre transcendant dont on montre l'existence est plus compliquée que celle d'un nombre de Liouville) !
(J'écris ce message pour informer ceux qui seraient dans mon cas).

Foys

A la base l'argument diagonal de Cantor est constructif donc ce n'est pas étonnant.