Великие математики и их открытия
Доклад, 05 Июня 2013, автор: пользователь скрыл имя
Описание работы
После неудачи проекта «Универсальной характеристики» Лейбница прошло полтора века, прежде чем попытка создать алгебру логики повторилась. Но повторилась она на новой основе: концепция множества истинности позволила построить математическую логику как теорию классов, с теоретико-множественными операциями. Пионерами стали британские математики Август (Огастес) де Морган и Джордж Буль.