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


А в каком разделе математики описыается тот факт, что эта совершенно корректная программа может не работать из-за глюков компилятора, ОСи, оборудования?

теория вероятности ;)


mayton, спасибо за совет. Видимо так и сделаю в следующий раз. Когда мы что-то обсуждаем, мне напоминает это дискуссию на семинаре (по крайней мере в CPP так всегда и происходит, без исключений), да и в разделе Программирование так было раньше, но вот с таким столкнулся впервые, и просто не знал как реагировать. Одно дело критика идей-это нормально, это хорошо, а другое дело переходит к оскорблением людей.

Anatoly MoskovskySashaMercuryтеория вероятности ;)
В любой достаточно сложной программе вероятность наличия ошибок равна 1.
Дальше что?
Вы понимаете, что 99% работы программиста - это отладка и исправление ошибок в реализациях известных алгоритмов?
Причем отладка в условиях, когда ты большинство кода не можешь не то что поменять, но иногда и увидеть.
Здесь математикой даже и не пахнет.

Так же как и деятельность математика. 1% хорошая идея, 99% труд, труд и ещё раз труд. Мне это понятно, и я это принимаю

Anatoly MoskovskytchingizА в каком разделе математики описыается тот факт, что эта совершенно корректная программа может не работать из-за глюков компилятора, ОСи, оборудования?
тут намекается что Кнут не программист? Ибо писал свои программы на машине,
которая работает без компилятора, электричества в сети, без операционной системы и оборудования. Поэтому она умеет работать при наличии глюков во всем перечисленном?
Возьмите вашу программу recHanoi, и представьте, что при определенной глубине рекурсии произойдет переполнение стека и все упадет. А программа-то математически корректна.
В каком разделе математики описываются приемы отладки переполнения стека?

Кнут называет себя математиком в самом начале 1 тома. И называется себя этим словом с гордостью, , по-моему он сказал что в первую очередь он математик (прочитайте вновь если не верите).(Впрочем далее он причисляет себя к программистам). Разве у такой личности может быть грань, и разве можно сказать что он математик а не программист, а не наоборот. С таким же успехом(а точнее в 10^10 раз проще я могу) всю 1 группу что я приводил ранее
SSНа мой взгляд, основная часть занимается базами данных, SQL, 1C и др. Такой-же процент занимается web-приложениями. Много тех, кто занимается автоматизацией процессов на предприятиях. Есть ещё какие-то группы, их всех я не знаю.
Всех кто выше, я отнесу к 1 группе. назвать настройщиками компьютеров или опытными пользователями.

Anatoly Moskovsky, мне кажется что тут не было такого мнения что везде и всюду всё нужно явно привязывать к математике. Но на ваш вопрос

Anatoly MoskovskyВ каком разделе математики описываются приемы отладки переполнения стека?
не сомневаюсь можно ответить, и привести пример раздела математики, я этого не могу сделать по той причине что недостаточно хорошо представляю предложенный вами процесс ;)

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

мне казалось, что процесс написания ПО подразумевает весь период разработки. Т.о. сюда входит (в первую очередь ?) анализ требований, и (в том числе ?) (вот тут видимо в первую очередь) концептуальный анализ. Т.е. предметную область не стоит отделять от процесса разработки программы. Иначе это "уверенный пользователь ПК", а не Программист. Программист больше чем человек знающий языки программирования. Программист(настоящий, 5%от всей массы псевдопрограммистов)- это звучит гордо, и это не просто инженер, это интеллектуальная элита нашего общества. Пример из книги(отличной книги) "Понедельник начинается в субботу", Стругацких.

Работа программиста это не процесс "писания кода", это комплекс мероприятий, который просто невозможен без математического аппарата, порой(чаще всего) невидимого.

Или я снова не прав ?