Question: Are Ivan Fesenko and Boris Trakhtenbrot both mathematicians?
Answer: yes