Илья Мещерин: Теорема Гёделя (начало доказательства)

В Кочерге продолжается цикл семинаров по теории алгоритмов — науке, которая является свзующим звеном между программированием и абстрактной математи...