|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
AMUSEMENTS LOGIQUES (suite) Histoires
déroutantes, désopilantes |
|
|
|
|
Ne jamais dire
jamais. Sur une affiche:
défense d'afficher. Soyez réalistes,
demandez l'impossible. |
|
Voir
Phrases en autoréférences
|
|
|
|
Et, sur quoi va
déboucher l'expansion de l'Univers? C'est un peu le même type de question
avec le même arrière-goût de frustration. |
|
|
|
|
|
La beauté d'une
théorie se mesure à sa simplicité. Entia non sunt multiplicanda sine necessitate On ne doit pas multiplier les entités sans nécessité. Pluralitas non est ponenda sine necessitae La pluralité ne doit être envisagée qu'en cas de
nécessité.
Référence
à Guillaume d'Occam, Moine
franciscain anglais (Oxford) - 1285/1349 Professeur
de théologie Excommunié,
il terminera sa vie à Munich Entre diverses explications possibles, il préconise la plus économique
en hypothèses, la plus simple.
Pourquoi faire
simple; quand on peut faire compliqué – Shadoks
Sancta simplicias Simplicité et beauté d’une théorie ! |
|
|
Rasoir
d'Adler ou épée laser de Newton Tout ce qui ne peut
pas faire l'objet d'une observation univoque ou d'une démonstration ne mérite
pas d'être débattu. |
|
Voir Barbier de
Russell
|
|
|
|
Tout le monde pense
que Sherlock Holmes est célèbre pour la difficulté des cas qu’il a résolus,
alors que ce qu’il l’a rendu populaire c’est l’extrême simplicité des
solutions. En effet, le public aime
une énigme où la solution, une fois énoncée, est limpide, évidente et saute
aux yeux, quelle que soit la difficulté éprouvée pour y arriver. Le lecteur
s’en veut de ne pas y avoir pensé lui-même. Phrase de Sherlock Quand on a éliminé tout
ce qui est impossible, ce qui reste, aussi
improbable soit-il, ne peut être que la
vérité. |
|
|
|
|
|
Dans notre effort
pour comprendre la réalité, nous ressemblons un peu à un homme qui tente de
comprendre le mécanisme d’une montre
fermée. Il voit le cadran et les aiguilles, il entend même le tic-tac, mais
n’a aucun moyen d’ouvrir le boîtier. S’il est ingénieux,
il peut concevoir la représentation d’un mécanisme susceptible de provoquer
tout ce qu’il observe, mais il ne sera jamais tout à fait certain que sa
représentation soit la seule à pouvoir expliquer ses observations. Il ne pourra jamais
la comparer au mécanisme réel, ni même imaginer l’éventualité de la
signification d’une telle comparaison. Analogie proposée par Albert Einstein
et Léopold Infeld en 1938. Voir Énigme d'Einstein et sa solution |
|
|
|
|
|
La satisfiabilité, en
logique, est le problème abstrait consistant à découvrir un paradoxe. Elle traite d'abstractions logiques et pas
nécessairement de vérités du monde réel. Étant donné un ensemble de
prémisses, est-ce que ces affirmations se contredisent nécessairement? La satisfiabilité,
c'est l'art de reconnaître les paradoxes. On l'appelle aussi la recherche de
la NP-complétude. Y a-t-il une solution
effective aux problèmes NP-complets? C'est une question non résolue. Le
paradoxe est un concept bien plus profond et universel que les Anciens ne
l'avaient imaginé. Les informaticiens Stephen Cook (1971) et
Richard Karp (1972) révélèrent que de nombreux problèmes logiques étaient le
même problème sous des formes différentes. Cette découverte est jugée aussi
importante que celle des atomes. |
|
|
Suite |
|
|
Voir |
|
|
|
|
|
Cette page |
