Почетный железнодорожник
Группа: Модератор
Сообщений: 874
|
нескольно лемм и аксиом:
1. программист пишет программы так же, как думает (аксиома)
2. хорошая программа — это предсказуемая программа (лемма). док-во о тпротивного: если никто не понимает что, как и когда делает программа, то она плохая. следовательно хорошая программа — это простая и предсказуемая
3. ход мыслей женщины никому не понятен, даже ей самой (аксиома, проверенная веками)
теорема — "женщин программистов не бывает"
док-во:
из лемм (3) и (1) следует, что программы женщин работают непонятно как. в совокупности с аксиомой (2) это означает, что женщины делают плохие программы, но раз они делают плохие программы, то долго на этой должности им не проработать. остюда вывод — женщин программистов не бывает. |
