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

[EUrry]

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

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

[EUrry]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[AlexandrY]

Вы безосновательно навязываете свое определение области в которой сами признали, что не разбираетесь.

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

Тут выше было приведено достаточное количество примеров научности проблем в программировании.
А то что программисты изменили мир это и так всем ясно.
Информационные технологии рождаются исключительно благодаря программистам.
Да программисты умные и умеют эксплуатировать все остальные науки, но количество всегда переходит в качество, как говорили диалектики.
Ну так вот программирование уже нельзя разделить на математику и психологию или там пидагогику
Программирование это конкретное искусство и наука в общем случае.

[SM]

Тут выше было приведено достаточное количество примеров научности проблем в программировании.

Наличие научных проблем в ремесле не делает ремесло наукой У того же токаря тоже есть куча научных проблем в его токарном деле, и их успешно решают ученые-металловеды. Так же и тут, в программировании у программиста есть куча научных проблем, и их решают ученые-математики, кибернетики...

[AlexandrY]

Опосредовано проблемы делают любую деятельность наукой.

Наличие научных проблем в ремесле не делает ремесло наукой У того же токаря тоже есть куча научных проблем в его токарном деле, и их успешно решают ученые-металловеды. Так же и тут, в программировании у программиста есть куча научных проблем, и их решают ученые-математики, кибернетики...

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

Вот смотрим например свежую вакансию от Самсунга:
http://jobview.monster.com/GetJob.aspx?JobID=85751588

Что мы видим. Для программирования жалких мабил им нужен программист ученый(Doctor of Philosophy (Ph.D.))!
Я более чем уверен что недостатка там в кандидатах не будет.
Потому что каждый опытный программист уже почти ученый.