Вклад участника
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (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) . . Теорема о рекурсии
- 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я теоремы Геделя о неполноте арифметики
- 23:56, 25 декабря 2016 (разн. | история) . . (+1047) . . Busy beaver
- 23:50, 25 декабря 2016 (разн. | история) . . (+67) . . Разрешимые (рекурсивные) языки (→Альтернативное доказательство)
- 23:50, 25 декабря 2016 (разн. | история) . . (+67) . . Колмогоровская сложность (→Альтернативное доказательство)
- 23:50, 25 декабря 2016 (разн. | история) . . (+134) . . Колмогоровская сложность (→Альтернативное доказательство)
- 23:47, 25 декабря 2016 (разн. | история) . . (+735) . . Колмогоровская сложность (→Невычислимость)
- 23:41, 25 декабря 2016 (разн. | история) . . (+30) . . Колмогоровская сложность (→Невычислимость)
- 23:06, 25 декабря 2016 (разн. | история) . . (+1410) . . Разрешимые (рекурсивные) языки (→Примеры неразрешимых множеств)
- 23:04, 25 декабря 2016 (разн. | история) . . (+61) . . м Разрешимые (рекурсивные) языки (Отмена правки 58301 участника ExileHell (обсуждение))
- 22:56, 25 декабря 2016 (разн. | история) . . (-1492) . . Теорема Успенского-Райса (Удалено содержимое страницы)
- 22:23, 25 декабря 2016 (разн. | история) . . (-1210) . . Неразрешимость универсального языка (Удалено содержимое страницы)
- 22:22, 25 декабря 2016 (разн. | история) . . (-61) . . Разрешимые (рекурсивные) языки (→Примеры неразрешимых множеств)
- 23:53, 17 декабря 2016 (разн. | история) . . (+1492) . . Н Теорема Успенского-Райса (Новая страница: «<tex> A </tex> {{---}} разрешимое семейство языков. <tex> L_A </tex> {{---}} множество программ, удовлетворя...»)
- 23:52, 17 декабря 2016 (разн. | история) . . (-73) . . Неразрешимость универсального языка (→Неразрешимость универсального языка)
- 23:52, 17 декабря 2016 (разн. | история) . . (+1283) . . Н Неразрешимость универсального языка (Новая страница: «= Неразрешимость универсального языка = {{Утверждение |id=proposalU. |statement=[[Разрешимые (рекурс...»)
- 01:04, 10 декабря 2016 (разн. | история) . . (0) . . Примитивно рекурсивные функции (→n-местный ноль)
- 01:03, 10 декабря 2016 (разн. | история) . . (-102) . . Примитивно рекурсивные функции (→n-местный ноль)
- 01:01, 10 декабря 2016 (разн. | история) . . (-8) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 00:57, 10 декабря 2016 (разн. | история) . . (+642) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 00:50, 10 декабря 2016 (разн. | история) . . (+8) . . Примитивно рекурсивные функции (→Операции сравнения)
- 00:49, 10 декабря 2016 (разн. | история) . . (0) . . м Примитивно рекурсивные функции (→Вычитания)
- 00:48, 10 декабря 2016 (разн. | история) . . (0) . . Примитивно рекурсивные функции (→Умножения)
- 00:48, 10 декабря 2016 (разн. | история) . . (+38) . . Примитивно рекурсивные функции (→Сложение)
- 00:46, 10 декабря 2016 (разн. | история) . . (+6) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 00:46, 10 декабря 2016 (разн. | история) . . (+6) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 00:45, 10 декабря 2016 (разн. | история) . . (+65) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 00:43, 10 декабря 2016 (разн. | история) . . (-5) . . Примитивно рекурсивные функции (→Теоремы)
- 00:43, 10 декабря 2016 (разн. | история) . . (+23) . . Примитивно рекурсивные функции (→Теорема о примитивной рекурсивности вычислимых функций)
- 00:42, 10 декабря 2016 (разн. | история) . . (+13) . . Примитивно рекурсивные функции (→Деление)
- 00:38, 10 декабря 2016 (разн. | история) . . (-3) . . Примитивно рекурсивные функции (→Деление)
- 00:37, 10 декабря 2016 (разн. | история) . . (-2) . . Примитивно рекурсивные функции (→Работа со списками фиксированной длины)
- 00:36, 10 декабря 2016 (разн. | история) . . (+5) . . Примитивно рекурсивные функции (→Теорема о примитивной рекурсивности вычислимых функций)
- 20:58, 4 декабря 2016 (разн. | история) . . (-25) . . Примитивно рекурсивные функции (→Сложение)
- 20:57, 4 декабря 2016 (разн. | история) . . (+588) . . Примитивно рекурсивные функции (→Сложение)
- 20:24, 4 декабря 2016 (разн. | история) . . (-205) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 20:16, 4 декабря 2016 (разн. | история) . . (+8) . . Примитивно рекурсивные функции (→Вычитания)
- 20:03, 4 декабря 2016 (разн. | история) . . (-2) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 20:03, 4 декабря 2016 (разн. | история) . . (+303) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 19:28, 4 декабря 2016 (разн. | история) . . (+108) . . Примитивно рекурсивные функции (→Источники информации)
- 19:23, 4 декабря 2016 (разн. | история) . . (-72) . . Примитивно рекурсивные функции (→n-местный ноль)
- 19:22, 4 декабря 2016 (разн. | история) . . (-43) . . Примитивно рекурсивные функции (→n-местный ноль)
- 19:20, 4 декабря 2016 (разн. | история) . . (+6) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 19:19, 4 декабря 2016 (разн. | история) . . (-204) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 19:17, 4 декабря 2016 (разн. | история) . . (+77) . . Примитивно рекурсивные функции (→Арифметические операции на примитивно рекурсивных функциях)
- 19:15, 4 декабря 2016 (разн. | история) . . (-24) . . Примитивно рекурсивные функции (→Арифметические операции на примитивно рекурсивных функциях)
- 19:12, 4 декабря 2016 (разн. | история) . . (-1) . . Примитивно рекурсивные функции (→Рекурсивные функции)
- 19:10, 4 декабря 2016 (разн. | история) . . (+60) . . Примитивно рекурсивные функции (→Рекурсивные функции)
- 22:05, 27 ноября 2016 (разн. | история) . . (-43) . . Примитивно рекурсивные функции (→Деление)
- 21:44, 27 ноября 2016 (разн. | история) . . (-81) . . Примитивно рекурсивные функции (→IF)
- 20:58, 27 ноября 2016 (разн. | история) . . (-130) . . Примитивно рекурсивные функции (→Вычитания)
- 20:51, 27 ноября 2016 (разн. | история) . . (-57) . . Примитивно рекурсивные функции (→Умножения)
- 20:50, 27 ноября 2016 (разн. | история) . . (0) . . Примитивно рекурсивные функции (→Сложение)
- 20:49, 27 ноября 2016 (разн. | история) . . (-57) . . Примитивно рекурсивные функции (→Сложение)
- 20:42, 27 ноября 2016 (разн. | история) . . (-91) . . Примитивно рекурсивные функции (→n-местный ноль)
- 20:40, 27 ноября 2016 (разн. | история) . . (+8) . . Примитивно рекурсивные функции (→n-местный ноль)
- 20:40, 27 ноября 2016 (разн. | история) . . (-72) . . Примитивно рекурсивные функции (→n-местный ноль)
- 19:55, 27 ноября 2016 (разн. | история) . . (+333) . . Примитивно рекурсивные функции (→Источники информации)
- 19:53, 27 ноября 2016 (разн. | история) . . (-332) . . Примитивно рекурсивные функции (→См. также)
- 19:53, 27 ноября 2016 (разн. | история) . . (-24) . . Примитивно рекурсивные функции (→Источники информации)
- 19:51, 27 ноября 2016 (разн. | история) . . (-642) . . Примитивно рекурсивные функции (→Примитивно рекурсивные функции)
- 19:45, 27 ноября 2016 (разн. | история) . . (+54) . . Примитивно рекурсивные функции (→n-местный ноль)
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)