6 Okt 1936 Jahr - формализация алгоритмов

Beschreibung:

Алан Тьюринг и Алонзо Черч параллельно друг с другом представили формализацию алгоритмов с определением пределов того, что может быть вычислено, и «чисто механическую» модель для вычисления.