Ce que les machines de Turing ne peuvent pas faire, et pourquoi c'est important

Pourquoi les cerveaux et l'IA sont des « machines de Turing approximatives »

L'abstraction élégante qui définit ce que signifie calculer

Une famille de preuves qui construisent des objets qui diffèrent nécessairement de chaque élément d'une liste