Вместо введения

Здравствуйте, уважаемый посетитель !
Честно говоря, это мой первый опыт блоговедения. Не обессудьте, если что не так - постараюсь быть внимательным к содержательным замечаниям и конструктивной критике и по-возможности быстро исправлять ляпы и устранять ошибки. Надеюсь, что блог окажется удачным, неутомительным, продуктивным и, не в последнюю очередь, занимательным. Да-да, еще и занимательным, поскольку вокруг тем, которые я хочу предложить Вашему вниманию, незаслуженно сложился ореол избыточной абстрактности, оторванности от жизни и, как следствие, едва ли не бесполезности.
Чтобы не возвращаться к этому, позвольте сразу представиться: меня зовут Алексеем. Область интересов - математическая логика, основания математики и программирование. Если чуть более конкретно (но без излишних и утомительных подробностей, неуместных в этом "введении") это вопросы вычислимости и всякие "штучки", вроде машин Тьюринга, Поста, рекурсивных функций и тому подобные вопросы.
Причем тут программирование ? Честно говоря, почти и не причем. Разве что, во-первых, это все-таки "близкородственные" направления (с той существенной разницей, что логика, основания математики и вычислимость направления больше теоретические, а программирование - преимущественно прикладное) и, во-вторых, надо же как-то зарабатывать на хлеб насущный и если уж приходится заниматься программированием, то, по крайней мере, не испытывая известного омерзения от занятий этим делом. Это, конечно, шутка!
Затевая этот блог мне меньше всего хочется, чтобы он превратился в "помойку", в какую рано или поздно превращаются почти все форумы сходного направления (особенно это касается чисто программистских форумов). Религиозные споры (Windows против Linux, C++ против Java и т.п.) надоели и опротивели. Прежде чем дать автору вопроса содержательный ответ, его (т.е. автора) почти непременно оскорбят, отошлют к RTFM, усомнятся в умственных способностях, сексуальной ориентации и профессиональной пригодности. И даже после всего этого отнюдь не факт, что ответ будет получен. Надеюсь, читатели и участники обсуждений в этом блоге (если он состоится и к чему я постараюсь приложить все силы) обладают достаточным культурным уровнем и не опустятся до описанной выше мерзости.
Засим, позвольте на время откланяться. Чтобы не оставлять в неопределенности потенциальных собеседников блога, я хочу обозначить следующую тему, которая, на мой взгляд, лежит на стыке теории и практики - минимизация конструкций языков программирования.
Спасибо, что прочли это несколько затянувшееся введение и до встречи !!! Удачи всем