Логика врядли бывает запредельной, скорее просто или бывает, или как у блондинко )
Познания матана, конечно, приветствуются, но в зависимости от направленности программиста еще не помешает и теория чисел, и функциональный анализ, и геометрия, и топология и так далее.
А еще программисты немного писатели.
Так что "Какого быть программистом" и "Каково быть программистом" - вопросы, на которые надо искать два отдельных ответа )