Автор: Георгий Осипович Ефремов
Название: Математическая логика и машины. Новое в жизни, науке, технике
Издательство: М:, Знание
Год: 1962
Страниц:
Формат: DJVU
Размер: 1,3 МБ
Логика — наука о законах человеческого мышления — зародилась еще в античной древности. Но не более ста лет назад она стала точной наукой. Новая наука получила название математической логики, изучающей математические доказательства. В первый период развития она занималась применением математического, прежде всего алгебраического, метода для исследования логических связей. Первую попытку распространить буквенное исчисление на логику сделал Лейбниц. Однако новый логический аппарат тогда не находил применения в науке и долго не получал развития. Попытки введения математической символики в логику возобновляются только в XIX веке. Следует отметить интересную работу Джорджа Буля «Исследование законов мысли», опубликованную в Лондоне в 1854 году, в которой автор применяет к проблемам формальной логики операции математического типа. Это важное событие на пути создания «алгебры логики». Позднее методы Буля уточняются и получают дальнейшее развитие в работах ряда крупных математиков. Значительный вклад в развитие алгебры логики внес русский математик П. С. Порецкий, завершивший своими исследованиями первый период развития математической логики.