С.С. Лавров. "Темные места в теории вычислимости". Материалы к выступлению на семинаре по логике в ПОМИ (бывш. ЛОМИ) 29 мая 2000 г.