Modern problems of informatic

1. Основні досягнення:
2. Публікації o життя і діяльності персони:

Основні досягнення:

Чарльз Сандерс Пірс (Charles Sanders Peirce) - відомий американський математик, логік і філософ.

Він вніс великий внесок в логіку. Пірс радикально змінив і розширив Булеву алгебру. Одне з його вражаючих відкриттів в математиці (1880) - Булева алгебра може бути описана за допомогою однієї бінарної операції. У 80-х роках XIX століття Пірс зрозумів, що її можна використовувати в як моделі електричної мережі з перемикачами. За допомогою значення «істина / неправда» в Булевой алгебри можна було точно відобразити, як токпротекает через комплекс перемикачів. Іншими словами, логіка могла бути представлена ​​за допомогою електричної мережі. Це означили, що в принципі можливо створити електричні обчислювальну і логічну машини.

Уже в ХХ столітті Клод Шеннон (1938) і Віктор Шестаков (1941) показали застосування апарату математичної логіки і булевої алгебри для аналізу і синтезу релейно-контактних перемикачів схем, що лягло в основу конструювання цифрових обчислювальних машин.

Пірс розробив деякі ідеї в теорії пізнання, що склали ядро ​​вчення, яке згодом набуло популярність під ім'ям прагматизму.

Починаючи з глибокої давнини філософи незмінно виявляли інтерес до проблеми знаків. Йшлося при цьому майже виключно про мовні знаки, і вся проблема зводилася до питання про роль слів або імен в процесі пізнання і спілкування. Пірс, мабуть, першим став розглядати питання про знаковий характер мови як частина ширшої проблеми знаків взагалі, вивчення якої він зробив предметом особливої ​​науки - семіотики.

Пірс виховав ряд талановитих студентів за логікою. Серед них був Аллан Маркванд (1853-1924), який побудував електромеханічну логічну машину для розв'язання задач математичної логіки.

Пірс в 1887 році публікує статтю про принципи роботи логічних машин для Американського журналу психології.

Публікації o життя і діяльності персони:

1. Шилов В.В. Історія логічних машин // Журнал "Інформаційні технології" №6, 2004

Ключові терміни: логіка; логічна машина; історія ІТ; логічне моделювання;