История
4 сентября 2022
1 сентября 2022
7 января 2017
→Альтернативное доказательство с использованием теоремы о рекурсии
м+6
→Альтернативное доказательство с использованием теоремы о рекурсии
+251
→Альтернативное доказательство с использованием теоремы о рекурсии
-18
→Альтернативное доказательство с использованием теоремы о рекурсии
м-2
5 января 2017
→Альтернативное доказательство с использованием теоремы о рекурсии
+11
→Альтернативное доказательство с использованием теоремы о рекурсии
+63
2 января 2017
→Доказательство
-36
→Доказательство
+12
→Альтернативное доказательство с использованием теоремы о рекурсии
+14
25 декабря 2016
→Альтернативное доказательство
+67
→Альтернативное доказательство
+134
→Невычислимость
+735
→Невычислимость
+30
26 ноября 2016
2 мая 2015
5 января 2015
→Примеры
-6
Нет описания правки
+22
Нет описания правки
-180
Нет описания правки
+32
→Примеры
+29
→Декомпрессор
+26
Нет описания правки
-37
→Невычислимость
+148
Нет описания правки
+43
Нет описания правки
+455
Нет описания правки
+7
→Примеры
+2
→Примеры
+5
Нет описания правки
+24
Нет описания правки
+97
4 января 2015
→Доказательство бесконечности простых чисел
+2
→Применение
+870
→Теорема Хайтина о неполноте
+2217
Нет описания правки
+57
→Невычислимость
+1789
Нет описания правки
+241
→Свойства
+1106
Нет описания правки
+534
Нет описания правки
+581
Нет описания правки
+1964
Нет описания правки
+436
Нет описания правки
+1431
Нет описания правки
+1269
