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

Сегодня хочу поделиться радостью и свободой, которые возникают от применения науки всех наук — формальной логики. Есть множество методов создания изобретений. Каждый из них в чём-то превосходит остальные, а в чём-то им уступает. Но есть знания, которые универсальны, которые используются везде и во всём, в том числе с их помощью можно изобретать и творить вообще. К формальной логике сложилось ошибочное отношение, будто это правильные знания о том, как устроен мир или знания как надо думать и как не надо думать или что в мире правда и что ложь...