Are Ivan Fesenko and Boris Trakhtenbrot both mathematicians?