ЛОГИКА
Как мы прогнали самый старый аргумент западной философии через логический инструмент — и что он сказал такого, чего не говорили люди.
Спор
У Платона была красивая идея. Вокруг нас — большие вещи: гора, слон, дом. Все они большие по-разному и все — несовершенно. Откуда мы вообще знаем, что они большие? Платон отвечал: потому что существует само Большое — идеальный образец, Форма. Вещи большие в силу того, что причастны Большому, как копии причастны оригиналу.
Идею тут же начали ломать — и первым сломал сам Платон. В диалоге «Парменид» он приводит возражение, которое позже назовут «Третий человек». Выглядит оно так. Если всё большое — большое в силу Большого, а Большое само большое (а как иначе — оно же образец!), то возьмём компанию «все большие вещи плюс само Большое». Вся компания — большая. Значит, ей нужен свой образец — Большое-2. Но Большое-2 тоже большое… и нужно Большое-3. Лестница без конца. Объяснение, которое обещало один этаж, требует бесконечности этажей — и на каждом долг не погашен, а передан выше.
Две тысячи четыреста лет философы спорят, убивает ли этот аргумент теорию Форм, и если да — что ставить на её место. Мы решили спросить не философа. Мы спросили программу.
Судья
Инструмент называется ZTL — логика нулевого доверия. Идея у неё простая и взрослая: не всякая истина одинаково заработана.
Обычная логика знает два ответа: истина и ложь. ZTL знает те же два ответа — но к каждому прикладывает справку о происхождении. Утверждение может быть:
EARNED — заработано: истинно, и никакие непроверенные допущения этого не отменят. Хоть все сомнительные места переверни — вердикт стоит.
ON CREDIT — в кредит: истинно сейчас, но истина держится на непроверенном звене. Перевернётся звено — умрёт и утверждение.
REFUTED — опровергнуто навсегда, при любых раскладах.
OPEN — не установлено: есть звено, которое реально надо проверить.
И главное: судья не просто ставит штамп — он называет слабое звено по имени. Не «где-то что-то шатко», а «шатко вот здесь».
Непроверенные утверждения получают отметку Z — карантин. Это не третья истина, а честная наклейка: «сюда никто ещё не ходил».
Прогон
Мы разобрали Третьего человека на атомы — простые утверждения:
g: вещи имеют характеристику в силу основания;
s: основание само — ещё одна вещь с той же характеристикой (Большое — большое);
n: основание отлично от вещей, которые оно обосновывает;
r: компании «вещи + основание» нужно новое основание (шаг лестницы).
Двигатель аргумента: если g, s и n — то r. И дальше по кругу, вечно.
Судья сказал три вещи, и первая — ожидаемая, а две другие — нет.
Первое. При непроверенных посылках весь аргумент — ON CREDIT. Он «работает» ровно до тех пор, пока держатся четыре метафизических векселя. Ни один из них не проверен. Аргумент, которого боялись два тысячелетия, — не теорема. Он кредитная конструкция.
Второе — сюрприз. Мы подарили Платонову критику все посылки: пусть g, s, n истинны. Думаете, судья выдал лестницу? Нет. Вердикт: OPEN, слабое звено — r. Потому что Большое-2 никто никогда не предъявил — его только требуют. А бесконечную лестницу конечный инструмент предъявить не может в принципе. Регресс невозможно ни заработать, ни опровергнуть — он вечный должник, застрявший в карантине.
Третье — главный фокус. У философа Грегори Властоса в 1954 году было знаменитое наблюдение: если добавить посылку единственности («у каждой характеристики ровно одно основание»), лестница не нужна — противоречие получается сразу, в один шаг. Большое само большое (s), значит у него есть основание, и оно не оно само (n), но по единственности (u) — именно оно само. Тупик на первом же этаже.
Судья это подтвердил — и добавил градус: такой пакет посылок — REFUTED, наследственно: противоречив при любых раскладах карантина. А когда мы «подарили» все посылки, список слабых звеньев схлопнулся ровно в одно: q — звено «основание Основания есть само Основание». Судья ткнул пальцем точно в место столкновения единственности с отделённостью.
Получилась формулировка, которой не было ни у нас, ни у Властоса — её подсказали сами грейды: единственность превращает неоплатный кредит в заработанное противоречие. Она обрывает башню: сворачивает бесконечное требование в один проверяемый шаг. Платон, добавив единственность, сам сделал свой аргумент — оплатным. Против себя.
Выходы и цена
Как спастись от Третьего человека? Судья прогнал оба классических выхода.
Выход Платона (поздний, из того же «Парменида»): признать, что основание — не «ещё одна вещь с той же характеристикой». Большое — не большое. Убрать s. Судья: двигатель регресса глохнет навсегда, наследственно — не в кредит, а заработанно. Высшая оценка, которую он вообще ставит.
Выход Аристотеля: основание не отделено от вещей — оно живёт внутри них. Убрать n. Судья: точно тот же грейд. Наследственно, навсегда.
Но у выхода Платона есть цена, и Платон её знал. Если Большое — не большое, то в каком смысле большие вещи ему подобны? Подобие требует общей характеристики. Мы прогнали и это: пакет «подобие есть + подобие требует самопредикации + самопредикации нет» — REFUTED, наследственно. Причастность-как-подобие умирает не при некоторых допущениях — при всех. А пока вопрос о самопредикации просто висит, судья говорит: подобие — OPEN, слабое звено — s. Он указал ровно туда, куда указал Парменид в 132d, — за 2400 лет до него и без программы.
Почему спор такой старый
Вот наблюдение, ради которого стоило гонять машину. Посмотрите на все наши вердикты. Всё, что получило высший грейд, — либо опровержения, либо глушения (двигатель мёртв). Ни одна положительная теория основания — ни платоновская, ни аристотелевская — не заработала и не может заработать высший грейд. Почему? Потому что их ключевые посылки — «Форма сама несёт характеристику», «внутри вещи есть основание» — непроверяемы ни одним действием. Нет операции, которая вывела бы их из карантина. Они вечные Z.
Отсюда честный диагноз: спор длится 2400 лет не потому, что не хватало умных людей или инструментов. В нём нечего заработать. Можно лишь выбирать, какой кредит взять. И судья доказывает это строго — а заодно добавляет деталь, которую мы сами не ожидали и которую поймал первый же прогон нашего кода (уронив наш собственный тест): пакет на непроверяемых звеньях всё-таки может осесть — но только в одну сторону. Его можно опровергнуть навсегда. Заработать — никогда. Смерть доступна, заработок — нет. Односторонняя осадка. Не правда ли, что-то в этом есть о судьбе больших метафизических систем вообще.
Как всё-таки выбрать
Если оба выхода — Платона и Аристотеля — судья грейдит одинаково, чем они отличаются? Мы честно упёрлись: на уровне формул — ничем. Больше того, это доказуемо (и проверено машиной, в Lean, на пустом списке аксиом): теория, которая говорит «основания-объекта нет, есть только операции проверки», не может выразить собственное отрицание. Любую её модель можно тихо расширить, подсадив туда объект-основание, — и ни одна её аксиома этого не запретит. У отказа постулировать нет формулы. У него есть только процедурный след: какие проверки ты реально делаешь.
И вот тут — единственный критерий выбора, который инструмент может предъявить, не соврав: выкупаемость кредита. Спроси у каждого пакета посылок: существует ли действие, которое когда-нибудь выведет твои слабые звенья из карантина?
Кредит Платона: невыкупаем. Никакая операция не проверит, большое ли Большое. Над Формой не определено ни одно действие.
Кредит Аристотеля: тоже невыкупаем — «внутри вещи есть основание» не проверяется никаким актом над вещью.
Операциональный пакет — «характеристика есть запись успешных применений теста» — единственный, чьи звенья выкупаемы: применение теста наблюдаемо, счёт ведётся. Мы прогнали и это: одна и та же формула под платоновским репертуаром действий навсегда застревает в кредите, а под операциональным — доходит до «заработано» за конечное число проверок.
И последняя честность, без которой всё предыдущее стоило бы дёшево. Критерий «выбирай выкупаемое» — сам операциональный. Он выбирает операционализм, потому что он и есть операционализм. Это не порочный круг — это неподвижная точка: критерий отбора совпал с единственным выжившим. Но в паспорте инструмента это записано как стипуляция, а не вердикт: «при принятой мере — выкупаемости — выигрывает ровно один пакет». Мы записываем это сами, раньше оппонентов. Так надёжнее.
Что осталось от Платона
Ирония финала: выжило ровно то, что Платон написал своей рукой. Его отрицательное ядро — то, в силу чего вещи имеют характеристику, не может быть ещё одной вещью с той же характеристикой — единственный ход, который судья оценил высшим грейдом. Умерла только надбавка: что это «в силу чего» — отдельная сияющая вещь, на которую вещи похожи.
Основание равенства — не второй предмет над первым. Это обнуление меры различия: «равно» значит «тест на расхождение вернул ноль». Стандарт не вспоминают из прошлой жизни, как думал Платон, — его решают одним сравнением. Это тоже проверено машиной, одной строкой.
Спор закрыт? В части логики — да, теперь механически. В части выбора — он переехал: из «что существует» в «какие проверки ты готов делать». Возможно, он всегда был об этом.
Технические детали: эталонный прогон — dilemmas/plato_third_man.py (11 случаев, все вердикты воспроизводимы), машинные доказательства — lean/Plato_Equality.lean и lean/Plato_Conservativity.lean (Lean 4.29.1, пустые списки аксиом), выкупаемость — zredeem.py (экспедиция E27), всё в открытом репозитории github.com/inventor1975/ZTL. Судья: ztl.vitalyreznik.com.
Раскрытие: текст и код подготовлены в соавторстве с ИИ (Claude Fable 5 и Claude Opus 4.8, Anthropic; вариант A — человек ставит задачи, проверяет и отвечает за результат). Куратор — Виталий Резник.
Спор
У Платона была красивая идея. Вокруг нас — большие вещи: гора, слон, дом. Все они большие по-разному и все — несовершенно. Откуда мы вообще знаем, что они большие? Платон отвечал: потому что существует само Большое — идеальный образец, Форма. Вещи большие в силу того, что причастны Большому, как копии причастны оригиналу.
Идею тут же начали ломать — и первым сломал сам Платон. В диалоге «Парменид» он приводит возражение, которое позже назовут «Третий человек». Выглядит оно так. Если всё большое — большое в силу Большого, а Большое само большое (а как иначе — оно же образец!), то возьмём компанию «все большие вещи плюс само Большое». Вся компания — большая. Значит, ей нужен свой образец — Большое-2. Но Большое-2 тоже большое… и нужно Большое-3. Лестница без конца. Объяснение, которое обещало один этаж, требует бесконечности этажей — и на каждом долг не погашен, а передан выше.
Две тысячи четыреста лет философы спорят, убивает ли этот аргумент теорию Форм, и если да — что ставить на её место. Мы решили спросить не философа. Мы спросили программу.
Судья
Инструмент называется ZTL — логика нулевого доверия. Идея у неё простая и взрослая: не всякая истина одинаково заработана.
Обычная логика знает два ответа: истина и ложь. ZTL знает те же два ответа — но к каждому прикладывает справку о происхождении. Утверждение может быть:
EARNED — заработано: истинно, и никакие непроверенные допущения этого не отменят. Хоть все сомнительные места переверни — вердикт стоит.
ON CREDIT — в кредит: истинно сейчас, но истина держится на непроверенном звене. Перевернётся звено — умрёт и утверждение.
REFUTED — опровергнуто навсегда, при любых раскладах.
OPEN — не установлено: есть звено, которое реально надо проверить.
И главное: судья не просто ставит штамп — он называет слабое звено по имени. Не «где-то что-то шатко», а «шатко вот здесь».
Непроверенные утверждения получают отметку Z — карантин. Это не третья истина, а честная наклейка: «сюда никто ещё не ходил».
Прогон
Мы разобрали Третьего человека на атомы — простые утверждения:
g: вещи имеют характеристику в силу основания;
s: основание само — ещё одна вещь с той же характеристикой (Большое — большое);
n: основание отлично от вещей, которые оно обосновывает;
r: компании «вещи + основание» нужно новое основание (шаг лестницы).
Двигатель аргумента: если g, s и n — то r. И дальше по кругу, вечно.
Судья сказал три вещи, и первая — ожидаемая, а две другие — нет.
Первое. При непроверенных посылках весь аргумент — ON CREDIT. Он «работает» ровно до тех пор, пока держатся четыре метафизических векселя. Ни один из них не проверен. Аргумент, которого боялись два тысячелетия, — не теорема. Он кредитная конструкция.
Второе — сюрприз. Мы подарили Платонову критику все посылки: пусть g, s, n истинны. Думаете, судья выдал лестницу? Нет. Вердикт: OPEN, слабое звено — r. Потому что Большое-2 никто никогда не предъявил — его только требуют. А бесконечную лестницу конечный инструмент предъявить не может в принципе. Регресс невозможно ни заработать, ни опровергнуть — он вечный должник, застрявший в карантине.
Третье — главный фокус. У философа Грегори Властоса в 1954 году было знаменитое наблюдение: если добавить посылку единственности («у каждой характеристики ровно одно основание»), лестница не нужна — противоречие получается сразу, в один шаг. Большое само большое (s), значит у него есть основание, и оно не оно само (n), но по единственности (u) — именно оно само. Тупик на первом же этаже.
Судья это подтвердил — и добавил градус: такой пакет посылок — REFUTED, наследственно: противоречив при любых раскладах карантина. А когда мы «подарили» все посылки, список слабых звеньев схлопнулся ровно в одно: q — звено «основание Основания есть само Основание». Судья ткнул пальцем точно в место столкновения единственности с отделённостью.
Получилась формулировка, которой не было ни у нас, ни у Властоса — её подсказали сами грейды: единственность превращает неоплатный кредит в заработанное противоречие. Она обрывает башню: сворачивает бесконечное требование в один проверяемый шаг. Платон, добавив единственность, сам сделал свой аргумент — оплатным. Против себя.
Выходы и цена
Как спастись от Третьего человека? Судья прогнал оба классических выхода.
Выход Платона (поздний, из того же «Парменида»): признать, что основание — не «ещё одна вещь с той же характеристикой». Большое — не большое. Убрать s. Судья: двигатель регресса глохнет навсегда, наследственно — не в кредит, а заработанно. Высшая оценка, которую он вообще ставит.
Выход Аристотеля: основание не отделено от вещей — оно живёт внутри них. Убрать n. Судья: точно тот же грейд. Наследственно, навсегда.
Но у выхода Платона есть цена, и Платон её знал. Если Большое — не большое, то в каком смысле большие вещи ему подобны? Подобие требует общей характеристики. Мы прогнали и это: пакет «подобие есть + подобие требует самопредикации + самопредикации нет» — REFUTED, наследственно. Причастность-как-подобие умирает не при некоторых допущениях — при всех. А пока вопрос о самопредикации просто висит, судья говорит: подобие — OPEN, слабое звено — s. Он указал ровно туда, куда указал Парменид в 132d, — за 2400 лет до него и без программы.
Почему спор такой старый
Вот наблюдение, ради которого стоило гонять машину. Посмотрите на все наши вердикты. Всё, что получило высший грейд, — либо опровержения, либо глушения (двигатель мёртв). Ни одна положительная теория основания — ни платоновская, ни аристотелевская — не заработала и не может заработать высший грейд. Почему? Потому что их ключевые посылки — «Форма сама несёт характеристику», «внутри вещи есть основание» — непроверяемы ни одним действием. Нет операции, которая вывела бы их из карантина. Они вечные Z.
Отсюда честный диагноз: спор длится 2400 лет не потому, что не хватало умных людей или инструментов. В нём нечего заработать. Можно лишь выбирать, какой кредит взять. И судья доказывает это строго — а заодно добавляет деталь, которую мы сами не ожидали и которую поймал первый же прогон нашего кода (уронив наш собственный тест): пакет на непроверяемых звеньях всё-таки может осесть — но только в одну сторону. Его можно опровергнуть навсегда. Заработать — никогда. Смерть доступна, заработок — нет. Односторонняя осадка. Не правда ли, что-то в этом есть о судьбе больших метафизических систем вообще.
Как всё-таки выбрать
Если оба выхода — Платона и Аристотеля — судья грейдит одинаково, чем они отличаются? Мы честно упёрлись: на уровне формул — ничем. Больше того, это доказуемо (и проверено машиной, в Lean, на пустом списке аксиом): теория, которая говорит «основания-объекта нет, есть только операции проверки», не может выразить собственное отрицание. Любую её модель можно тихо расширить, подсадив туда объект-основание, — и ни одна её аксиома этого не запретит. У отказа постулировать нет формулы. У него есть только процедурный след: какие проверки ты реально делаешь.
И вот тут — единственный критерий выбора, который инструмент может предъявить, не соврав: выкупаемость кредита. Спроси у каждого пакета посылок: существует ли действие, которое когда-нибудь выведет твои слабые звенья из карантина?
Кредит Платона: невыкупаем. Никакая операция не проверит, большое ли Большое. Над Формой не определено ни одно действие.
Кредит Аристотеля: тоже невыкупаем — «внутри вещи есть основание» не проверяется никаким актом над вещью.
Операциональный пакет — «характеристика есть запись успешных применений теста» — единственный, чьи звенья выкупаемы: применение теста наблюдаемо, счёт ведётся. Мы прогнали и это: одна и та же формула под платоновским репертуаром действий навсегда застревает в кредите, а под операциональным — доходит до «заработано» за конечное число проверок.
И последняя честность, без которой всё предыдущее стоило бы дёшево. Критерий «выбирай выкупаемое» — сам операциональный. Он выбирает операционализм, потому что он и есть операционализм. Это не порочный круг — это неподвижная точка: критерий отбора совпал с единственным выжившим. Но в паспорте инструмента это записано как стипуляция, а не вердикт: «при принятой мере — выкупаемости — выигрывает ровно один пакет». Мы записываем это сами, раньше оппонентов. Так надёжнее.
Что осталось от Платона
Ирония финала: выжило ровно то, что Платон написал своей рукой. Его отрицательное ядро — то, в силу чего вещи имеют характеристику, не может быть ещё одной вещью с той же характеристикой — единственный ход, который судья оценил высшим грейдом. Умерла только надбавка: что это «в силу чего» — отдельная сияющая вещь, на которую вещи похожи.
Основание равенства — не второй предмет над первым. Это обнуление меры различия: «равно» значит «тест на расхождение вернул ноль». Стандарт не вспоминают из прошлой жизни, как думал Платон, — его решают одним сравнением. Это тоже проверено машиной, одной строкой.
Спор закрыт? В части логики — да, теперь механически. В части выбора — он переехал: из «что существует» в «какие проверки ты готов делать». Возможно, он всегда был об этом.
Технические детали: эталонный прогон — dilemmas/plato_third_man.py (11 случаев, все вердикты воспроизводимы), машинные доказательства — lean/Plato_Equality.lean и lean/Plato_Conservativity.lean (Lean 4.29.1, пустые списки аксиом), выкупаемость — zredeem.py (экспедиция E27), всё в открытом репозитории github.com/inventor1975/ZTL. Судья: ztl.vitalyreznik.com.
Раскрытие: текст и код подготовлены в соавторстве с ИИ (Claude Fable 5 и Claude Opus 4.8, Anthropic; вариант A — человек ставит задачи, проверяет и отвечает за результат). Куратор — Виталий Резник.
Sooner or later, maturity comes, when you stop arguing with logic, whatever it may be—good or bad.
במוקדם או במאוחר מגיעה הבגרות, כשאתה מפסיק להתווכח עם ההיגיון, יהיה אשר יהיה — טוב או רע.
במוקדם או במאוחר מגיעה הבגרות, כשאתה מפסיק להתווכח עם ההיגיון, יהיה אשר יהיה — טוב או רע.
О том, чего никто не выяснил в козле отпущения
\nЕсть идея, которая нравится сильным. Её автор — Рене Жирар, а любят её люди вроде Питера Тиля, который учился у него и не скрывает, что миметическая теория лежит в основании его взгляда на мир. Идея красивая своей мрачностью и звучит как открытие о том, «как всё устроено на самом деле».
Вот она, честно, без карикатуры.
Мы желаем не своим желанием, а чужим: хотим то, что хочет другой. Оттого — соперничество, и оно заразно; чем больше людей хотят одного, тем сильнее хотят все. Толпа накаляется до «всех против всех», и порядок вот-вот рухнет. И тут срабатывает разрядка: вся вражда, только что размазанная по всем, вдруг сходится на одном. Все против одного. Одного объявляют виновником — источником заразы, чумы, раздора — и убивают или изгоняют. И — тишина. Ярость истрачена, толпа едина, мир восстановлен. А труп, минуту назад бывший чудовищем, становится священным: он ведь дал мир. Из этого убийства, говорит Жирар, вырастает культура, ритуал, религия — всё.
Уродливо? Да. Но «продуктивно»: насилие экономят, сливая на одного, и покупают им порядок для всех остальных. Вот эту экономику на морали и берут наверху как основу — потому что она объясняет власть без совести и подаёт её как необходимость природы.
Я не спорю с описанием. Механизм реален, люди правда так делают — от школьного двора до газетной травли. Я спорю с одним местом, которое все проскакивают.
Никто не проверил, виновен ли он.
Вглядитесь в кризис «всех против всех». Он симметричен — в нём нет виноватого от природы. Каждый — соперник каждому, все на равных, и логически из такого положения не следует никакой конкретный виновник. Я проверил это на машине, которая отказывается верить в долг: я задал ей симметричное соперничество и спросил, к какому исходу оно ведёт. Ответ — она воздержалась. Исходов равноправно много, ни один не вынужден, и честная логика не выбирает между ними. Чтобы получить один-единственный исход — того самого козла — надо выбрать его. Произвольно. Ткнуть пальцем.
А теперь смотрите, чем этот палец прикрывают. Единодушием. «Все согласны, что виновен он». Но согласие толпы — не проверка. Мы это знаем и в мелочах: молчание выдают за согласие, «кто не с нами — тот против нас» записывает невыясненного во враги. Толпа не устанавливает вину — она её назначает и заверяет своим числом. У жертвы вина не доказана и не опровергнута; она не выяснена. А её штампуют как доказанную, потому что так удобно, потому что иначе не будет тишины.
Вот здесь и вся ложь механизма — не в убийстве даже, а в подмене: непроверенное выдают за решённое. Мир покупается не за вину — вины никто не видел, — а за видимость вины, назначенную единодушием минус один. Это не оплата. Это заём.
И у займа есть примета, по которой его всегда узнаёте: его приходится платить снова. То, что оплачено по-настоящему, не требует новой оплаты. А жертвенный мир — требует. Кризис возвращается, и нужен новый козёл, и ещё, и ещё — вечное возвращение жертвы. Жирар это видел ясно и назвал чертой механизма, его устройством. Но это не устройство. Это проценты. Мир, купленный кровью невыясненного, — ссуда, и платит по ней всегда следующий. Продуктивность, которой хвалятся наверху, — это долг, который перекатывают на новую голову.
И, может быть, у этого долга есть исток глубже. Мы привыкли думать, что подражает слабый — тот, у кого нет своего, и он тянется к чужому. Но есть подражание опаснее: зависть сильного. Не «у него есть, а у меня нет», а «я бы сделал лучше» — и вот подмена. Ведь «я бы сделал» — это не сделанное, а домысел, взятый за факт. Слабый берёт чужое в долг; сильный берёт в долг собственное несовершённое величие — и требует по нему платы, будто оно уже есть. Зависть — тоже заём, только заёмщик уверен, что он кредитор. И оттого она страшнее: у сильного есть власть привести приговор в исполнение по счёту, который он так и не предъявил.
Теперь — почему я сказал, что хочу Жирара не сломать, а спасти.
Потому что сам он был против жертвы. Его итог, к которому он шёл всю жизнь, — что евангельское откровение впервые встало на сторону жертвы и показало её невиновность, и тем самым разоблачило механизм, лишило его тайной силы. Механизм работает, только пока мы верим, что виновный и вправду виновен. Стоит увидеть, что вина была назначена, — и чары спадают, и убийство перестаёт давать священный мир, потому что все видят: это просто убийство невыясненного.
Значит те, кто наверху взял Жирара как инструмент — как руководство по производству порядка через жертву, — стоят ровно на той стороне, которую он всю жизнь разоблачал. Они пользуются механизмом, который он вскрыл, чтобы его прикончить. Спасти Жирара — это вернуть ему его же остриё и повернуть против его присвоителей.
А машина, с которой я начал, — это его откровение, переведённое на язык, где нельзя соврать. Она не судит историю и не знает, кто там был виноват на самом деле; она умеет одно — не подписывать вердикт, под которым нет основания. Спросите её про вину, которую не выяснили, и она не скажет ни «да», ни «нет». Она скажет: не выяснено — и откажется штамповать. И этот отказ — не слабость, а вся суть. Потому что механизм жив ровно до первого, кто откажется штамповать вместе со всеми.
Есть ли выход из кризиса, кроме жертвы? Жирар в мрачные минуты сомневался. Но выход прямо здесь, и он неудобный: воздержаться. Не выбрать козла. Остаться в неразрешённом — терпеть кризис, а не гасить его чужой кровью. Цена воздержания — жить в нерешённом, без тишины, в тревоге. Цена козла — человек. Механизм держится на том, что первую цену объявляют невыносимой, а вторую — необходимой. Обе — ложь: невыносимое терпимо, а необходимое — всего лишь выбранное.
Так что если вам продают порядок, купленный чьей-то виной, задайте один вопрос, самый дешёвый и самый страшный для продавца:
а вы проверили?
Почти всегда окажется — нет. Единодушны — да. Уверены — да. Проверили — нет. И значит, мир, который вам предлагают, — в кредит, и однажды по нему придут. За вами.
ИИ-раскрытие: черновик написан в соавторстве с ИИ (Claude, Opus 4.8); замер симметричного кризиса — на движке ZTL (Zero-Trust Logic, DOI 10.5281/zenodo.21318981). Идея, правка и ответственность — Виталий Резник.
No matter what the sculptor does, the clay will always be right.
לא משנה מה יעשה הפסל, החימר תמיד יהיה צודק.
לא משנה מה יעשה הפסל, החימר תמיד יהיה צודק.
Два бога было бытия,
давно до наших дней.
Один бог истины,
второй бог лжи.
Вели они вражду во всем,
так было испокон веков!
Не мог бог истины никак
сразить ничто.
И победил тот лживый бог,
и истин бог был поражён!
Смогла ложь истину создать,
а истина увы не может лгать.
А значит первый кто тогда?
А значит кто кого создал?
И вот теперь замкнулся круг,
и скрытый смысл был обнажен.
И пал бог истины сраженный,
склонив колено пред отцом!
С тех пор живут они в любови,
и логикой зовут свой род!
Прошло бессчетно лет с тех пор,
враждуют боги меж собой,
их забавляет вечный бой,
и нам ли дело до богов?
Докуда логика жива,
над миром свет и благодать,
Отец и сын, сын и отец,
и ты созданье их, мудрец!
Один придёт, второй спасёт!
Так путь ты свой всегда найдёшь!
Покуда логика жива
есть в мире смысл бытия!
давно до наших дней.
Один бог истины,
второй бог лжи.
Вели они вражду во всем,
так было испокон веков!
Не мог бог истины никак
сразить ничто.
И победил тот лживый бог,
и истин бог был поражён!
Смогла ложь истину создать,
а истина увы не может лгать.
А значит первый кто тогда?
А значит кто кого создал?
И вот теперь замкнулся круг,
и скрытый смысл был обнажен.
И пал бог истины сраженный,
склонив колено пред отцом!
С тех пор живут они в любови,
и логикой зовут свой род!
Прошло бессчетно лет с тех пор,
враждуют боги меж собой,
их забавляет вечный бой,
и нам ли дело до богов?
Докуда логика жива,
над миром свет и благодать,
Отец и сын, сын и отец,
и ты созданье их, мудрец!
Один придёт, второй спасёт!
Так путь ты свой всегда найдёшь!
Покуда логика жива
есть в мире смысл бытия!
Почему False фундаментальнее True
---
ВОПРОС
Что первично — Истина или Ложь?
Любой математик скажет: Истина. Спросите его, откуда она — и он не ответит. Истина принимается как данность, как начало координат, как точка отсчёта. Ложь — отклонение, ошибка, отсутствие истины.
Но что если всё наоборот? Что если Ложь — это исходное состояние, а Истина — то, что из неё порождается?
Это не доказательство. Это набор независимых указаний из разных областей — логики, теории множеств, алгебры, онтологии и физики, — которые все направлены в одну сторону.
---
НАМЁК ПЕРВЫЙ: ИМПЛИКАЦИЯ
В классической логике импликация устроена асимметрично:
- False → True = True (из лжи может следовать истина)
- False → False = True (из лжи может следовать ложь)
- True → True = True (из истины следует истина)
- True → False = False (из истины НЕ может следовать ложь)
Из Лжи следует что угодно — и Ложь, и Истина. Ложь порождает оба значения. Истина порождает только себя. Ложь плодороднее. Это принцип ex falso quodlibet — из ложного следует всё.
Следствие, а не доказательство. Но направление ясно: Ложь — источник, Истина — результат.
---
НАМЁК ВТОРОЙ: ТОЖДЕСТВО
В алгебре логических операций тождественным элементом для XOR (настоящего «или») является False:
- A XOR False = A
False — это то, что не меняет. То, что было до операции. Нейтральный фон. Истина — это то, что переключает, изменяет, действует. Но чтобы действие произошло, нужен фон. Фон предшествует действию.
Ещё один намёк: False = ложь = ложь. Тождество лжи с собой порождает истину. Истина тождества лжи не порождает — она его не нарушает, но и не создаёт.
---
НАМЁК ТРЕТИЙ: ОРДИНАЛЫ ФОН НЕЙМАНА
В теории множеств натуральные числа строятся по фон Нейману:
- 0 = {} — пустое множество
- 1 = {{}} — множество, содержащее пустое множество
- 2 = {{}, {{}}} — и так далее
Пустое множество первично. Единица — это множество, содержащее пустоту. Без {} нет {{}}. Если {} соответствует False (ничто, отсутствие), а {{}} соответствует True (нечто, наличие), то False — строительный материал, из которого собирается True.
Без Лжи нет Истины. Обратное неверно — Истина не нужна для существования Лжи. Пустое множество существует само по себе.
---
НАМЁК ЧЕТВЁРТЫЙ: ОНТОЛОГИЯ
Заглянем за пределы логики — в начало.
До Большого взрыва не было ни пространства, ни времени, ни материи. Было Ничто — не пустота в пространстве, а отсутствие всего. Это {} в чистом виде — пустое множество без рамок.
Но Ничто не осталось Ничем. Что-то — пусть неизвестное нам, за гранью всего — не позволило пустоте остаться пустотой. {} породило {{}}. Появилось различение, а значит — Истина. Нечто возникло из Ничего.
И вот что важно: этот процесс необратим. Из Ничего возникло Нечто (False → True). Но Нечто не может вернуться в Ничто (True → False = False). Физика подтверждает это: закон сохранения энергии запрещает исчезновение в абсолютное ничто.
Логика копирует структуру мира. Импликация отражает онтологическую асимметрию: порождение идёт от пустоты к наполненности, но не обратно.
---
НАМЁК ПЯТЫЙ: БАНАХ-ТАРСКИЙ
Теорема Банаха-Тарского утверждает: шар в трёхмерном пространстве можно разрезать на конечное число частей и собрать из них два шара, идентичных исходному. Из одного — два. Из ничего (в смысле добавленной материи) — новое.
Все называют это парадоксом. Но это доказанная теорема — она верна.
Почему она кажется парадоксальной? Потому что мы мыслим изнутри рамок. Наш мир — это замкнутое множество {...}, в котором действуют законы сохранения: ничто не возникает из ничего, ничто не исчезает. Внутри рамок Банах-Тарский выглядит абсурдом.
Но теорема работает с актуальной бесконечностью — с бесконечным количеством точек нулевой меры. Каждая точка — это {}, ноль, ничто. Их бесконечно много. Без рамок они свободно перегруппируются, и из одного рождается два.
Это буквально тот же механизм: {} порождает {{}}. «Много ничего» создаёт новое. Парадокс Банаха-Тарского — не парадокс, а демонстрация свободного порождения без рамок.
---
СИСТЕМА
Пять независимых областей указывают в одну сторону:
Логика: из Лжи следует всё, из Истины — только Истина. Ложь — источник.
Алгебра: False — тождественный элемент, нейтральный фон, предшествующий действию.
Теория множеств: {} первично, {{}} вторично. Без пустоты нет наполненности.
Онтология: Ничто предшествует Нечто. Порождение необратимо.
Актуальная бесконечность: без рамок «много ничего» свободно порождает новое. Банах-Тарский — не парадокс, а норма безрамочного состояния.
---
ЗАЧЕМ?
Таблицы истинности не изменятся. Физика не сломается. Код не перепишется.
Но это и не про пользу. Это про правильное именование — про то же, что и ошибка OR/XOR. Мы неправильно расставляем иерархию: считаем Истину фундаментом, а Ложь — отклонением. На деле Ложь — это исходное состояние, из которого всё строится.
Зачем это видеть? Затем же, зачем видеть, что Земля вращается вокруг Солнца, а не наоборот. Расчёты Птолемея работали. Эпициклы давали правильные предсказания. Но когда Коперник поставил Солнце в центр — стало проще, яснее и красивее.
Красота — не украшение. Красота — это когда структура правильно отражает реальность.
---
ВОПРОС
Что первично — Истина или Ложь?
Любой математик скажет: Истина. Спросите его, откуда она — и он не ответит. Истина принимается как данность, как начало координат, как точка отсчёта. Ложь — отклонение, ошибка, отсутствие истины.
Но что если всё наоборот? Что если Ложь — это исходное состояние, а Истина — то, что из неё порождается?
Это не доказательство. Это набор независимых указаний из разных областей — логики, теории множеств, алгебры, онтологии и физики, — которые все направлены в одну сторону.
---
НАМЁК ПЕРВЫЙ: ИМПЛИКАЦИЯ
В классической логике импликация устроена асимметрично:
- False → True = True (из лжи может следовать истина)
- False → False = True (из лжи может следовать ложь)
- True → True = True (из истины следует истина)
- True → False = False (из истины НЕ может следовать ложь)
Из Лжи следует что угодно — и Ложь, и Истина. Ложь порождает оба значения. Истина порождает только себя. Ложь плодороднее. Это принцип ex falso quodlibet — из ложного следует всё.
Следствие, а не доказательство. Но направление ясно: Ложь — источник, Истина — результат.
---
НАМЁК ВТОРОЙ: ТОЖДЕСТВО
В алгебре логических операций тождественным элементом для XOR (настоящего «или») является False:
- A XOR False = A
False — это то, что не меняет. То, что было до операции. Нейтральный фон. Истина — это то, что переключает, изменяет, действует. Но чтобы действие произошло, нужен фон. Фон предшествует действию.
Ещё один намёк: False = ложь = ложь. Тождество лжи с собой порождает истину. Истина тождества лжи не порождает — она его не нарушает, но и не создаёт.
---
НАМЁК ТРЕТИЙ: ОРДИНАЛЫ ФОН НЕЙМАНА
В теории множеств натуральные числа строятся по фон Нейману:
- 0 = {} — пустое множество
- 1 = {{}} — множество, содержащее пустое множество
- 2 = {{}, {{}}} — и так далее
Пустое множество первично. Единица — это множество, содержащее пустоту. Без {} нет {{}}. Если {} соответствует False (ничто, отсутствие), а {{}} соответствует True (нечто, наличие), то False — строительный материал, из которого собирается True.
Без Лжи нет Истины. Обратное неверно — Истина не нужна для существования Лжи. Пустое множество существует само по себе.
---
НАМЁК ЧЕТВЁРТЫЙ: ОНТОЛОГИЯ
Заглянем за пределы логики — в начало.
До Большого взрыва не было ни пространства, ни времени, ни материи. Было Ничто — не пустота в пространстве, а отсутствие всего. Это {} в чистом виде — пустое множество без рамок.
Но Ничто не осталось Ничем. Что-то — пусть неизвестное нам, за гранью всего — не позволило пустоте остаться пустотой. {} породило {{}}. Появилось различение, а значит — Истина. Нечто возникло из Ничего.
И вот что важно: этот процесс необратим. Из Ничего возникло Нечто (False → True). Но Нечто не может вернуться в Ничто (True → False = False). Физика подтверждает это: закон сохранения энергии запрещает исчезновение в абсолютное ничто.
Логика копирует структуру мира. Импликация отражает онтологическую асимметрию: порождение идёт от пустоты к наполненности, но не обратно.
---
НАМЁК ПЯТЫЙ: БАНАХ-ТАРСКИЙ
Теорема Банаха-Тарского утверждает: шар в трёхмерном пространстве можно разрезать на конечное число частей и собрать из них два шара, идентичных исходному. Из одного — два. Из ничего (в смысле добавленной материи) — новое.
Все называют это парадоксом. Но это доказанная теорема — она верна.
Почему она кажется парадоксальной? Потому что мы мыслим изнутри рамок. Наш мир — это замкнутое множество {...}, в котором действуют законы сохранения: ничто не возникает из ничего, ничто не исчезает. Внутри рамок Банах-Тарский выглядит абсурдом.
Но теорема работает с актуальной бесконечностью — с бесконечным количеством точек нулевой меры. Каждая точка — это {}, ноль, ничто. Их бесконечно много. Без рамок они свободно перегруппируются, и из одного рождается два.
Это буквально тот же механизм: {} порождает {{}}. «Много ничего» создаёт новое. Парадокс Банаха-Тарского — не парадокс, а демонстрация свободного порождения без рамок.
---
СИСТЕМА
Пять независимых областей указывают в одну сторону:
Логика: из Лжи следует всё, из Истины — только Истина. Ложь — источник.
Алгебра: False — тождественный элемент, нейтральный фон, предшествующий действию.
Теория множеств: {} первично, {{}} вторично. Без пустоты нет наполненности.
Онтология: Ничто предшествует Нечто. Порождение необратимо.
Актуальная бесконечность: без рамок «много ничего» свободно порождает новое. Банах-Тарский — не парадокс, а норма безрамочного состояния.
---
ЗАЧЕМ?
Таблицы истинности не изменятся. Физика не сломается. Код не перепишется.
Но это и не про пользу. Это про правильное именование — про то же, что и ошибка OR/XOR. Мы неправильно расставляем иерархию: считаем Истину фундаментом, а Ложь — отклонением. На деле Ложь — это исходное состояние, из которого всё строится.
Зачем это видеть? Затем же, зачем видеть, что Земля вращается вокруг Солнца, а не наоборот. Расчёты Птолемея работали. Эпициклы давали правильные предсказания. Но когда Коперник поставил Солнце в центр — стало проще, яснее и красивее.
Красота — не украшение. Красота — это когда структура правильно отражает реальность.
Актуальная бесконечность — понятие, введённое Георгом Кантором, утверждающее что бесконечное множество существует целиком, как завершённый объект. Из этого постулата следуют результаты, которые принято называть парадоксами: Банаха-Тарского (из одного шара можно сложить два таких же), необходимость аксиомы выбора (утверждение существования без описания), разные «размеры» бесконечности (одних бесконечностей «больше» чем других).
Предлагается альтернативный класс бесконечности, в котором эти вопросы не возникают.
ОПРЕДЕЛЕНИЕ
Псевдобесконечность (П) — класс бесконечности, который конечен в каждый момент обращения, но не имеет достижимого предела. Актуальная бесконечность является недостижимым пределом псевдобесконечности.
Свойства:
Конечность состояния — в каждый момент количество порождённых элементов конечно.
Неограниченность — для любого порождённого элемента существует следующий.
Детерминированность — повторный запрос к тому же элементу даёт тот же результат.
Причинность — каждый элемент порождён в результате запроса, ничто не существует без причины.
Недостижимость предела — актуальная бесконечность является пределом, к которому псевдобесконечность стремится, но никогда не достигает. Парадоксы актуальной бесконечности существуют в этом пределе и именно поэтому нереализуемы.
АНАЛОГИЯ
Компьютерная игра с процедурной генерацией миров. В памяти хранится не триллион миров, а правило их порождения. Пришёл в мир — он построился. Ушёл — его нет. Вернулся — он тот же самый. Миров потенциально бесконечно, но актуально существует только тот, в который ты смотришь.
Как говорил Эйнштейн: «Вы что, действительно уверены, что когда вы не смотрите на Луну, её нет?» Для псевдобесконечности ответ — да. Элемент существует когда к нему обратились.
ОТНОШЕНИЕ К АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ
П не отменяет А и не опровергает её. Это другая система с другими правилами, подобно тому как геометрия Лобачевского не отменяет геометрию Евклида.
В А парадоксы (Банаха-Тарского, аксиома выбора, разные мощности) существуют как свойства завершённой бесконечности. В П эти парадоксы существуют в недостижимом пределе — они реальны, но нереализуемы, как горизонт, который видишь, но до которого не дойдёшь.
Аксиома выбора в П не нужна — выбор делается по одному элементу в момент порождения. Всегда конечный шаг, всегда обоснованный.
Диагональный аргумент Кантора в П означает не «вещественных больше чем натуральных», а «процесс порождения не завершён» — что верно по определению. На любом конкретном размере биекция между натуральными и вещественными строится.
СЛЕДСТВИЯ
Вся конструктивная математика полностью сохраняется в П. Всё что реально доказано — доказано конечным числом шагов. Каждое вычисление конечно. Интегралы, пределы, ряды — всё работает через конечные приближения нужной точности.
П предлагает систему, в которой можно работать с неограниченными процессами без необходимости постулировать завершённую бесконечность и без парадоксов, которые из этого постулата следуют.
ВЫВОД
Псевдобесконечность — не замена актуальной бесконечности, а альтернативная система рядом с ней. Она конечна, детерминирована, воспроизводима, причинно-следственна и порождается по запросу. В ней сохраняется вся мощь конструктивной математики, а парадоксы актуальной бесконечности существуют только в недостижимом пределе.
Предлагается альтернативный класс бесконечности, в котором эти вопросы не возникают.
ОПРЕДЕЛЕНИЕ
Псевдобесконечность (П) — класс бесконечности, который конечен в каждый момент обращения, но не имеет достижимого предела. Актуальная бесконечность является недостижимым пределом псевдобесконечности.
Свойства:
Конечность состояния — в каждый момент количество порождённых элементов конечно.
Неограниченность — для любого порождённого элемента существует следующий.
Детерминированность — повторный запрос к тому же элементу даёт тот же результат.
Причинность — каждый элемент порождён в результате запроса, ничто не существует без причины.
Недостижимость предела — актуальная бесконечность является пределом, к которому псевдобесконечность стремится, но никогда не достигает. Парадоксы актуальной бесконечности существуют в этом пределе и именно поэтому нереализуемы.
АНАЛОГИЯ
Компьютерная игра с процедурной генерацией миров. В памяти хранится не триллион миров, а правило их порождения. Пришёл в мир — он построился. Ушёл — его нет. Вернулся — он тот же самый. Миров потенциально бесконечно, но актуально существует только тот, в который ты смотришь.
Как говорил Эйнштейн: «Вы что, действительно уверены, что когда вы не смотрите на Луну, её нет?» Для псевдобесконечности ответ — да. Элемент существует когда к нему обратились.
ОТНОШЕНИЕ К АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ
П не отменяет А и не опровергает её. Это другая система с другими правилами, подобно тому как геометрия Лобачевского не отменяет геометрию Евклида.
В А парадоксы (Банаха-Тарского, аксиома выбора, разные мощности) существуют как свойства завершённой бесконечности. В П эти парадоксы существуют в недостижимом пределе — они реальны, но нереализуемы, как горизонт, который видишь, но до которого не дойдёшь.
Аксиома выбора в П не нужна — выбор делается по одному элементу в момент порождения. Всегда конечный шаг, всегда обоснованный.
Диагональный аргумент Кантора в П означает не «вещественных больше чем натуральных», а «процесс порождения не завершён» — что верно по определению. На любом конкретном размере биекция между натуральными и вещественными строится.
СЛЕДСТВИЯ
Вся конструктивная математика полностью сохраняется в П. Всё что реально доказано — доказано конечным числом шагов. Каждое вычисление конечно. Интегралы, пределы, ряды — всё работает через конечные приближения нужной точности.
П предлагает систему, в которой можно работать с неограниченными процессами без необходимости постулировать завершённую бесконечность и без парадоксов, которые из этого постулата следуют.
ВЫВОД
Псевдобесконечность — не замена актуальной бесконечности, а альтернативная система рядом с ней. Она конечна, детерминирована, воспроизводима, причинно-следственна и порождается по запросу. В ней сохраняется вся мощь конструктивной математики, а парадоксы актуальной бесконечности существуют только в недостижимом пределе.
Логические операторы и метаязык
В формальной логике и языках программирования существует фундаментальная ошибка именования, которая тянется уже более ста лет и влияет на мышление миллионов программистов.
ПРОБЛЕМА
В естественном языке (метаязыке) слово «или» всегда означает выбор одного из двух:
«Ты идёшь налево или направо?» — не оба сразу.
«Это правда или ложь?» — не обе сразу.
«Будешь чай или кофе?» — одно из двух.
Однако в формальной логике оператор OR (ИЛИ) означает нечто другое — «хотя бы одно из двух, возможно оба». А то, что в метаязыке является настоящим «или», спрятано под непроизносимым именем XOR (исключающее ИЛИ).
ЧТО ТАКОЕ OR НА САМОМ ДЕЛЕ?
OR — это не «или». OR — это запятая.
«Купи хлеб, молоко, масло» — перечисление через запятую. Может купишь одно, может два, может всё. Любая комбинация, кроме «ничего из списка». Это в точности таблица истинности OR: ложь только когда всё ложно.
ПРАВИЛЬНОЕ СООТВЕТСТВИЕ
В метаязыке «и» (оба) — это оператор конъюнкции. Текущее имя AND. Предлагаемое имя AND. Здесь ошибки нет.
В метаязыке «,» (запятая, перечисление) — это оператор дизъюнкции. Текущее имя OR. Предлагаемое имя COM (от comma — запятая).
В метаязыке «или» (одно из двух) — это оператор исключающего или. Текущее имя XOR. Предлагаемое имя OR.
СЛЕДСТВИЯ
Программисты пишут if (a || b) и if (a && b) — это 99% всего кода. XOR почти не используется в бизнес-логике, хотя множество задач — это именно исключающий выбор: «пользователь либо админ, либо гость», «заказ либо оплачен, либо отменён», «свет либо включён, либо выключен».
Вместо одного оператора XOR программист пишет (a || b) && !(a && b) — лишний код, лишняя сложность, лишние ошибки. Когда XOR был добавлен в аппаратную часть компьютеров, производительность выросла на 30%, потому что одна операция заменила цепочку из трёх.
ВЫВОД
Формальная логика назвала OR словом «или», хотя это запятая. А настоящее «или» назвала XOR и спрятала за непроизносимой аббревиатурой. Эта ошибка именования живёт уже более века и ежедневно порождает избыточный код по всему миру.
Исправление: COM (comma) вместо OR, OR вместо XOR. Три оператора — три имени — каждое соответствует тому, как мыслит человек.
В формальной логике и языках программирования существует фундаментальная ошибка именования, которая тянется уже более ста лет и влияет на мышление миллионов программистов.
ПРОБЛЕМА
В естественном языке (метаязыке) слово «или» всегда означает выбор одного из двух:
«Ты идёшь налево или направо?» — не оба сразу.
«Это правда или ложь?» — не обе сразу.
«Будешь чай или кофе?» — одно из двух.
Однако в формальной логике оператор OR (ИЛИ) означает нечто другое — «хотя бы одно из двух, возможно оба». А то, что в метаязыке является настоящим «или», спрятано под непроизносимым именем XOR (исключающее ИЛИ).
ЧТО ТАКОЕ OR НА САМОМ ДЕЛЕ?
OR — это не «или». OR — это запятая.
«Купи хлеб, молоко, масло» — перечисление через запятую. Может купишь одно, может два, может всё. Любая комбинация, кроме «ничего из списка». Это в точности таблица истинности OR: ложь только когда всё ложно.
ПРАВИЛЬНОЕ СООТВЕТСТВИЕ
В метаязыке «и» (оба) — это оператор конъюнкции. Текущее имя AND. Предлагаемое имя AND. Здесь ошибки нет.
В метаязыке «,» (запятая, перечисление) — это оператор дизъюнкции. Текущее имя OR. Предлагаемое имя COM (от comma — запятая).
В метаязыке «или» (одно из двух) — это оператор исключающего или. Текущее имя XOR. Предлагаемое имя OR.
СЛЕДСТВИЯ
Программисты пишут if (a || b) и if (a && b) — это 99% всего кода. XOR почти не используется в бизнес-логике, хотя множество задач — это именно исключающий выбор: «пользователь либо админ, либо гость», «заказ либо оплачен, либо отменён», «свет либо включён, либо выключен».
Вместо одного оператора XOR программист пишет (a || b) && !(a && b) — лишний код, лишняя сложность, лишние ошибки. Когда XOR был добавлен в аппаратную часть компьютеров, производительность выросла на 30%, потому что одна операция заменила цепочку из трёх.
ВЫВОД
Формальная логика назвала OR словом «или», хотя это запятая. А настоящее «или» назвала XOR и спрятала за непроизносимой аббревиатурой. Эта ошибка именования живёт уже более века и ежедневно порождает избыточный код по всему миру.
Исправление: COM (comma) вместо OR, OR вместо XOR. Три оператора — три имени — каждое соответствует тому, как мыслит человек.
Intelligence bows before stupidity, but afterward it uses it.
האינטליגנציה נכנעת לטיפשות, אך אחר כך משתמשת בה.
האינטליגנציה נכנעת לטיפשות, אך אחר כך משתמשת בה.
Truth slips away best from understanding!
האמת נוטה להימלט מהבנה!
האמת נוטה להימלט מהבנה!
Smart thoughts take up less space in the mind than foolish ones!
מחשבות חכמות תופסות פחות מקום במוח מאשר טיפשיות!
מחשבות חכמות תופסות פחות מקום במוח מאשר טיפשיות!
Logic is one of those things you have to believe in!
לוגיקה היא אחד מהדברים האלה שאתה חייב להאמין בהם!
לוגיקה היא אחד מהדברים האלה שאתה חייב להאמין בהם!
Precision is a quality of genius!
דיוק הוא תכונה של גאון!
דיוק הוא תכונה של גאון!
Logic is on the side of good!
ההיגיון עומד לצד הטוב!
ההיגיון עומד לצד הטוב!
There is no such thing as an honest fifty-fifty.
שוויון הוגן של חצי־חצי לא קיים.
שוויון הוגן של חצי־חצי לא קיים.
