Autoréférence et point fixe


Hervé Lehning

L'autoréférence est paradoxale, liée à la notion mathématique de point fixe et à la méthode des approximations successives, ainsi qu'aux définitions récursives. Autant de relations qui font de cette notion fondamentale un sujet de choix pour les amateurs de mathématiques.


 

Une phrase autoréférente est une phrase qui se réfère à elle-même. Il est facile d’en donner des exemples, comme « Cette phrase contient cinq mots. », qui, de plus, énonce une propriété (P) vraie. La phrase serait tout aussi autoréférente si (P) était fausse. La propriété (P) peut également être paradoxale (« ni vraie ni fausse », en un sens), comme l’exemple classique : « Cette phrase est un mensonge. » Si cette phrase est bien un mensonge, elle dit la vérité, donc elle n’est pas un mensonge. Si elle dit la vérité, c’est un mensonge. C’est paradoxal. 

On peut rapprocher l’autoréférence aux définitions récursives en mathématiques, comme celle de la factorielle fact vérifiant la propriété autoréférente fact (n) = n × fact (n – 1). Cette ... Lire la suite


références

- Ma Thémagie. Douglas Hofstadter, InterEditions, 1988.
- Quelle est la meilleure preuve ? Hervé Lehning, Quadrature 11, 1992.