Технарь⁠⁠

Я сейчас чуть со стула не упал)
Человеческое мышление низвели не просто до дискретной сущности, но сразу до булевой х)
Может быть вы еще и строгое доказательство этого с той же легкостью приведете?) И я вас лично поведу получать Филдсовскую премию и мильён долларов но института Клея?)

Не каждый день задачи тысячелетия решаются)

Ну и сразу накидаю вам контр-аргументов:
1. Человеческий мозг непрерывен. Хотя и имеет некоторое квантование энергетических состояний обычное для любой материальной системы из известных во вселенной.
2. Вы когда-нибудь преподавали? Если да, то Вы, я думаю, можете привести десятки примеров, когда ученик верил в две очевидно противоречивые сентенции.
Так, например, мне один товарищ очень долго и весьма эмоционально доказывал, одновременно, что множество меньшей размерности имеет в пространстве большей размерности нулевую меру(что, очевидно, верно) и, одновременно, что если монетка может выпасть ребром, то вероятность такого события - никак не равна нулю (что, по сути, является отрицанием предыдущего высказывания). И таких примеров "верю в А, верю в Б, но не знаю, что А противоречит Б" можно привести массу.
3. А ещё надо замечательная ситуация, когда "верю в А, верю в Б, но не верю в то, что А противоречит Б". Собственно, есть такая штука, как логическая петля. И очень большое число людей в эту петлю попадали.

И, да, я крайне поддерживаю ваше стремление формализовать человеческое мышление. Но прошу отдавать себе отчет, что любая полная и непротиворечивая бинарная, что бинарная, что просто дискретная машина - имеет свою область функционирования. То есть, свой класс алгоритмов, которые эта машина может воспроизводить. Можете обратиться к тезису Чёрча и почитать на эту тему подробнее)
Ну и соответственно призываю Вас обозначать высказывания, строгость которых вы не проверили досконально - как предположения)

В математике да, тут - нет.

Человек не верит в бога и не верит в его отсутствие, его просто не заботит этот вопрос, похуй ему.