Question: Are Vladimir Voevodsky and Aleksandr Khinchin both mathematicians?
Sentence (from "Vladimir Voevodsky"): He is also known for the proof of the Milnor conjecture and motivic Bloch-Kato conjectures and for the univalent foundations of mathematics and homotopy type theory.
Relevant evidence: No