1.6.Начало математической логики.Математическая логика и теория алгоритмов.

После своего зарождения большей частью логика изучалась неформально, т. е. без использования символов вместо слов. Но в конце XIX столетия математики развили символическую логику, в которой вычисляемые символы заменили слова и утверждения. Три ключевых вклада в символическую логику сделали Джордж Буль (1815– 1864 гг.) — английский математик и логик, Георг Кантор (1845–1918 гг.) — немецкий математик и Готлоб Фреге (1848–1925 гг.) — немецкий логик, математик и философ. Весь материал взят: