История
4 сентября 2022
1 сентября 2022
10 ноября 2016
3 ноября 2016
1 ноября 2016
Нет описания правки
+40
Нет описания правки
+174
Нет описания правки
+81
Нет описания правки
+15
Нет описания правки
+15
→Существование универсальной функции
+1
Нет описания правки
+3
Нет описания правки
+84
→Определение универсальной функции
-36
→Определение универсальной функции
+1
19 октября 2016
16 октября 2016
15 декабря 2014
21 января 2014
→Пример неглавной вычислимой нумерации
+98
→Пример неглавной вычислимой нумерации
+3311
Нет описания правки
+79
Нет описания правки
-1067
→Главная нумерация
+1048
→Главная нумерация
+20
→Главная нумерация
+486
→Перечислимое неразрешимое множество
+991
Нет описания правки
+76
20 января 2014
19 января 2014
18 января 2014
→Вычислимость универсальной функции
-2
→Определение универсальной функции
→Главная нумерация
+472
→Существование универсальной функции
+87
→Главная нумерация
+328
16 января 2014
→Главная нумерация
+338
Нет описания правки
+77
Нет описания правки
+7
→Главная нумерация
+18
Нет описания правки
+2191
Нет описания правки
+2282
Нет описания правки
+387
