Искусственный интеллект

Автор искренне благодарен всем, кто явно или неявно содействует реализации программы А.Н. Колмогорова по основаниям математики, особенно Юрию Васильевичу Прохорову, представившему в ДАН статьи [7, 20, 21], Анатолию Тимофеевичу Фоменко, опубликовавшему мою работу [6], Сергею Ивановичу Адяну, непонимание которым статьи [7] весьма помогло автору выделить более явно теоретико-множественный колмогоровский путь в основаниях современной науки, а также всем сотрудникам механико-математического и философского факультетов МГУ и других научных организаций России и зарубежья, обсуждавшим мои результаты.

ЛИТЕРАТУРА

1. КузичееА.С. Паранспротиворечивость интеллектуальных систем компьютерных логик. //Сб. «Технология проектирования интеллектуальных систем», М., МДНТП, 1989, с. 132-139.

2. Кузичее А.С. О роли теорем Гёделя о неполноте в основаниях наук. //«Философия и будущее цивилизации. Тезисы докладов и выступлений IV Российского философского конгресса», в 5 тг., Том 1, М, Современные тетради, 2005, с. 726-727.

3. Вейль Г. Математика и логика (1946). //Вейль Г. Избранные труды. Математика. Теоретическая физика. М., Наука, 1984, с. 328-340.

4. Рид К Гильберт. С приложением обзора Германа Вейля математических трудов Гильберга (1970). М., Наука, 1977,368 с.

5. Крайзель Г. Биография Курта Гёделя. Успехи математических наук (УМН), 1988, март - апрель, т.43, вып.2 (260), с. 175 -216; май - июнь, т.43, вып.З (261), с.203 - 238.

6. КузичееА.С. О негёделевской перестройке арифметики и других аксиоматических теорий первого порядка по Колмогорову. Доказательство их непротиворечивости. М., Изд-во механико-математического ф-та МГУ, 2004,36 с.

7. Кузичее АС. Колмогоровская редукция и непротиворечивость. ДАН, 1999, т. 367, №2, с. 161-163.

8. Кузичее А.С. Арифметические теории, строящиеся на основе /.-конверсии. Доклады Академии наук (ДАН), 1981, т.261, № 4, с.792-796.

9. КузичееА.С. Арифметически непротиворечивые /.-теории. ДАН, 1982, т. 262, №4, с.795-799.

10. Кузичее А.С. Аксиоматические теории в комбинаторно полных системах.

ДАН, 1982, т. 264, № 3, с.538-542.

11. Кузичее А.С. О представлении теорий первого порядка в бесгиповых комбинаторно полных системах. ДАН, 1982, т.266, № 1, с.23-27.

12. Кузичее А.С. Арифметически непротиворечивые /.-теории бесгиповой логики. ДАН, 1983, т.268, № 2, с.288-292.

13. Кузичее А.С. Теория множеств в бестиповых комбинаторно полных системах. «Вестник Московского университета», серия «матем., механ.», 1983, № 3, с.36-42.

14. КузичееА.С. Непротиворечивость системыNF Куайна. ДАН, 1983, т. 270, № 3, с.537-541.

15. Кузичее А.С. Арифметическая полнота бестиповой логики. ДАН, 1983, т. 270, №6, с.1323-1327.

16. Кузичее А.С. Об одной арифметически непротиворечивой /.-теории. Zeitschrift fur Mathematishe Logik und Grundlagen der Mathematik, 1983, Bd. 29, H. 5, s. 385—416.

17. Кузичее А.С. Теорема о непротиворечивости системы ZF Цермело-Френ-келя. ДАН, 1983, т.273, № 5, с. 1053-1057.

18. Колмогоров А.Н. О принципе Tertium non datur // Математический сборник, 1925, т. 32, №4, с. 646-667.

19. Колмогоров АЛ. Математика и механика. М., Наука, 1985,470 с.

20. КузичееА.С. Вариант формализации канторовской теории множеств // ДАН, 1999, т. 369, № 6, с. 740-742.

21. КузичееА.С. Решение проблемы Гильберта по Колмогорову // ДАН, 2000, т. 371, №3, с. 303-306.

22. Рыбников КА. История математики. М, Изд-во МГУ, 1994,494 с.

23. Leibniz G. W. Dissertalio de arte combinaloria (1666). Die philosophishe Schriflen Beilin, 1880, Bd. 4, s. 27-102.

24. Кузичев А.С. Теорема о сечении для 91-теорий в комбинаторно полных системах//Вестник МГУ, Сер.1 Математика, механика, 1977,№ 1, с. 62-67.

25. Kuzichev АХ. Solution of Hilbert Central Problem Following Kolmogorov // Dok-lady Mathematics. Vol. 61, № 2,2000, pp. 212-215.

26. Hatcher William S. The Logical Foundations of Mathematics. Oxford., Peigamon Press. 1982,X+320pp.

27. Zakharov V.K., Mikhalev A.V. Mathematical systems // Proceedings of the International Algebraic Conference. Berlin: Walter De Gmyter Publishers. 2000, pp. 370-383.

28. Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика М., Мир, 1985,606 с.

29. Вольфенгаген В.Э. Методы и средства вычислений с объектами. Апплика-тивные вычислительные системы. М., Центр ЮрИнфоР, 2004, XVI+789 с.

30. Rezus A. A Bibliography of Lambda-Calculi, Combinatory Logics and Related Topics. Amsterdam, 1982,86 p.

31. HindleyJR, Cardone F. History of L-Calculus and Combinatory Logic. Preprint Abertawe, 2005,96 p.

32. Генцен Г. Исследования логических выводов. В сб. «Математическая теория логического вывода», М., Наука, 1967, с. 9-76.

33. Клини С.К. Введение в \гстаматематику. М., Изд-во иностранной литературы, 1957,526 с.

34. ЕриюеЮ.Л, Палютин ЕА. Математическая логика М, Наука, 1987,336 с.

35. Яцук В.Я. Аппликативная компьютерная логика: неограниченные возможности и возможные ограничения // C-Пб, Вестник Петровской Академии, 2005, №1, с. 29-35.

Мотивы поведения человека в социально-экономической среде занимали умы величайших философов и ученых на продолжении всей истории человечества.

Согласно классической теории поведения потребителя, принимаемые им решения, исходят из соображений полной рациональности. Т.е. предполагается, что человек всегда выбирает наилучшее действие с целью максимизации полезности от приобретаемых им благ или его поведение в плане поиска работы оптимально с точки зрения будущего дохода. При этом также предполагается, что человек знает все возможности выбора и осведомлен о последствиях каждой альтернативы.

Нобелевский лауреат Герберт Саймон (Саймон (2000)) подверг резкой критике данный подход с его «абсурдно всеведущей рациональностью» и показал, что такая модель поведения человека далека от реальности.

Основной аргумент Г. Саймона заключался в том, что в основе поведения человека как работника лежит не только желание получить максимальный денежный доход, но еще и моральное удовлетворение, связанное с удовлетворением его социальных потребностей или с реализацией творческих возможностей.

Несмотря на то, что такое понятие как «моральное удовлетворение» не рассматривается в классической экономической теории, в психологии оно имеет первостепенное значение. В большинстве психологических теорий, основным мотивом человека, побуждающим его к действиям, является неудовлетворенность стремлений. Причем уровень стремлений непостоянен, а зависит от жизненного опыта, в связи с чем, достижение удовлетворенности является итерационным и непрекра-щающимся процессом.