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

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