Letter
 

 

From the letter by V. Uspensky to A. Ershov

 

July 1st, 1979

 

Dear Andrei Petrovich!

 

… And now some information to ponder over. This information would not be so relevant in view of
the initial participants list, but now it is quite timely. The person in question is A.O. Slisenko.
Anatol A. Slisenko is a PhD and a senior research fellow of Leningrad department of the USSR AS
Steklov Mathematical Institute. One should think he is the best country’s specialist in complexity of
concrete computation (not in the spirit of general Blum acceleration theorems, but more like, say,
how to estimate an algorithm for matrix multiplication). In this capacity he carries great authority
with specialists here and abroad including potential symposium participants. If discussions of these
topics are planned in Urgench, his presence would be undoubtedly helpful – at least for competent
contacts with our guests. His home address is:…

 

I am somewhat concerned with the title of my presentation, initially (conventionally) named “Great
mathematical discoveries associated with the notion of algorithm”. Most probably one may consider
among the same theorems on various decidabilities and undecidabilities. And I even don’t intend to
mention such theorems (even the great example of a group with insoluble identity problem I reckon
irrelevant). Undecidability of the problem of Diophantine equations insolubility will be mentioned
only in connection with Diophantity of denumerable sets – the fact that is really fundamental (and
the fact that as a result the Gilbert problem was solved is rather incidental). Should not the talk be
named “What does the algorithm theory give?” or in some other way in order to not to hurt the
feelings of authors of great discoveries in the field of decidability and undecidability? I, for
example, intend to speak about applications of the notion of randomness, of computable operators –
and, generally, about things of conceptual nature (although I find difficulty in formulating what is
it). What do you think about all this and first of all about the title that can disorient the audience?



Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016