Habr объясняет «проблему общего знания» на примере старой шутки о логиках

Материал, представленный на Habr, предлагает пошаговое объяснение концепции общего знания в эпистемической логике. Задача, построенная на диалоге трёх логиков и официанта, наглядно демонстрирует, как каждый участник делает выводы не только на основе собственных желаний, но и исходя из знания о знании других участников.

Суть головоломки заключается в том, что логики отвечают «Я не знаю», пока у них нет абсолютно полной информации о том, чего хотят все остальные. Только когда один из логиков может с уверенностью сказать, что его неведение было вызвано отсутствием информации о желании всех остальных, он делает вывод, и это знание становится «общим» для группы.