Что такое информация?

Стремление к строгости математических рассуждений привело к появлению математической логики – Дж. Буль (1815–1864), О. Морган (1806–1871), Э. Пост (1897–1954), И.И. Жегалкин (1869–1947), К. Гедель (1906–1978).

Наибольшего развития дискретная математика достигла в связи с запросами практики, приведшими к появлению новых наук: кибернетики, теории кодирования, теории алгоритмов, теории автоматов и др. – Н. Винер (1894–1964), К. Шеннон (1916–1989), А. Черч (1903–1992), А. Тьюринг (1912–1954). Наконец, появился запрос и на создание теории информации.

Само деление математики на непрерывную и дискретную достаточно условно, так как в настоящее время происходит интенсивный обмен идей и методов между ними. Правильней было бы говорить о становлении в XX веке новой современной математики, существенно отличающейся от классической математики XVII–XIX вв., хотя, к сожалению, еще большинство школ и вузов придерживаются методики преподавания математики по канонам, не изменившимся со времен Архимеда.

В XX веке появились новые направления в науке, требующие своих специфических математических теорий, такие, как информатика, программирование, вычислительные методы с применением ЭВМ. От физики поступил заказ на развитие и обоснование суперструнных теорий, где пришлось отказаться от основного понятия классической физики и математики – понятия математической точки. Можно сказать, что на рубеже XXI века математика, уже вместе с физикой, переживает очередной острейший кризис, совпадающий с кризисом мировоззрения и самого человечества.

Первичной основой современной математики служит теория множеств. Понятие множества, строго говоря, не определяется. Приближенно множеством можно считать любое собрание объектов, мыслимое как единое целое.

Категории – это совокупность однотипных математических объектов и морфизмов между этими объектами. Теория категорий играет в математике роль параллельную и дополнительную к роли теории множеств.

Топология – раздел математики, имеющий своим предназначением выяснение и исследование идеи непрерывности.

Алгебраические системы – это множество с определенными на нем операциями и отношениями.