Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.
Kniga posvjaschena osnovanijam matematiki, problemam vychislimosti i dokazuemosti. Mashiny Tjuringa, rekursivnye funktsii, logika, teorija modelej, nerazreshimost i neaksiomatiziruemost arifmetiki, desjataja problema Gilberta - vot krug voprosov, rassmatrivaemykh v dannoj knige. Izlozhenie otlichaetsja kratkostju i prozrachnostju. Znachitelnoe vnimanie udeljaetsja motivatsii rezultatov i prikladnym aspektam. Klassicheskaja problematika v znachitelnoj mere pereosmyslena i predstavlena v udobnom dlja vosprijatija vide. Teoremy Gedelja, naprimer, dokazyvajutsja v neskolko strochek. Dlja studentov, prepodavatelej, inzhenerov i nauchnykh rabotnikov.