La logique est à l’intersection de l’informatique, des mathématiques et de la philosophie.
| Calcul des propositions | Syntaxe | Sémantique | Preuve |
|---|---|---|---|
| Logique modale | Syntaxe et sémantique | Systèmes logiques | Différentes logiques modales |
Le paradoxe de Berry rend non calculable la complexité de Kolmogorov. Et cette non calculabilité tue dans l’œuf le rêve du jeune Ray Solomonoff d’un super algorithme capable de résoudre l’intégralité des problèmes scientifiques 😢
Voir une chaussure blanche participe-t-il à prouver que tous les corbeaux sont noirs ?