Хочу уточнить по поводу ценности логики и выступить в поддержку "вайб-математики".

Аналогия с программированием компьютеров может быть высказана следующая: логика -- это создание операционных систем (в принципе, начиная с ассемблера до настройки оконного менеджера); вайб-математика -- это написание рабочих программ. Зачастую эти две области связаны и в каких-то местах идентичны, но у них разное мотивирование. Операционные системы создаются для того, чтобы запускать на них программы -- формальные системы дедукции создаются для того, чтобы формулироваь в них теоремы. Программы реализуются внутри операционной системы, но они самоценны, и если что их можно переписать под другую ОС -- точно так же с математическими теориями.

Логика -- важнейшая часть математики. Но операционные системы без интересных программ не нужны (есть много примеров таких ОС!). Кроме того, во многих задачах полезны минималистичные операционные системы, и на какие-то баги операционных систем можно не обращать внимания. Усложнение структуры логики позволяет удобно работать с трудными математическими теориями, но разрабатывать сверхмудрённую операционную систему без прямой необходимости не нужно и вредно.

И ещё, компьютерные алгоритмы тоже изначально пишутся на естественном языке!