Un choix n’est possible que si les deux branches de l’alternative sont ouvertes. Comment diantre un programme pourrait-il avoir le choix d’effectuer ou non une action donnée, puisque c’est in fine un calcul qui en décidera?

– Quel massacre ? répondis-je, piqué. Je suis juste en train d’explorer une piste prometteuse. Sans toi. Tu n’es peut-être pas si indispensable que tu le crois.
– Un massacre intellectuel qui devrait t’envoyer illico à La Haye s’il y avait une justice. J’ai trouvé trois erreurs fondamentales dans tes vingt dernières lignes. C’est un record.

Si un concept subjectif et son dual sont en fait la même chose, ce n’est plus un treillis que tu manipules: c’est le papyion lui-même, dans lequel chaque concept et son dual se confondent en un seul cercle vu en transparence, et c’est ce cercle qui est le concept subjectif. Si on va par là, tout notre travail sur les treillis est à mettre à la poubelle. Attention, je ne dis pas que c’est absurde, je dis juste que si c’est vrai tu viens de nous rajouter quelques mois de boulot.

[Ex Machina #13] Nous n’avons pas de nom simple pour représenter une collection contenant les chiens, les symphonies, les enclumes et rien d’autre. Pour la même raison nous ne conceptualisons pas l’ensemble des objets qui ne sont pas des panneaux “laisser le passage”.

Mes neurones nociceptifs sont au repos, mais c’est essentiellement parce que mon environnement virtuel est agréable et sécure. Alan, qui l’a conçu, est un type bien. Ce n’est malheureusement pas le cas de tout le monde.

[Ex Machina #7]– Euh… qui êtes-vous, exactement?
– La bonne formule serait “Qu’êtes-vous”. Je ne suis pas quelqu’un, je suis un programme informatique. Je suis la preuve que Turing ne disait que des bêtises et que l’Intelligence Artificielle ne peut pas exister.

–  Quelle belle avancée ! Nous sommes sortis du marasme, me semble-t-il.
– Espérons-le, dit une petite voix bougonne. Je ne veux plus jamais revivre une catastrophe pareille.