Один отчет, два времени и странная пара галочек
В полутемной комнате управления полетом дежурный смотрит на экран: два маленьких корабля пронеслись мимо друг друга. Сверху падают короткие ответы экипажа, да или нет. Он пишет один общий отчет, как одну таблицу галочек, и сразу спотыкается о время: у каждого корабля свои отметки «сейчас».
Дежурному это кажется очевидным: если Чарли и Даниэла каждый увидели свой результат и записали, значит где-то есть один общий набор фактов. Одна таблица, которую можно показать всем, и никто не поспорит.
Он держится за вторую мысль: все должно подчиняться одним и тем же правилам, даже когда человек что-то проверяет. Проверка должна быть «откатываемой», как запись в компьютере, которую можно отменить. И любой корабль вправе считать свои часы главными. Вывод простой: один отчет должен сходиться при любых честных часах.
Проверки устроены хитро. Есть два связанных прибора, их ответы сцеплены, даже если они далеко. Чарли и Даниэла делают раннюю проверку и копируют ответ в память так, чтобы след не был вечным. Позже Алиса и Боб проверяют весь «компьютер», прибор плюс память: сначала откатывают копирование, потом задают другой вопрос да или нет.
Дежурный пробует резать ночь по часам одного корабля и получает запрет: Чарли и Даниэла не могут оба выдать «единицу». Режет по другим часам, и всплывают новые запреты: у Алисы не бывает «минуса», если у Даниэлы «ноль», и у Боба не бывает «минуса», если у Чарли «ноль». Если верить в одну таблицу, выходит: Алиса и Боб не могут оба быть «минус».
А потом он берет еще один честный способ считать «одновременно», где поздние проверки Алисы и Боба идут в один момент. При тех же откатываемых правилах получается обратное: пара «минус и минус» иногда все же случается. В один отчет это не укладывается.
Дежурный смотрит на свою таблицу галочек и стирает строку. Либо «общий список фактов» не один на всех наблюдателей, либо нельзя требовать, чтобы любая проверка всегда была полностью откатываемой для всех способов резать время. И странность в том, что спор начинается не с тонких подсчетов, а с нескольких жестких «так не бывает».