
Кто умеет готовить – кормит себя сам. Повар кормит только тех, кто не готовит. Кто кормит повара? На самом деле эти простые и вполне естественные, на первый взгляд, условия невыполнимы.
По первому условию повар должен кормить себя сам – он же готовит, но по второму – он себя кормить не может, поскольку он – повар и должен кормить только тех, кто не готовит. Это – логический парадокс. Впервые на аналогичное противоречие указал Бертран Рассел в начале XX века. Пытаясь разрешить это противоречие, он вместе с Уайтхедом построил первую полную логическую систему. Это дало мощный толчок развитию логики и теории вычислимости, что привело в результате к созданию машины Тьюринга в 1930-ые годы и в конце концов к нашему компьютерному миру.
Парадоксы вообще полезны. Они заставляют задуматься над тем, что казалось нам очевидным. Я не надеюсь, что сформулированный мной парадокс повара приведет к таким серьезным последствиям как расселовский, но задуматься все-таки следует. Итак, кто же все-таки кормит повара? И вообще ест ли повар? Получается, что он почти никогда не ест.