Наташа и теорема Гёделя о неполноте

   И вот влетает он. Не с корзинкой, не с тележкой, а с горящим взглядом и стопкой листов, скреплённых зажимом так, будто это секретные документы.

— Я Курт Гёдель! — выкрикнул он, будто этого должно быть достаточно, чтобы очередь расступилась, а кассирша сразу прониклась уважением.

Наташа сдержанно кивнула, как кивают, когда человек представился, но ты не уверена, что хочешь знать, кто он такой.

— Очень приятно. Пакет нужен?

— Не нужен! — отмахнулся Гёдель, будто пакет — это ловушка для слабых духом. — Я пришёл не за покупками. Я пришёл доказать теорему!

Очередь замерла. Даже бабушка с одним мандарином перестала шептать про «цены нынче».

— Теорему… о чём? — осторожно уточнила Наташа, потому что в её опыте «теорема» и «скидка» редко шли в одном предложении.

— О неполноте! — торжественно провозгласил Гёдель и развернул листы. На них были формулы, стрелки, какие-то квадратики и одно слово, обведённое красным: «НЕДОКАЗУЕМО».

— Ага, — протянула Наташа. — А у нас кефир по акции.

Гёдель не слышал. Он уже вошёл в раж.

— Суть в том, что любая достаточно сильная формальная система либо неполна, либо противоречива! То есть всегда найдётся утверждение, которое нельзя ни доказать, ни опровергнуть!

В очереди кто-то тихо вздохнул: «Опять эти учёные…»

— То есть вы хотите сказать, — Наташа наклонилась чуть вперёд, будто пыталась поймать суть, как ловит сигнал телефон в подвале, — что нельзя всё доказать?

— Именно! — Гёдель ткнул пальцем в лист, и скрепка предательски отскочила куда-то в сторону йогурта. — Нельзя охватить всё системой правил. Всегда будет что-то, что выходит за рамки.

Наташа посмотрела на сканер, который снова не хотел читать штрих-код на бананах. Потом на терминал, который завис и предлагал «подождать». Потом на бабушку, которая всё-таки решила взять ещё один мандарин, «чтобы не ходить дважды».

— Знаете, — сказала она спокойно, — я эту теорему каждый день доказываю. Вот, например, система «пробить покупки» — она у нас вроде как полная. Но всё равно находится что-то, что не пробивается. Банан без наклейки. Пакет, который рвётся. Человек, который платит мелочью. И никакая инструкция не покрывает все случаи.

Гёдель замер, будто услышал нечто новое.

— Вы… вы интуитивно пришли к фундаментальному ограничению формальных систем!

— Нет, — улыбнулась Наташа. — Я пришла к тому, что у нас перерыв через пять минут, и если вы не будете брать кефир, то, пожалуйста, пропустите следующего.

Гёдель огляделся, будто только сейчас заметил очередь, тележку с тремя бутылками воды и охранника, который смотрел на него с профессиональным интересом.

— Простите, — сказал он, сворачивая листы. — Я увлёкся.

— Ничего, — кивнула Наташа. — У нас тут каждый день кто-нибудь увлекается. Один доказывал, что сахар должен стоить дешевле, потому что он «просто углевод». Другой спорил с весами. А вы — с математикой. Это даже мило.

Гёдель чуть покраснел, положил на ленту батон и шоколадку.

— Пробейте, пожалуйста.

Наташа пробила, улыбнулась.

— С вас восемьдесят семь рублей.

Он протянул карту, потом вдруг остановился.

— Знаете… я думаю, ваша работа — это тоже доказательство. Что мир не сводится к правилам. Что всегда есть место для исключения. Для человека, который платит мелочью.

Наташа усмехнулась.

— Или для человека, который приходит с теоремой о неполноте.

Гёдель улыбнулся, забрал пакет и уже у выхода обернулся:

— Спасибо. Вы… помогли мне увидеть это иначе.

— Пожалуйста, — кивнула Наташа, когда он ушёл. — И приходите ещё. Только в следующий раз без формул, ладно? У нас сканер и так нервничает.

Очередь выдохнула, бабушка наконец-то пробила свой мандарин, а Наташа тихо добавила, уже себе под нос:

— Вот и ещё один мир спасён от избыточной формализации.