История
2 января 2017
14 декабря 2016
12 января 2014
→Теорема о неподвижной точке
м-128
→Busy beaver
м+16
псевдокод успенского-райса
+81
Нет описания правки
м+248
универсальный язык: пофиксено доказательство
+132
Shersh
→Теорема о неподвижной точке
м14:10
-128
Shersh
→Busy beaver
м14:07
+16
Shersh
псевдокод успенского-райса
14:05
+81
Shersh
Нет описания правки
м13:40
+248
Shersh
универсальный язык: пофиксено доказательство
13:29
+132
Shersh
гёдель
17:02
+728
Shersh
успенский и райс
16:35
+1365
Shersh
busy beaver
16:18
+910
Shersh
→Колмогоровская сложность
15:53
+289
Shersh
Нет описания правки
м17:05
+11
Shersh
теорема о неподвижной точке
16:58
+968
Shersh
Нет описания правки
м16:43
Shersh
гёдель
16:42
+595
Shersh
набросок теоремы Успенского-Райса
16:30
+449
Shersh
неразрешимость универсального языка
16:25
+1612
Shersh
набросок док-ва Колмогоровской сложности
16:10
+603
Shersh
начата Колмогоровская сложность
15:57
+1077
Shersh
sketch
15:43
+325
