История
24 ноября 2016
→Вклад Ю.В. Матиясевича
+351
→Вклад Ю.В. Матиясевича
Нет описания правки
+1603
Нет описания правки
+672
→Вклад Ю.В. Матиясевича
+326
→Источники информации
-3
→Источники информации
+139
23 ноября 2016
→Источники информации
+250
→Вклад Ю.В. Матиясевича
+524
→Вклад Ю.В. Матиясевича
+585
→Вклад Ю.В. Матиясевича
22 ноября 2016
→Этапы доказательства неразрешимости десятой проблемы Гильберта
+1216
→Гипотеза Мартина Дэвиса
+20
→Этапы доказательства неразрешимости десятой проблемы Гильберта
+41
→Вклад Ю.В. Матиясевича
+256
→Вклад Ю.В. Матиясевича
+508
21 ноября 2016
20 ноября 2016
Нет описания правки
+2
Нет описания правки
+750
Нет описания правки
+48
→Предикат Робинсон. Совместный результат М. Дэвиса и Х. Патнема и Д. Робинсон.
+351
Нет описания правки
+1559
→Предикат Робинсон. Совместный результат М. Дэвиса и Х. Патнема и Д. Робинсон.
+638
→Предикат Робинсон. Совместный результат М. Дэвиса и Х. Патнема и Д. Робинсон.
+4
Нет описания правки
+1790
19 ноября 2016
Нет описания правки
Нет описания правки
+145
Нет описания правки
+71
→Гипотеза Мартина Дэвиса
+374
Нет описания правки
+433
→Гипотеза Мартина Дэвиса
+622
→Гипотеза Мартина Дэвиса
+485
→Гипотеза Мартина Дэвиса
+1317
Нет описания правки
+561
18 ноября 2016
Нет описания правки
+478
→Этапы доказательства неразрешимости десятой проблемы Гильберта
→Гипотеза Мартина Девиса
+38
Нет описания правки
+510
Нет описания правки
+1994