30
/ru/
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
April 1, 2024
308824
26942
2

1 дек 1912 г. - Алан Матисон Тьюринг переформулировать Kurt Goedel s unprovability результаты в терминах машин Тьюринга

Описание:

Годы жизни 1912-1954 г.г.

Добавлено на ленту времени:

Дата:

1 дек 1912 г.
Сейчас
~ 111 г назад