Une anecdote au sujet du logicien anglais Bertrand Russell.
Un jour, alors qu'il donne une conférence ouverte au grand public, Russell explique ceci : si un ensemble d'axiomes est inconsistant, alors toute affirmation est démontrable à partir de celui-ci.
Russell fait ainsi référence à la version sémantique du fait suivant : tout énoncé peut être démontré à partir d'une prémisse fausse.
L'auditoire met immédiatement Russell au défi de démontrer que M. Smith, présent dans la salle, est le pape, à partir de la prémisse fausse : \(0 = 1\).
Russell raisonne alors immédiatement ainsi : \(0 = 1\) implique \(1 = 2\) ; considérons alors l'ensemble à 2 éléments constitué par M. Smith et le pape.
Comme 1 = 2, l'ensemble se compose en réalité d'un unique élément, faisant de Smith et du pape une unique personne.
Abstraction faite des personnes pour qui la rédaction de texte par informatique s'arrête au bloc-notes de Windows(1), vous avez sûrement déjà remarqué le choix proposé de police d'écriture lorsque vous rédigez un texte sur un quelconque logiciel de traitement de texte(2). Peut-être avez vous déjà rencontré le terme de fonte de caractères, ou le terme « font », sur lequel je reviendrai plus tard.
(1) ↑ Aucun sous-entendu négatif, je tiens simplement à suggérer que le sujet d'aujourd'hui concerne une fraction importante de la population. Fraction probablement plus importante encore, si on ne considère que la population lisant cet omnilogisme.
(2) ↑ Il est même probable que vous avez déjà passé une demi-heure à les essayer toutes, jusqu'à finalement vous rendre compte que vous avez oublié le nom de celle que vous trouviez jolie.
N'avez-vous jamais rencontré une personne qui, durant un repas où l'on sert ces saucisses fort populaires, sépare la peau de la saucisse de la viande à l'intérieur, pour ne manger que cette dernière ? L'excuse souvent relevée est la composition douteuse, chimique de la peau de ces saucisses industrielles.
