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