Навіки нерозв'язне. Головоломное керівництво по Геделю 37297

У книзі пропонується захоплююча введення в символічну логіку. Дана уніфікована трактування трьох "можливих світів": эпистемического світу людських переконання в істинності висловлювань; світу машин, здатних відтворювати істинні висловлювання, і світу математичних систем, в яких можна доводити висловлювання. Запропоновано нестандартне виклад знаменитих теореми Геделя про неповноту формальних систем і теореми Леба і захоплюючий аналіз взаємовідносини між поняттями "несуперечливості", "доказовість" і "розв'язність".