Итоги голосования для комментария:
Ahill_ Скажем так я указал на очевидный ляп в рассуждениях (Дмитрия и ДаркАркона); всё-таки не надо так вольно как в исходном сообщении обращаться с хорошо проработанными и формализованными вещами.
Может быть и был не прав, но хочу уточнить, что тема «довольно теоретическая», в том смысле что а) топикстартер начал её с вводной «я программист»
б) продолжил выяснением нюансов чем «принципы» отличаются от «правил».


К тому же отмечу, что это довольно редкий случай, когда справедливость восторжествовала людям удалось договориться, до общей точки зрения.

П.С.
Cкажем, для языков программирования вопросы всякой алгоритмической разрешимости, полноты и тому подобного — вопрос классический. При этом компиляторы современных языков программирования на вопросы завершаемости и прочих «математически хороших свойств», что называется, «забивают болт».

Дядя Геометр, пожалуйста не надо. Тебя как будто подменили: всё-таки для одного абзаца слишком много неаккуратностей и ляпов ты сделал.