Вельский · адвокат
Ваш архивариус гордится тем, что у него всё в списках. Прекрасно. Составьте список всех возможных дел, которые можно подать в Арбитр. Какой угодно длины, в каком угодно порядке. А я назову дело, которого в нём нет. И тогда скажите мне, чего стоит машина, которая не знает даже, сколько бывает дел.
Вельский пришёл не спорить о ключе. Он хочет подорвать доверие к самой идее проверять дела по правилам: раз всё не перечислишь, то и проверять бессмысленно.
Он прав наполовину, и эта половина очень важна. Есть множества, которые нельзя выписать в список, как ни старайся. Чтобы понять, какие именно, нужен приём Кантора, диагональ. Тот же приём объясняет, почему Допуск Арбитра, если его включить обратно, будет иногда отвергать честные дела. Не по небрежности, а потому что иначе нельзя.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.