Toute logique est-elle réductible à la logique booléenne ?
J’avais pris l’habitude de répondre aux questions, mais pour une fois, je vais en poser une : « Toute logique est-elle réductible à la logique booléenne des ordinateurs actuels ? » Pourquoi cette question ? C’est simplement pour me décider si je dois me restreindre l’Internet à usage exclusivement professionnel, et par conséquent abandonner toute intervention sur les forums. Cette question peut sembler incongrue dans un forum dédié à l’aide aux mauvais élèves de terminale, ce qui aurait dû me dissuader de rester ici-bas… L’ignorant ne connaît peut-être que la logique par défaut, celle que vise ma question, mais au sens large, outre la logique booléenne, il y a la logique
- spatiale, topologique,
- ensembliste,
- modale,
- temporelle,
- fonctionnelle,
- floue,
- relative à l’analyse multi-adique,
- intuitionniste,
- autoréférente,
- autres (eu égard à mes lacunes ou oublis)
Vous me direz qu’à l’évidence non, car dans l’univers booléen, l’espace serait au plus unidimensionnel. Mais ce qui semble contredire cette négation, c’est le réalisme de plus en plus effectif de l’imagerie de synthèse, à partir d’un outil supposé exclusivement booléen. Après tout, si cette question vous dépasse, rien n’empêche que vous me conseilliez de quitter ce champ
"ceci n'est pas un nombre" est un nombre
En tant qu’utilisateur, je ne connais pas l’assembleur, je sais essentiellement que tout qui s’affère aux ordinateurs est à base binaire (vrai et faux, 0 et 1 uniquement avec principe de tiers exclu). Un bit correspond à 0 ou 1, puis l’information est traitée par octets (8 bits). Je ne connais pas l’assembleur, mais en binaire, on peut par exemple coder l’expression « ceci n’est pas un nombre » = « 1100010000010001000000000110000000000000011110000010000000000000
0000010000000000000000000011000000000000000010100000000000000000
0110000000000000000000001000000000000001100000000000000100000000
00000010000000000000100100000000000000000010000011 »
(on doit pouvoir faire du moins, plus compressé ) † - l’expression « ceci n’est pas un nombre » qui n’est qu’un nombre, cela semble me priver de toute possibilité d’exprimer ce qui ne serait pas un nombre !