Чаепитие программиста невозможно
Доказательство: будем считать, что, для того, чтобы чаепитие состоялось, необходимо, чтобы программист находился на кухне И в чайнике был кипяток. Пусть программист захотел пить и, как следствие, пришёл на кухню. Поскольку это происходит впервые за длительный интервал времени, то в чайнике нет воды либо она холодная. Поэтому программист включает чайник (при необходимости наполнив его водой) и возвращается за компьютер, чтобы не терять времени. Поскольку программист почти однозадачен, любые фоновые задачи у него имеют очень низкий приоритет по сравнению с основной (работой), поэтому в следующий раз программист вспоминает о том, что он хочет пить, через значительный отрезок времени, за который вода в чайнике успевает не только закипеть, но и остынуть. Поэтому, придя вторично на кухню, программист обнаруживает в чайнике холодную воду. Поскольку для чаепития необходим кипяток, программист включает чайник и возвращается за компьютер, чтобы не терять времени. Продолжая рассуждения подобным образом, придём к выводу, что итерационный процесс может продолжаться столько времени, сколько программист работает. Поскольку программист работает всегда, то процесс может прекратиться только тогда, когда программист перестанет быть программистом. Следовательно, чаепитие программиста невозможно, что и требовалось доказать.
В качестве упраженения читателям предлагается самостоятельно доказать, что приготовление пищи программистом невозможно.
![[1]](https://svalko.org/data/2008_12_05_23_06_344103_1.gif){kind=link}