Un fou dans une monde de machines

Читаю книжку ``Les demons de Goedel,''  par Pierre Cassou-Nogues. Про Курта Геделя и его философские идеи, на основании изучения его неопубликованных работ и писем. Вот одна любопытная цитата из его письма, в моем переводе:

"Существует аналогия между (1) формальной арифметикой и несвободным обществом (обществом, следующим жестким правилам поведения, механическим правилам); (2) интуитивной арифметикой, которая позволяет вводить новые аксиомы на любом этапе, и свободным демократическим обществом. Эта же аналогия применима и к личностям."

В другом месте в том же письме Гедель поясняет, в чем именно аналогия. Теорема неполноты говорит, что формализованная арифметика либо противоречива, либо неполна. Аналоогично, жестко регламентированное общество либо следует противоречивым правилам, либо "неполно". И в том и в другом случае  общество неспособно решить некоторые задачи, важные для продолжения его существования. То же самое применимо и на индивидуальном уровне.