Who died first, Yuri Linnik or Georg Cantor?