Dokazujemoje i nedokazujemoje - Manin, Jurij Ivanovič, 1937- (Sovetskoje radio, 1979)