Lekcii po matematike: Algoritmy, logika, vyčislimost′. Ot Diofanta do T′juringa i Gëdelja

Kniga posvjačšena osnovanijam matematiki, problemam vyčislimosti i dokazuemosti. Mašiny T′juringa, rekursivnye funkcii, logika, teorija modelej, nerazrešimost′ i neaksiomatiziruemost′ arifmetiki, desjataja problema Gil′berta - vot krug voprosov, rassmatrivaemych v dannoj knige. Izloženie otličaetsja kratkost′ju i prozračnost′ju. Značitel′noe vnimanie udeljaetsja motivacii rezul′tatov i prikladnym aspektam. Klassičeskaja problematika v značitel′noj mere pereosmyslena i predstavlena v udobnom dlja vosprijatija vide. Teoremy Gëdelja, naprimer, dokazyvajutsja v neskol′ko stroček. Dlja studentov, prepodavatelej, inženerov i naučnych rabotnikov.