Интересная теория

Ехала машина тёмным лесом
За каким-то интересом.
Инте-Инте-Интерес,
Выходи на букву «С».
А на буковке звезда,
По ней ходят поезда.
Если поезд не пройдёт,
Машинист с ума сойдёт.

~ Андре Веллино про переправку черновика с интересной теорией в Абсурдопедию.

Интересная теория — это самое скучное научное определение, которое только можно представить для пробуждения ненаучного интереса. Однако, то, что оно самое скучное, уже вызывает интерес. Что и вытекает из названия теории.

Краткое изложение теории гласит:

Всё одинаково интересно.

Автором этого вывода является Андре Веллино, профессор увлекательных наук из Новошотландского университета шокирующих познаний. Вывод этот был сделан на основе логических экспериментов на тетрадей в клеточку, которые вызвали неподдельный интерес соперников, решивших по таинственному виду профессора, что Веллино обнаружил что-то действительно интересное.

Теория в подробностях

Теорема 1

Если всё одинаково скучно, значит всё одинаково интересно.

Доказательство:
Предположим, что всё вокруг одинаково скучно, но предположим также, что существует некий X, который менее интересен, чем некоторый Y, Y <> X. Очевидно, что X скучнее Y, что противоречит нашему предположению. Что и требовалось доказать.

Теорема 2

Всё интересно.

Примечание:
Этот результат является хорошо известным обобщением известного доказательства Ван Фраассена, что каждое целое число интересно.

Доказательство:
Предположим, что это не так. Тогда есть неинтересные вещи. Исходя из аксиомы выбора, множество неинтересных вещей можно хорошо упорядочить. Тогда есть наименьший элемент : наименее неинтересная вещь. Конечно, нельзя утверждать, что отношение упорядочения является отношением к более интересному, речь о том, что есть наименьший элемент в наборе неинтересных вещей. Но это всё было бы интересно. Что и требовалось доказать.

Следствие:

Нет ничего скучного.

Доказательство:
Учитывая, что если что-то интересно, — то это не скучно. Что и требовалось доказать.

Теорема 3

Всё одинаково скучно.

Доказательство:
Это немедленно следует из следствия теоремы 2. Что и требовалось доказать.

Теорема 4.

Всё одинаково интересно.

Доказательство:
По modus ponens ясно из теорем 1 и 3. Что и требовалось доказать.