Tout langage, tout processus de pensée, lorsqu'il s'exprime à propos de lui-même, crée une structure comparable aux miroirs se réfléchissant à l'infini. L'auteur tente de rendre intelligibles des similitudes cachées entre des domaines aussi variés que l'informatique, la biologie, la physique, la linguistique, la psychologie. Aborde les processus récursifs, le calcul propositionnel, etc.