Решающий вклад в возможность формальных преобразований логических выражений (формализации логических операций) внес …
|
Джордж Буль | ||
|
Алан Тьюринг | ||
|
Готфрид Лейбниц | ||
|
Герман Холлерит |
Решение:
Джордж Буль (1815–1864) – английский математик и логик. Профессор математики Королевского колледжа Корка (Англия). Один из предтеч математической логики.
Буль первым применил идеи символического метода к логике («Математический анализ логики», 1847). Он показал, что символика такого рода подчиняется тем же законам, что и алгебраическая, из чего следовало, что логические символы можно складывать, вычитать, умножать и даже делить. В такой символике высказывания могут быть сведены к форме уравнений, а заключение из двух посылок силлогизма – получено путем исключения среднего термина по обычным алгебраическим правилам. Еще более оригинальной и примечательной была часть его системы, где Буль показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путем чисто символических манипуляций.
Джордж Буль (1815–1864) – английский математик и логик. Профессор математики Королевского колледжа Корка (Англия). Один из предтеч математической логики.
Буль первым применил идеи символического метода к логике («Математический анализ логики», 1847). Он показал, что символика такого рода подчиняется тем же законам, что и алгебраическая, из чего следовало, что логические символы можно складывать, вычитать, умножать и даже делить. В такой символике высказывания могут быть сведены к форме уравнений, а заключение из двух посылок силлогизма – получено путем исключения среднего термина по обычным алгебраическим правилам. Еще более оригинальной и примечательной была часть его системы, где Буль показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путем чисто символических манипуляций.