Вклад участника
7 января 2017
Колмогоровская сложность
Альтернативное доказательство с использованием теоремы о рекурсии
+251
Колмогоровская сложность
Альтернативное доказательство с использованием теоремы о рекурсии
-18
Колмогоровская сложность
Альтернативное доказательство с использованием теоремы о рекурсии
м-2
1я и 2я теоремы Геделя о неполноте арифметики
Нет описания правки
+9
5 января 2017
1я и 2я теоремы Геделя о неполноте арифметики
Нет описания правки
+205
1я и 2я теоремы Геделя о неполноте арифметики
Нет описания правки
+22
Колмогоровская сложность
Альтернативное доказательство с использованием теоремы о рекурсии
+11
Колмогоровская сложность
Альтернативное доказательство с использованием теоремы о рекурсии
+63
2 января 2017
Участник:Shersh/Теорема о рекурсии
Аналог I теоремы Гёделя о неполноте
+16
1я и 2я теоремы Геделя о неполноте арифметики
Нет описания правки
+4
Busy beaver
Нет описания правки
-1
Busy beaver
Нет описания правки
+22
Busy beaver
Нет описания правки
-1
Busy beaver
Нет описания правки
Колмогоровская сложность
Доказательство
-36
Колмогоровская сложность
Доказательство
+12
Теорема о рекурсии
Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
+4
Теорема о рекурсии
Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
+10
Теорема о рекурсии
Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
+5
Теорема о рекурсии
Нет описания правки
+1095
Разрешимые (рекурсивные) языки
Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
-1096
Разрешимые (рекурсивные) языки
Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
+16
Разрешимые (рекурсивные) языки
Альтернативное доказательство с использованием теоремы о рекурсии
+8
Разрешимые (рекурсивные) языки
Альтернативное доказательство с использованием теоремы о рекурсии
+4
Теорема о рекурсии
Теорема о неподвижной точке
+55
Свойства перечислимых языков. Теорема Успенского-Райса
Альтернативное доказательство с использованием теоремы о рекурсии
+94
1я и 2я теоремы Геделя о неполноте арифметики
Нет описания правки
+30
Busy beaver
Нет описания правки
+19
Колмогоровская сложность
Альтернативное доказательство с использованием теоремы о рекурсии
+14
Разрешимые (рекурсивные) языки
Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
+2
Разрешимые (рекурсивные) языки
Альтернативное доказательство с использованием теоремы о рекурсии
+2
Разрешимые (рекурсивные) языки
Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
+7
Разрешимые (рекурсивные) языки
Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
+34
Разрешимые (рекурсивные) языки
Альтернативное доказательство с использованием теоремы о рекурсии
+31
26 декабря 2016
Разрешимые (рекурсивные) языки
Альтернативное доказательство с использованием теоремы о рекурсии
+1037
Теорема о рекурсии
Теорема о неподвижной точке
+1094
Свойства перечислимых языков. Теорема Успенского-Райса
Альтернативное доказательство с использованием теоремы о рекурсии
+1
Свойства перечислимых языков. Теорема Успенского-Райса
Альтернативное доказательство с использованием теоремы о рекурсии
+349
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
+1647
1я и 2я теоремы Геделя о неполноте арифметики
Нет описания правки
+1436
25 декабря 2016
Busy beaver
Нет описания правки
+1047
Разрешимые (рекурсивные) языки
Альтернативное доказательство
+67
Колмогоровская сложность
Альтернативное доказательство
+67
Колмогоровская сложность
Альтернативное доказательство
+134
Колмогоровская сложность
Невычислимость
+735
Колмогоровская сложность
Невычислимость
+30
Разрешимые (рекурсивные) языки
Примеры неразрешимых множеств
+1410
Разрешимые (рекурсивные) языки
Отмена правки 58301 участника ExileHell (обсуждение)
м+61
Теорема Успенского-Райса
Удалено содержимое страницы
-1492
Неразрешимость универсального языка
Удалено содержимое страницы
-1210
