FRA3825
Marcello Vitali-Rosati
Montreal - 16 Mars 2021
Les trois étapes ne sont pas étanches!
calculable = computable
Ensemble d’instructions qui respectent deux conditions:
Une machine de Turing