Logique
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 |
Paradoxe de Berry
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 😢
Paradoxe de Hempel
Voir une chaussure blanche participe-t-il à prouver que tous les corbeaux sont noirs ?
Induction et inférences bayésiennes
