Вклад участника
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)
- 17:17, 2 января 2017 (разн. | история) . . (-1096) . . Разрешимые (рекурсивные) языки (→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка)
- 17:16, 2 января 2017 (разн. | история) . . (+16) . . Разрешимые (рекурсивные) языки (→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка)
- 17:13, 2 января 2017 (разн. | история) . . (+8) . . Разрешимые (рекурсивные) языки (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 17:11, 2 января 2017 (разн. | история) . . (+4) . . Разрешимые (рекурсивные) языки (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 17:10, 2 января 2017 (разн. | история) . . (+55) . . Теорема о рекурсии (→Теорема о неподвижной точке)
- 17:08, 2 января 2017 (разн. | история) . . (+94) . . Свойства перечислимых языков. Теорема Успенского-Райса (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 17:03, 2 января 2017 (разн. | история) . . (+30) . . 1я и 2я теоремы Геделя о неполноте арифметики
- 17:02, 2 января 2017 (разн. | история) . . (+19) . . Busy beaver
- 17:00, 2 января 2017 (разн. | история) . . (+14) . . Колмогоровская сложность (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 16:56, 2 января 2017 (разн. | история) . . (+2) . . Разрешимые (рекурсивные) языки (→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка)
- 16:56, 2 января 2017 (разн. | история) . . (+2) . . Разрешимые (рекурсивные) языки (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 16:53, 2 января 2017 (разн. | история) . . (+7) . . Разрешимые (рекурсивные) языки (→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка)
- 16:53, 2 января 2017 (разн. | история) . . (+34) . . Разрешимые (рекурсивные) языки (→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка)
- 16:52, 2 января 2017 (разн. | история) . . (+31) . . Разрешимые (рекурсивные) языки (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 00:36, 26 декабря 2016 (разн. | история) . . (+1037) . . Разрешимые (рекурсивные) языки (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 00:28, 26 декабря 2016 (разн. | история) . . (+1094) . . Теорема о рекурсии (→Теорема о неподвижной точке)
- 00:08, 26 декабря 2016 (разн. | история) . . (+1) . . Свойства перечислимых языков. Теорема Успенского-Райса (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 00:07, 26 декабря 2016 (разн. | история) . . (+349) . . Свойства перечислимых языков. Теорема Успенского-Райса (→Альтернативное доказательство с использованием теоремы о рекурсии)
- 00:07, 26 декабря 2016 (разн. | история) . . (+1647) . . Свойства перечислимых языков. Теорема Успенского-Райса (→Теорема Успенского-Райса)
- 00:01, 26 декабря 2016 (разн. | история) . . (+1436) . . 1я и 2я теоремы Геделя о неполноте арифметики
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)