math
Les limites du calcul (Partie 3/3)
Ce que les machines de Turing ne peuvent pas faire, et pourquoi c'est important
Ce que signifie être Turing-complet (Partie 2/3)
Pourquoi les cerveaux et l'IA sont des « machines de Turing approximatives »
Qu'est-ce qu'une machine de Turing ? (Partie 1/3)
L'abstraction élégante qui définit ce que signifie calculer
Trois preuves par diagonalisation
Une famille de preuves qui construisent des objets qui diffèrent nécessairement de chaque élément d'une liste
Le paradoxe de Russell
Une contradiction fondamentale qui a ébranlé les fondements des mathématiques