И сведение к абсурду, и право деактивированной меры имеют в них магический элемент, который я заметил как молодую злобу в старшей школе. Я была такой умной! К сожалению, я сошел с ума, потому что верил в авторитет. Я не знал, что существует племя конструктивистов. Оказывается, конструктивизм — это моя фабричная установка, из которой меня вывела классическая математика, на которой базировались школьная программа и политехническая программа. Это позор. Конформизм — это моя вина, а не мое окружение.
Что может быть сомнительным в сведении к абсурду? У него есть два персонажа, один из которых основан на магии. Чтобы развлечь гуманистов, возьмем иллюстрацию жизни. Юрий Шевчук после начала войны (на концерте в Уфе) заявил, что "страна не президентская д*па". Окружной прокурор Уфа направил обвинение в местный суд. Суд отказался возбуждать дело, объяснив, что Шевчук из Санкт-Петербурга. Суд в Санкт-Петербурге отрицал, что не будет браться за дело, поскольку, вероятно, не хотел попасть в ловушку, притворяясь, что «отечество — это президентская д*па», в которую его мог поставить защитник Шевчук. Это тот случай, когда мы рассуждаем, что что-то не конфликтует, и мы говорим, что что-то делает. Вот секретное правило вне режима. Запах этого волшебства пах в миле отсюда. Эта проблема с петербургским судом возникла из этого спектакля.
Математики немного отличаются от остального общества. Некоторые очень мало. Реальные отклонения и здесь встречаются редко. Теперь они злорадствуют. Ирония заключается в том, что ересь конструктивизма все больше заражает мир, показывая реальные проблемы. Например, Хотт (Теория типов гомотопии), которая не принимает принцип исключенной меры.
Андрей Бауэр объясняет, почему человечество должно принять конструктивизм как нечто реальное. Я сейчас поставил материал, который формально объясняет, по какому вопросу он не хотел предстать перед судом в Петербурге. Это первый случай из двух. Интересно, что говорится в апелляции белых?
