История
4 сентября 2022
1 сентября 2022
12 апреля 2018
2 января 2017
→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
-1096
→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
+16
→Альтернативное доказательство с использованием теоремы о рекурсии
+8
→Альтернативное доказательство с использованием теоремы о рекурсии
+4
→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
+2
→Альтернативное доказательство с использованием теоремы о рекурсии
+2
→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
+7
→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
+34
→Альтернативное доказательство с использованием теоремы о рекурсии
+31
26 декабря 2016
25 декабря 2016
→Альтернативное доказательство
+67
→Примеры неразрешимых множеств
+1410
Отмена правки 58301 участника ExileHell (обсуждение)
м+61
→Примеры неразрешимых множеств
-61
1 декабря 2015
3 ноября 2015
17 января 2015
12 января 2015
→Основные определения
-1
→Основные определения
+18
Нет описания правки
+69
Нет описания правки
+617
→Основные определения
мНет описания правки
+263
11 января 2015
→Примеры разрешимых множества
м+1
→Примеры неразрешимых множества
-2
→Основные определения
+1
Нет описания правки
+9
→Примеры разрешимых множества
+1438
10 января 2015
→Примеры неразрешимых множества
-1
→Основные определения
-1
Нет описания правки
-58
→Основные определения
-11
Нет описания правки
+137
→Примеры разрешимых множества
-382
→Примеры неразрешимых множества
+4
→Примеры разрешимых множества
+6
→Примеры неразрешимых множества
+8
→Примеры разрешимых множества
-28
→Основные определения
-196
9 января 2015
Нет описания правки
+1431
→Примеры неразрешимых множества
-2
→Примеры разрешимых множества
-2
→Примеры разрешимых множества
-10
Нет описания правки
-60
→Примеры разрешимых множества
+1171
→Основные определения
-4
