В конце 19 века "логика" перешла от философии к математике. Сто лет спустя у нас появилось множество формальных логик. Рассматривая ситуацию с информатикой, математическая дисциплина оказалась лишь временным убежищем для "логики". Ведь существует Доменная теория, конструктивная математическая теория, которая расширяет понятие вычисляемости до континуума и охватывает область всех возможных дедуктивных систем. Теория домена описывает пространство типов данных, которые компьютеры могут идеально вычислить, и вычисления в терминах этих типов...

Приветствую вас на моем канале. Меня зовут Дмитрий. Почему существует разделение на физиков (техников) и лириков (гуманитариев)? Дело в том, что мотивация у физиков и гуманитариев принципиально разная. Физики пытаются направить свою энергию на исследование и преобразование внешнего, материального мира, а гуманитарии заняты исследованием внутреннего интеллектуального, духовного мира человека и общества. Можно добавить, почти любое знание, любую сферу деятельности можно отнести либо к технической,...