Décidabilité

 

Gödel se trompe. Tout énoncé est décidable. Il suffit d'y mettre un peu du sien, de faire preuve d'un peu de « volontarisme ». Un exemple typique est l'énoncé « Guy Debord est un con. » On décide qu'il est vrai, et aussitôt il le devient.

 

(Maurice Gaber, Pensées de Pascal et d'ailleurs)