Вклад участника
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)
- 19:07, 7 января 2017 (разн. | история) . . (+251) . . Колмогоровская сложность (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 18:44, 7 января 2017 (разн. | история) . . (-18) . . Колмогоровская сложность (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 17:48, 7 января 2017 (разн. | история) . . (-2) . . м Колмогоровская сложность (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 17:38, 7 января 2017 (разн. | история) . . (+9) . . 1я и 2я теоремы Геделя о неполноте арифметики
- 19:22, 5 января 2017 (разн. | история) . . (+205) . . 1я и 2я теоремы Геделя о неполноте арифметики
- 18:21, 5 января 2017 (разн. | история) . . (+22) . . 1я и 2я теоремы Геделя о неполноте арифметики
- 18:19, 5 января 2017 (разн. | история) . . (+11) . . Колмогоровская сложность (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 18:19, 5 января 2017 (разн. | история) . . (+63) . . Колмогоровская сложность (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 17:40, 2 января 2017 (разн. | история) . . (+16) . . Участник:Shersh/Теорема о рекурсии (→Аналог I теоремы Гёделя о неполноте)
- 17:34, 2 января 2017 (разн. | история) . . (+4) . . 1я и 2я теоремы Геделя о неполноте арифметики
- 17:32, 2 января 2017 (разн. | история) . . (-1) . . Busy beaver
- 17:30, 2 января 2017 (разн. | история) . . (+22) . . Busy beaver
- 17:27, 2 января 2017 (разн. | история) . . (-1) . . Busy beaver
- 17:26, 2 января 2017 (разн. | история) . . (0) . . Busy beaver
- 17:25, 2 января 2017 (разн. | история) . . (-36) . . Колмогоровская сложность (→Доказательство)
- 17:24, 2 января 2017 (разн. | история) . . (+12) . . Колмогоровская сложность (→Доказательство)
- 17:21, 2 января 2017 (разн. | история) . . (+4) . . Теорема о рекурсии (→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка)
- 17:20, 2 января 2017 (разн. | история) . . (+10) . . Теорема о рекурсии (→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка)
- 17:20, 2 января 2017 (разн. | история) . . (+5) . . Теорема о рекурсии (→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка)
- 17:18, 2 января 2017 (разн. | история) . . (+1095) . . Теорема о рекурсии
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)