Самоприменимость

Седьмое правило дискуссии - самоприменимость.

В математике эта линия идет от Кантора через Рассела к Геделю и Тьюрингу.

Кантор использует диагональный метод.

Рассел показывает парадокс множества всех множеств, которые не являются элементами самих себя. В популярной форме это известно как парадокс парикмахера: парикмахер бреет всех тех и только тех, кто не бреет себя сам. Кто бреет парикмахера?

У Геделя и Тьюринга эта линия приводит к фундаментальным ограничениям формальных систем и вычислений.

Смысл для моего дискурса такой: система, описывающая мышление, сама является частью мышления. Она не может стоять вне поля, которое описывает. Поэтому она должна подчиняться тем правилам, которые накладывает на другие формы мышления.