Милославов А.С.|Ч_2. От перфокарт к Цифровым Технологиям. Идея автоматизировать математику. Логика.

Канал «Научная Тематика» в соцсетях: Телеграм • ВК • Дзен • Rutube • Донаты: Поддержать канал через Boosty • Поддержать проект ВКонтакте • ------------------------------------------------------------------------------- База для создания цифровых ПК. Опыт кодирования информации. Перфокарты и станки для кодированию. Точка и тире для кодирования. Шеннон и Шестаков. Математический аппарат булевой алгебры для кодирования релейных вычислительных машин. Идея автоматизации вычислений. Арифмометр Лейбница. Табулятор Холлерита - устройство для переписи населения. Прародитель IBM. Дифференциальный анализатор для решения дифференциальных уравнений. Логика. От Аристотеля до Гильберта. Развитие мат аппарата. Гильберт. Понятие объективного доказательства. Что такое доказательство? Как искать доказательство? Доказательство - набор формул записанных на определенном языке. Логика - это этап развития языков программирования. Гильберт. Проблема разрешимости. Гипотеза Гольбаха. Поиск математиками ответа на проблему разрешимости. Алгоритм. Аллан Тьюринга. Аппарат машин Тьюринга , аппарат вычислительных функций. Аппарат Тьюринга. Цифровая революция начинается с того, что из военных стен в университеты попадают первые вычислительные машины. Машины и решение реальных практических задач. Ванневар Буш. “Как мы можем мыслить (думать)? Гипертекст. Идеи развития информационных технологий. Принципы организации информации, которые впоследствии получили название гипертекста. Период конец1940 - начало1960. Формирование основных тенденций развития информатики вплоть до настоящего момента. Например, идея гипертекста. В этот период ещё нет коммерциализации, работа протекает в университетах. Коммерциализация. Общественная дискуссия. Тьюринг, Винер, Колмогоров, Нейман, Ляпунов… Начало1950. ПК - не только вычислительное устройство. Новая роль ПК. Обработка информации. Новые задачи ПК. Новое управленческое мышление. Появление термина искусственный интеллект и понятие “думающего компьютера”. Идя продлённого образования, менять сферу деятельности в зависимости от запросов рынка труда. Джей Форрестер. Формирование необходимости в ПК у максимального числа людей. 1957г. Дойти до самых отдаленных участков страны и живущих там людей. 1957г. “Дело было в Пеньковые”. Идея передового сельского хозяйства будущего. Эдмунд Каллис Беркли. Постановка вопроса: “Могут ли машины мыслить?” Издание журналов. Статьи, темы, научные образы и лексика. Компьютеры и искусство.. Морис Уилкс. Специфика развития computer science.