En logique mathématique, le théorème d'accélération de Gödel, démontré par Kurt Gödel en 1936, montre l'existence de théorèmes ayant des démonstrations très longues, mais qui peuvent être considérablement raccourcies en utilisant un système d'axiomes plus puissant.
Il prend l'exemple d'un « étant existant », qu'il dénote x, désireux de démontrer le théorème « x est mortel » et qui, au lieu d'attendre la sénescence, la caducité, la décrépitude et finalement la mort, accélère la preuve de sa proposition en ingèrant du taupicide (ce dernier correspondant métaphoriquement au « système d'axiomes plus puissant »).
(Włodzisław Szczur, Mathématique du néant)
Aucun commentaire:
Enregistrer un commentaire