Une machine de Turing peut vérifier qu'elle fait telle opération A (par exemple afficher la 3000e décimale de pi) en donnant une suite d'états ou d'opérations qui aboutit à telle opération A mais elle ne peut vérifier qu'elle est dans tel état B parce...

Les événements peuvent arriver par hasard ou par nécessité mais ils ne peuvent arriver par contingence, car le contingent recouvre tout ce qui peut arriver. Pour qu’il y ait une science du contingent, il faudrait que tout arrive par nécessité car pour...