Эпиграф:"Ошибки так же неисчерпаемы, как и атом"
Приписывается Карлу Марксу и его подельникам
Аксиома. В любой программе есть ошибки.
Следствие 1. В программе, состоящей из одного оператора, есть ошибки.
Следствие 2. В программе, состоящей из N операторов, есть по крайней мере N ошибок.
Следствие 3. В программе, состоящей из одного оператора, есть по крайней мере N ошибок.
Следствие 4. В любой программе содержится бесконечное число ошибок.
Следствие 5. Чтобы познать бесконечность, нужно быть не философом, а программистом.
Закон взаимосвязи программ и ошибок.
Для того, чтобы получить ошибки, надо написать программу.
Для того, чтобы получить программу, надо стараться избегать ошибок.
Следствие. Что бы вы ни делали - у вас будут получаться только ошибки.
Теорема обратимости программ и ошибок.
Всегда можно придумать программу, в которой будет не менее N ошибок.
И наоборот, всегда можно придумать ошибку, которая есть не менее, чем в N программах.
Закон пропорциональности.
Чем более программа необходима, тем больше в ней ошибок и наоборот.
Следствие 1. Совершенно ненужная программа ошибок не содержит.
Следствие 2. Ненужную программу невозможно создать ни за какие деньги.
Теорема.
Исправление очевидной ошибки превращает ее в неочевидную (недоступную для наблюдения), причем этот процесс необратим.
Следствие 1. Любое активное действие, призванное улучшить программу, ухудшает программу.
Следствие 2. Пассивное наблюдение улучшает программу.
Следствие 3. Чем больше в программе очевидных ошибок, тем точнее можно предсказать результат ее работы.
Замечание. Программа без очевидных ошибок - неработоспособна.
Следствие 4. Программу проще написать заново, чем исправить.
Теорема о невозможности доказательства правильности программ.
Нельзя доказать, что программа не имеет ошибок.
Док-во: Не нужно доказывать, что в программе есть ошибки.