6 oct. 1936 - формализация алгоритмов
Description:
Алан Тьюринг и Алонзо Черч параллельно друг с другом представили формализацию алгоритмов с определением пределов того, что может быть вычислено, и «чисто механическую» модель для вычисления.
Ajouté au bande de temps:
Date: