Bienvenue à l'orée d'un monde sans logique



La beauté de la notion de description :

1. Montrer que l'ensemble des nombres entiers naturels ne pouvant être décrits par au plus 999 999 octets est non vide, et qu'il admet un plus petit élément a.
2. Montrer que a ne peut pas être décrit en moins d'un million d'octets.
3. Montrer que, à la réflexion, a peut être décrit en moins d'un million d'octets.
4. Se dire, que, à la fin, il faudrait savoir.

Encore une chance ! Encore une chance !

1. Considérer la phrase P : "cette phrase est improuvable".
2. Montrer que si P est prouvable alors il existe une phrase prouvable fausse (inconsistance).
3. Montrer que si P est improuvable alors il existe une phrase vraie improuvable (incomplétude).
4. Se dire que le principe du tiers exclu, ça va cinq minutes.

Si tu n'as pas trop compris, ne t'inquiète pas. Si tu veux en comprendre encore moins, pas de soucis :)


Retour aux énigmes

Accueil