Автор работы: Пользователь скрыл имя, 06 Ноября 2011 в 15:03, реферат
Математическая логика немало способствовала бурному развитию информационных технологий в XX веке, но из ее поля зрения выпало понятие "суждение", которое появилось в логике еще во времена Аристотеля и на котором, как на фундаменте, держится логическая основа естественного языка. Такое упущение отнюдь не способствовало развитию логической культуры общества и у многих даже породило иллюзию, что компьютеры способны мыслить не хуже самого человека.
Введение
1.Математическая логика и логика «здравого смысла»
2. Математические суждения и умозаключения
3.Математическая логика и «Здравый смысл» в XXI веке
4.Неестественная логика в основаниях математики
Заключение
Список используемой литературы