Без заголовка

осилил несмотрячто многа букав. патамучто интересно. давно с интересом этот журнал читаю. не владею знанием обсуждаемого материала, и особо к этому не стремлюсь из-за (спорного) убеждения, что в поверхностном понимании есть плюсы. меня интересует одна мысль, которой я здесь не нахожу. (в моих каментах здесь она повсеместна). есть ли какие-то направления вот в такую сторону? щас я попытаюсь к мысли подвести. когда-то люди сделали большой шаг, поняв что [1,2,много] ("бу", "бу-бу", "буу!") применимо к любым вещам - хоть к коровам, хоть к баранам или хоть даже к людям. эта модель развивалась и в какой-то момент был сделан следующий большой шаг - возникло представление о числах, которые можно исследовать сами по себе. развивались языки, на которых проводились исследования. а."три, будучи повторённым два раза, будет то же что два, повторённое трижды" б."3*2=2*3" (просьба к качеству примера слишком всерьёз не относиться - находу придуман) мне кажется, с "языком" происходит что-то сродни пониманию "числа" как самомтоятельной категории. акцент делаю на сопоставлении масштабов 2х событий. никаких попыток "язык" так осмыслить долго не происходило. сейчас это есть, но происходит сродни примеру (а), как-то "рассказывательно". следующее утверждение специально ярко напишу. ваша мысль "языков должно быть много" я щитаю сродни системе ["бу", "бубу", "буу!"]. в значительной степени ускользает качественная сторона вопроса. или вопрос о качестве языков даже вообще отсутствует. там уже задал вопрос, щас сформулирую точнее - есть ли какое-то направление в сторону "исчисления языков", абсолютно любых языков? чтобы можно было вполне формально говорить о качественных сторонах. направление, где например центральной задачей можно было бы поставить вопрос "нахождения"/"вычисления" требуемого языка средствами применения к требуемым условиям каких-либо языков. понятия эффективности, оптимальности языка. "язык над языками" как "оператор над пространством" ("функция над числами"). ((а) и (б) - это "точки" в некотором (с). (а)+(б)=(в), в смысле (+), (=) из (д), "((а)+(б)=(в))" из (у)...) буду очень благодарен за какие-нибудь куда-нибудь наводки. или за аргументированное объяснение что я тупой и нужно знать обсуждаемый материал :).