Вклад участника
20 марта 2019
Примитивно рекурсивные функции
Работа со списками фиксированной длины
+16
Тьюринг-полнота
Теорема Геделя о неполноте
-1
Тьюринг-полнота
Теорема Геделя о неполноте
+982
Тьюринг-полнота
Теорема Геделя о неполноте
+589
Тьюринг-полнота
Теорема Геделя о неполноте
+518
Тьюринг-полнота
Доказательство теоремы Геделя о неполноте
+487