Определение. Будем называть языком ошибок правила, в обход которых пишутся программы.
Более точное определение. Будем называть языком ошибок высокого уровня правила, по которым пишутся программы на языках высокого уровня.
Следствие. Чем ниже уровень базового языка программирования, тем ошибки более машинно-ориентированы.

Синтаксис языка ошибок определяется синтаксисом базовой системы программирования.

Ошибки могут следовать друг за другом. От перестановки двух эквивалентных ошибок результат не меняется (коммутативность эквивалентных ошибок).

Две последовательные ошибки можно объединить в одну, более сильную.

Не любую сильную ошибку можно разбить на две более слабых.

Неделимая ошибка называется устранимой. Установить, что ошибка неделима невозможно.

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

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

Ошибки могут образовывать циклы. Наиболее устойчивый из них бесконечный.

Ошибки могут вызывать друг друга и сами себя (рекурсивность ошибок).

Ошибки могут размножаться.

Невероятно, но некоторые ошибки могут исчезать. К счастью - ненадолго.

Ошибки допускают многократное вложение друг в друга.
Две одинаковые вложенные ошибки называются четной ошибкой и ошибкой не являются.

Свойство четности ошибок. Если написанная программа сработала правильно, то это значит, что во время ее работы выполнилось четное число ошибок или программист не понял задания.

Следствие. Чтобы получать правильные результаты, следует в каждой ветви программы предусмотреть четное число ошибок.

Наблюдение программиста, полезное для юмориста.
Ошибка, повторенная дважды, перестает быть ошибкой.

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

Определение глобальности ошибок.
Ошибка называется глобальной, если поглощает все локальные по отношению к ней ошибки.

Закон экономии ошибок.
Чем более глобальную ошибку вы допустите, тем меньше будет общее число действующих ошибок.

Пример. Предположим в некоторой подпрограмме Sub1 вы допустили 257 ошибок. В головной программе Main вы допустили всего 13 ошибок, но лишь одна из них является глобальной по отношению к ошибкам процедуры Sub1, т.к. в результате ее срабатывания процедура Sub1 стирается из памяти и удаляется с диска.
Далее, пусть в операционной системе вашего компьютера есть две ошибки. Одна из них является глобальной по отношению к написанной вами программе Main, т.к. загружает вашу программу в виртуальное пространство, привязанное к несуществующей плате памяти.
И, наконец, в самом компьютере находится единственная, но наиболее глобальная по отношению к остальным ошибка в распайке фазового и земляного проводов, сводящая первоначальное число ошибок 257 к одной - глобальной и притом легко обнаруживаемой во время первого включения.

Во время исполнения ошибки имеют наивысший приоритет.
Прервать исполнение ошибки может только другая, более активная ошибка.

Запросы операционной системы к ошибкам ошибками могут игнорироваться.
Запросы ошибок к операционной системе игнорироваться не могут.

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

Машина искуственного интеллекта способна сама удовлетворять свою потребность в ошибках.

Системные программы облегчают процесс написания прикладных программ и их ошибок.

Определение. Тестирование - это процесс нахождения ошибок в тесте.

Хороший тест должен содержать ошибки, компенсирующие их нехватку в тестируемой программе.

Программа - отладчик, предназначенная для нахождения ошибок в любых программах (и в самой себе в том числе), содержит ошибки.

Закон полноты языка.
Если в языке программирования есть только одно тонкое место, делающее язык уязвимым для ошибок, то именно оно будет использоваться программистами наиболее часто.

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

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

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

Аккуратные и опытные программисты делают глубокие и хорошо продуманные ошибки. Современные языки программирования предоставляют аккуратным и опытным программистам для этого широкие возможности.

Заключительный совет всем, кто до него добрался.
До начала работы над проектом следует тщательно продумать все необходимые ошибки и связи между ними. Это значительно упростит работу над ошибками в самом проекте.
Следствие. Хорошо продуманные ошибки залог надежной работы проектируемой программы.

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

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

Укор программистам-мужчинам.
В программах, написанных программистами-женщинами, логических ошибок значительно меньше.

Закон массовых чисел.
Среди большого числа различных чисел всегда можно выбрать необходимое.
Следствие из закона массовых чисел.
Чтобы получить правильный результат необходимо распечатать как можно больше различных результатов и среди них выбрать необходимый.

Пример вероятного события.
Если в комнате, где установлено много терминалов, находится достаточное количество обезъян, то есть вероятность, что через достаточно большое, но конечное время компьютер будет оснащен операционной системой Unix.

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