53 Теорема Гентцена. Оценка силы PA снизу
В этом ролике мы доказываем, что ординальная сила теории PA не меньше, чем ординал epsilon_0.
1 day ago 03:00:28 13K
1 day ago 00:37:20 2
1 day ago 00:16:49 162
2 days ago 01:48:02 243
3 days ago 01:15:38 153
3 days ago 02:15:20 1
3 days ago 01:26:18 247
3 days ago 01:29:36 908
4 days ago 01:22:45 44
5 days ago 00:26:03 10
6 days ago 00:24:49 1
6 days ago 01:01:12 1
6 days ago 00:18:26 1
6 days ago 01:37:07 1
6 days ago 01:31:33 1
6 days ago 01:02:41 2
6 days ago 01:29:45 1
6 days ago 00:39:13 46
1 week ago 00:00:16 3
1 week ago 04:43:41 2.1K
1 week ago 03:58:47 362
1 week ago 02:36:06 200
1 week ago 03:51:09 1.1K
1 week ago 03:02:05 277