Лобанов Владимир Иванович, г. Москва,
вед.научный сотрудник ФГУП «ЦНИИ «Комета»
Математическая логика в информатике
(Букварь математической логики).
Аннотация
Данная работа в популярной форме знакомит читателей с наиболее значимыми разделами математической логики, которая опровергает многие постулаты классической логики, являясь на сегодня единственной истинно математической логикой. Брошюра рассчитана на школьных преподавателей математики и информатики, но может быть освоена и школьниками 5-7-ых классов. Брошюра весьма полезна преподавателям и студентам вузов. За цикл работ по матлогике автор был избран Американским Биографическим институтом Человеком Года-2011.
Предисловие
Знает ли хоть кто-нибудь математическую логику? Вы сами ответите на этот вопрос, пройдя тестирование по следующему вопроснику.
Вопросник для математика и логика.
- 1. Как работать с картой Карно на 8 и более переменных?
- 2. Что такое метод обобщённых кодов Мавренкова?
- 3. Что можно вычислить с помощью кванторного исчисления?
- 4. Алгебра множеств и алгебра логики. Назовите различия.
- 5. Логика предикатов и логика суждений. В чём разница?
- 6. Физический смысл и вывод формулы импликации.
- 7. Нужны ли фигуры и модусы Аристотеля?
- 8. Правильны ли правила посылок в силлогистике?
- 9. Как выглядят аналитические представления для Axy, Exy и Ixy?
- 10. В чём смысл логики П.С. Порецкого?
- 11. В чём главное достижение логики Л. Кэрролла?
- 12. Что такое вероятностная логика?
Ответы на эти вопросы вы найдёте в предлагаемой работе, а также на моём сайте http://logicrus.ru или на сайте РГБ http://www.rsl.ru . На этих же сайтах вы сможете прочесть основополагающую работу П. С. Порецкого.
Преподавание логики в русской школе имеет достаточно давние традиции. Этот предмет в качестве основного впервые ввёл в гимназиях и Академии великий русский учёный М.В. Ломоносов. С тех пор логику в обязательном порядке изучали в гимназиях России и по указанию Сталина в 1946 – 1957 гг. (после смерти Сталина с 1953г. по 1957г. – по «инерции») в школах СССР. Причём в дореволюционной гимназии на логику отводилось вдвое больше времени, чем на математику. А русские математики были, есть и, я надеюсь, будут сильнейшими математиками в мире. Но для этого нужно восстановить старую русскую математическую школу, уничтоженную академиком Колмогоровым и его последователями. Для начала вернуть в среднюю школу учебники выдающегося математика и педагога Киселёва Андрея Петровича. Затем следует возродить преподавание логики, начиная с четвёртого класса. При этом нужно иметь в виду, что математическая логика является фундаментом искусственного интеллекта (ИИ), стратегического направления науки 21-го века. К сожалению, математическую логику в объёме классической преподают невежественно даже в ведущих вузах России: МГТУ, МФТИ, МГУ. Во всяком случае, Порецкого П.С., который создал истинно математическую логику в 1884 году, там не знают, т.е. его работ не понял ни один математик мира. Это свидетельство невежества, безграмотности и бестолковости. Получается, что мы, русские – иваны, не помнящие родства. Россия может и должна гордиться Порецким, решившим проблему, с которой всё человечество не справилось за 25 веков. Поскольку новая матлогика опирается на работы Давыдова И.И.(1794-1863),Владиславлева М.И.(1840-1890), Порецкого П.С.(1846-1907), Введенского А.И.(1856-1925), Лосского Н.О.(1870-1965), Поварнина С.И.(1870-1952), Васильева Н.А.(1880-1940), Брусенцова Н.П., Кузичева А.С. и др. русских учёных, то автор назвал её Русской логикой(РЛ).