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

На протяжении столетий человеческая мысль стремилась к идеалу чистоты, непротиворечивости и универсальности. В математике и информатике этот идеал нашел свое воплощение в формальной логике мощнейшем инструменте, лежащем в основе всей цифровой цивилизации. Однако по мере того, как мы пытаемся применить эту логику для моделирования реального мира мира, полного противоречий, нелинейных процессов и человеческой субъективности, ее эффективность начинает давать сбои. Почему системы, безупречные в своей...