Lekcii po matematike: Algoritmy, logika, vychislimost′. Ot Diofanta do T′yuringa i Gyodelya

Kniga posvyashhena osnovaniyam matematiki, problemam vychislimosti i dokazuemosti. Mashiny T′yuringa, rekursivnye funkcii, logika, teoriya modelej, nerazreshimost′ i neaksiomatiziruemost′ arifmetiki, desyataya problema Gil′berta - vot krug voprosov, rassmatrivaemych v dannoj knige. Izlozhenie otlichaetsya kratkost′yu i prozrachnost′yu. Znachitel′noe vnimanie udelyaetsya motivacii rezul′tatov i prikladnym aspektam. Klassicheskaya problematika v znachitel′noj mere pereosmyslena i predstavlena v udobnom dlya vospriyatiya vide. Teoremy Gyodelya, naprimer, dokazyvayutsya v neskol′ko strochek. Dlya studentov, prepodavatelej, inzhenerov i nauchnych rabotnikov.