Еще вопрос:
тему
"...It is conjectured that the isomorphism problem for
fundamental groups of compact Kahler manifolds has an algorithmic
solution."
сильно развиваеш на лекциях?

осторожнее! А то прогу на C++ напишут)