Проблема останова лжеца Гёделя и брадобрея Кантора
Разбор курьёзов классической логики через призму многозначных логик.
Слайд со ссылками на доп материалы: #slides==19
2 months ago 00:52:48 1
2 months ago 00:15:20 2
3 months ago 00:13:07 1
4 months ago 02:17:01 1
4 months ago 01:21:01 1
4 months ago 00:51:29 2
5 months ago 00:07:16 19
5 months ago 00:40:25 1
5 months ago 00:58:47 1
5 months ago 00:17:16 1
6 months ago 00:43:55 32
7 months ago 01:09:48 1
7 months ago 00:45:36 1
7 months ago 00:15:12 1
7 months ago 00:12:40 1
7 months ago 01:15:44 1
7 months ago 01:04:13 1
7 months ago 00:09:56 1
7 months ago 00:21:31 1
7 months ago 00:31:21 1
7 months ago 00:05:24 3
7 months ago 00:04:21 1
7 months ago 00:02:27 1
7 months ago 01:03:30 2
