Диссертации связанные с чистым программированием. Возможно ли такое? Опции

[EUrry]

ПРЕАМБУЛА
Задумался тут. Развелось в наше время так называемых программистов (как большинство из них думают), хотя на деле по большей части это "специалисты" недалеко ушедшие от машин - для реализации прикладной , скажем, технической задачи к ним нужно приставить "няньку в теме", которая разжует алгоритм, который надо тупо закодить (на форуме это не раз уже обсуждалось). Естественно, при поиске ошибок начинается муторная работа общения на разных языках "няньки" и "программиста". ИМХО, проще и эффективнее "няньке в теме" научиться программировать, чем "программисту" въехать в тему, т. к. многие из них просто на корню пресекают данный совет и искренне верят, нарекая себя громким словом - ПРОГРАММИСТ. Хотя у меня имеется по этому поводу несколько иное скромное мнение...

Так вот собственно задумчивость моя.
Сам не программист, поэтому хочу спросить у сообщества - существуют ли какие-то области программирования, в которых можно задаться НАУЧНОЙ работой именно с точки зрения, например, методов программирования. Или же все основные принципы давно сформулированы, языки созданы и всё это является ИНСТРУМЕНТОМ при решении прикладных задач, который может просто как-то модернизироваться, не имея под собой истинно научных исследований. Или же в данной области есть чем заняться и с точки зрения науки? Просто наблюдаю такую картину, что некоторые "программисты" думают, что занимаются какой-то близкой к научной работой, при всем при этом умея только практически кодить разжеванное "нянькой в теме" алгоритмизированное решение задачи и ни в какую не хотящих хотя бы на качественном уровне вникать в суть задачи, что намного бы повысило эффективность отладки программы.

[EUrry]

Я бы даже то что тут называют математикой отнес бы к программированию.
Ну никогда бы так называемый "технарь-математик" не придумал бы алгоритм CORDIC. Просто потому что технари совершенно не в курсе ограничений вычислительных платформ и не могут их учесть.
Более того технари не в состоянии предоставить алгоритм в истинном понимании этого слова.

"технарь-математик"- это кто такой???
А вообще, как я понимаю, Вы выделяете программистов в отдельную группу? Т. е. программисты не технари? Возможно, доля истины в этом и есть, но по-моему пока всё-таки они близки к технарям.

Аха, пошел программист к математику, и сказал, разработай ка мне алгоритм, скажем, фильтра Батерворта для чисел с фиксированной запятой в формате 1:23 и чтобы выполнялся не дольше 0,5 мкс на частоте 4 МГц на микроконтроллере ATtiny. Потом за пять минут написал программу, и отдал верификатору на проверку. Внимание вопрос, зачем нужен такой "программист"? И посмотрите самый первый пост, об этом автор темы и повествует.

Я спрашивал о научности именно программирования (хотя так тупо и спорим без его определения). И описал случай инженерной работы и возникающих при этом проблем в связи с абсолютной неосведомленностью программиста в решаемой задаче. Вопрос был в том, что некоторые такие "программисты" искренне думают, что занимаются научной работой.

Об истории вопрос не стоит, есть человек и он занят наукой называемой "программирование"
Но если вернуться к сценарию с которого началась ветка, то очевидно что "технарь" идет к программисту именно за такой наукой.
Поскольку не владея программированием он не может владеть и вычислительными алгоритмами и той математикой.

Извините, но математикой то он как раз и владеет, но вот в уме или карандашом на бумаге эту математику уже не реализуешь. Требуется карандаш с бумагой другого уровня - ЭВМ. Но для того, чтобы овладеть этими новыми карандашом с бумагой уже требуются довольно значительные затраты времени, сравнимые с занятиями по основному направлению, потому и произошло отпочкование программистов от специалистов иных областей техники, науки,...

А программист - может пыхтеть над оптимизацией месяц, и ничего не решить, всего лишь из-за какой-то мелочи, что например вместо одного матпреобразования можно было применить другое, и его результат обработать третьим, не меняя сути происходящего, а изменив метод решения, о котором он мог не знать вообще.

Именно аналогичный этому пример я и приводил.

Медицина тоже инструмент для излечения людей. Но с другой стороны сколько исследований для усовершенствования этого инструмента. У вас повернется назвать медицину не наукой?

Медицина - отдельная песня. Это наука изначально экспериментальная и исследования там проводятся в большинстве своем экспериментальные, хотя и теоретические направления в настоящее время активно развиваются. ИМХО, не стоит сюда мешать медицину.

и понимаем что программирование - математическая наука. Все, вопрос надеюсь закрыт?

Мы не увидели определения программирования, поэтому все наши споры бесполезны.

Здесь математика тоже ремесло. Ничего научного в разработке математического алгоритма нет.

На этом этапе может возникнуть исследование, а на этапе программирования (если понимать под ним просто описание) такое невозможно.

А в книгах которые вы назвали гарантирую будет все забито текстами программ (хоть и на виртуальных языках), а не формулами классической математики.

А Вы не думали о том, что формула это по сути и есть программа какого-то процесса? А виртуальный язык всё-равно сведется к математике.

Хорошо, но как называется тогда эта наука?

Вот некоторые аспирантские специальности:
05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
05.13.15 Вычислительные машины, комплексы и компьютерные сети
05.13.17 Теоретические основы информатики (кстати о теории)
05.13.18 Математическое моделирование, численные методы и комплексы программ
Как можно заметить, Российская Академия Наук, все же считает программирование наукой, причем наукой тесно связанной с математикой.

А где Вы нашли там программирование? Здесь именно говорится о реализации задач программирования - математической, аппаратной...

Резюмируя, программирование - это процесс описания уже известного языком, понятным исполнителю (ЭВМ), не вносящий ничего нового и неизвестного в человеческое знание. Реализация же программирования (создание языков, например) - область, в которой возможны и необходимы исследования (соответственно есть почва для диссертаций) для оптимизации процесса программирования, выполнения, отладки программ и т. д.