Date:	Mon, October 16, 2017
Time:	17:15
Place:	Lecture Hall, Research I

Abstract: The problem was shown to be undecidable in 1970. Since that time several hundreds papers were published about simplications, improvements and applications of this result in diferent branches of mathematics. In the lecture I am to survey main achievements in this area and discuss some important related questions which still remain open.

The colloquium is preceded by tea from 16:45 in the Resnikoff Mathematics Common Room, Research I, 127.