Логика - это математика или философия?
В конце 19 века "логика" перешла от философии к математике. Сто лет спустя у нас появилось множество формальных логик. Рассматривая ситуацию с информатикой, математическая дисциплина оказалась лишь временным убежищем для "логики". Ведь существует Доменная теория, конструктивная математическая теория, которая расширяет понятие вычисляемости до континуума и охватывает область всех возможных дедуктивных систем. Теория домена описывает пространство типов данных, которые компьютеры могут идеально вычислить, и вычисления в терминах этих типов...
15,4 тыс читали · 4 дня назад
Где будет конец у таблицы Менделеева?
Наверное и без меня вы уже знаете, что такое таблица Менделеева. Потому начинать статью со стандартной подводки из серии, что это "самая лучшая в мире таблица" я не стану. Давайте лучше сразу перейдём к делу. В таблице Менделеева есть все известные сегодня элементы. Она упорядочивает их по атомному номеру и химическим свойствам, создавая некоторый удобный атлас. А как быть с неизвестными элементами? И сколько их вообще может быть? По всей логике они должны появиться или до первого элемента в таблице (что неизбежно подводит нас к элементу номер 0 или эфиру) или после самого крайнего...