C. 42 вместо абзаца: Position record needs only 4 letters at the highest levels. The positioning principle is inherent for analytic approach and for humanities it offers not less advantages, than for arithmetics. — следует читать: The object of a special science is created by its method, because it does not exist in nature “ready-to-use”. It turns true the Leibniz’s dream to make mathematics an example of the universal language. However, as Kant said, we should not be stuck at this stage. Metascience is based not on the unity of studied subjects (because there is no single science of bodies) but on universal symbols (due to single structure). Structuralism in literature was its forerunner at the beginning of the 20th century. ![]() Доктор философских наук (логика), кандидат технических наук, профессор кафедры высшей математики Московского государственного аграрного университета — МСХА имени К. А.Тимирязева, почетный работник высшего специального образования РФ, почетный работник МГАУ имени В. П. Горячкина, автор свыше 170 работ. Докторская диссертация (МГУ, 1989) посвящена решению проблемы Лейбница — арифметизации силлогистики. Новизна работы заключалась во введении логических векторов для представления булевых конституент. Предложенный метод минимизации булевых нормальных форм был реализован в системах автоматического управления. В числе других научных результатов — построение Универсальной матрицы комплементарности для генетического кода и психотипов, а также построение Белнаповой алгебры логики.
K. I. Bakhtiyarov The Doctor of Philosophy (Logic), Candidate of Technical Sciences, the professor of the higher mathematics in the department of Moscow State Agrarian University — RSAU named after K. A. Timiryazev, Honorary Worker of the higher vocational education of the Russian Federation, the Honorary Worker of MSAU named after V. P. Goryachkin, the author of more than 170 works. The doctoral dissertation (Moscow State University, 1989) is devoted to Leibniz's solution of the syllogistics arithmetization. Innovation was the introduction of logic vectors for representation of Boolean constituents. The offered method of minimization of Boolean normal forms was implemented in automatic control systems. His other scientific achievments include the creation of the Universal matrix of complementarity for a genetic code and psychological types, as well as the creation of Belnap’s logic algebra. |