Математическая логика, как часть кибернетики

В основе развития теории дискретных преобразователей информации можно выделить два ключевых источника идей и проблем. Во-первых, задача построения оснований математики. Как было сказано, еще в середине XIX века Дж. Буль заложил базу современной математический логики. В 20-е гг. ХХ века были заложены основы современной теории алгоритмов. В 1934 г.

К. Гёдель доказал ограниченность возможностей замкнутых познающих систем. В 1936 г. А. Тьюринг описал гипотетический универсальный преобразователь дискретной информации, получивший впоследствии название машины Тьюринга. Все вышеперечисленные результаты, которые были получены в рамках чистой математики вошли в состав математической логики, оказали и продолжают воздействовать на развитие основных идей кибернетики.

На практике множество элементарных логических операций является обязательным элементом набора инструкций всех современных микропроцессоров, и, следовательно, включаются в языки программирования. Это является одним из важнейших практических приложений методов математической логики, изучаемых в современной кибернетике.

В настоящее время математическая логика преобразуется в математическую кибернетику, под которой понимают науку об управлении, связи и переработке информации. В математической кибернетике также активно используется достаточно широкий инструментарий математической логики.

Таким образом, резюмируя, можно отметить, что математическая логика лежит в основе развития кибернетики. При этом перспективы применения математической логики в различных научных направлениях, в том числе и в математической кибернетике, достаточно широки и значимы. На базе математической логики в настоящее время бурно развиваются приложения кибернетики к различным системам обработки информации: теории релейно-контактных схем, теории синтеза электронных вычислительных и управляющих схем, теории программирования для электронных автоматических счетных машин и др.

Библиографический список Игошин В. И Математическая логика. — М.: Инфра-М, 2012. — 316 с.

Черч А.

Введение

в математическую логику. — М.: Инфра-М, 2013. — 210 с.

www.letopis.info

www.otmml.narod.ru