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