Они стали основным языком доказательства противоречивости любых теорий

Приветствую Вас, уважаемые Читатели! Сегодня я хочу рассказать Вам о довольно интересной математической конструкции - функции вопросительного знака ?(x). Эта зависимость была придумана в 1904 году известным знатоком теории чисел - немецким математиком Германом Минковским. Минковский занимался одной из обычной для теории чисел задачей - попыткой построить функцию, которая непрерывно отображает рациональные числа на отрезке [0,1] в двоичные рациональные на этом же отрезке. Задача настолько типичная, что Герман после открытия не стал развивать исследование в этом направлении...