Результат интеллектуальной деятельности: Теория строк (слов). Недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов

С момента формулировки гипотезы NP ≠ P (1971 г.) прошло без малого полвека, со времени создания первой ЭВМ (1941 г) – почти 80 лет. Но математической теории (первого порядка) в том смысле, как понимал это Гильберт и другие логики первой половины 20 века – такой теории для изучения алгоритмов не было создано до сих пор. Понять, что нужной теории нет – было очень неожиданным открытием для меня. 
В частности, (частично) рекурсивные функции, на которых строится представимость алгоритмов в арифметике, не могут работать с входными данными частично – а легко построить алгоритм, который завершает свою работу, прочитав первый символ во входных данных, переданных ему для работы. А частично рекурсивная функция читает входные данные до конца. С арифметикой та же проблема. 
Поэтому я отложил вопрос о доказательстве NP ≠ P как менее приоритетный с точки зрения математики и занялся построением теории строк (слов). А это такая теории первого порядка, которая необходима для решения вопросов теории алгоритмов. 
В процессе построения теории строк выяснились некоторые интересные парадоксы и появилась возможность доказать, в частности, недостаточную выразительность арифметики для решения вопросов теории алгоритмов. И удалось это сделать как раз на базе построенной теории строк.