Презентация на тему: История математической логики
История математической логики
ЭТАПЫ РАЗВИТИЯ ЛОГИКИ АристотельРене ДекартЛейбницДжордж БульПоследующее развитие логики
АРИСТОТЕЛЬ (384-322 ГГ. ДО Н.Э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ КНИГИ: «КАТЕГОРИИ» «ПЕРВАЯ АНАЛИТИКА» «ВТОРАЯ АНАЛИТИКА»ИССЛЕДОВАЛ РАЗЛИЧНЫЕ ФОРМЫ РАССУЖДЕНИЙ , ВВЕЛ ПОНЯТИЕ СИЛЛОГИЗМА
Декарт Рене (1596-1650, фр. Философ, математик) РЕКОМЕНДОВАЛ В ЛОГИКЕ ИСПОЛЬЗОВАТЬ МАТЕМАТИЧЕСКИЕ МЕТОДЫ
Лейбниц Готфрид Вильгельм (1646-1716, нем. ученый и математик) ПРЕДЛОЖИЛ ИСПОЛЬЗОВАТЬ В ЛОГИКЕ МАТЕМАТИЧЕСКУЮ СИМВОЛИКУ И ВПЕРВЫЕ ВЫСКАЗАЛ МЫСЛЬ О ВОЗМОЖНОСТИ ПРИМЕНЕНИЯ В НЕЙ ДВОИЧНОЙ СИСТЕМЫ СЧИСЛЕНИЯ.
Джордж Буль (1815-1864) - основоположник математической логики СОЗДАЛ БУЛЕВУ АЛГЕБРУ - ОДИН ИЗ РАЗДЕЛОВ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. РАЗРАБОТАЛ СВОЙ АЛФАВИТ, ОРФОГРАИЮ И ГРАММАТИКУ
ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ АВГУСТ ДЕ МОРГАН (1806 - 1871) – ВЫВЕЛ ЗАКОНЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ УИЛЬЯМ СТЕНЛИ ДЖЕВОНС (1835 - 1882) - ПОСТРОИЛ «ЛОГИЧЕСКИЕ СЧЕТЫ» И ЛОГИЧЕСКУЮ МАШИНУ ПЛАТОН СЕРГЕЕВИЧ ПОРЕЦКИЙ (1846-1907) – РУССКИЙ ЛОГИК, ОДИН ИЗ СОЗДАТЕЛЕЙ МЕТОДОВ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ЧАРЛЗ САНДЕРС ПИРС (1839-1914) – АМЕРИКАНСКИЙ ЛОГИК, РОДОНАЧАЛЬНИК ПРАГМАТИЗМА КЛОД ШЕННОН (1938-2001) – ОПИСАНИЕ РЕЛЕЙНО-КОНТАКТНЫХ И ЭЛЕКТРОННО-ЛАМПОВЫХ СХЕМ.
