| L'infini renvoie à
la notion de limite - limite hors d'atteinte et non frontière
franchissable.
Kurt Gödel, logicien tchèque naturalisé américain
(1906-1978), a ébranlé le monde des mathématiques
avec ses fameux théorèmes d'incomplétude et
d'indécidabilité. Désormais, au sein même
d'un système aux frontières bien définies,
il existe des lieux hors d'atteinte.
Les deux théorèmes de Gödel :
1- Dans tout système formel consistant, il existe des propositions
indécidables;
2- La consistance d'un tel système ne saurait être
démontrée à l'intérieur de ce système.
|