Question: Are Vladimir Voevodsky and Aleksandr Khinchin both mathematicians?
Context: Khinchin's theorem may refer to any of several different results by Aleksandr Khinchin: In algebraic geometry, the "h" topology is a Grothendieck topology introduced by Vladimir Voevodsky to study the homology of schemes.  It has several variants, such as the "qfh" and "cdh" topologies. Fabien Morel is a French algebraic geometer and key developer of A¹ homotopy theory with Vladimir Voevodsky.  Among his accomplishments is the proof of the Friedlander conjecture, and the proof of the complex case of the Milnor conjecture stated in Milnor's 1983 paper 'On the homology of Lie groups made discrete'.  This result was presented at the Second Abel Conference, held in January–February 2012. In mathematics, the Khinchin integral (sometimes spelled Khintchine integral), also known as the Denjoy–Khinchin integral, generalized Denjoy integral or wide Denjoy integral, is one of a number of definitions of the integral of a function.  It is a generalization of the Riemann and Lebesgue integrals.  It is named after Aleksandr Khinchin and Arnaud Denjoy, but is not to be confused with the (narrow) Denjoy integral. In algebraic geometry and algebraic topology, a branch of mathematics, A homotopy theory is a way to apply the techniques of algebraic topology, specifically homotopy, to algebraic varieties and, more generally, to schemes.  The theory is due to Fabien Morel and Vladimir Voevodsky.  The underlying idea is that it should be possible to develop a purely algebraic approach to homotopy theory by replacing the unit interval [0, 1] , which is not an algebraic variety, with the affine line A , which is.  The theory requires a substantial amount of technique to set up, but has spectacular applications such as Voevodsky's construction of the derived category of mixed motives and the proof of the Milnor and Bloch-Kato conjectures. In probability theory, the Palm–Khintchine theorem, the work of Conny Palm and Aleksandr Khinchin, expresses that a large number of not necessarily Poissonian renewal processes combined will have Poissonian properties. In mathematics, the Khintchine inequality, named after Aleksandr Khinchin and spelled in multiple ways in the Roman alphabet, is a theorem from probability, and is also frequently used in analysis.  Heuristically, it says that if we pick formula_1 complex numbers formula_2, and add them together each multiplied by a random sign formula_3, then the expected value of the sum's modulus, or the modulus it will be closest to on average, will be not too far off from formula_4. In mathematics, the norm residue isomorphism theorem is a long-sought result relating Milnor "K"-theory and Galois cohomology.  The result has a relatively elementary formulation and at the same time represents the key juncture in the proofs of many seemingly unrelated theorems from abstract algebra, theory of quadratic forms, algebraic K-theory and the theory of motives.  The theorem asserts that a certain statement holds true for any prime formula_1 and any natural number formula_2.  John Milnor speculated that this theorem might be true for formula_3 and all formula_2, and this question became known as Milnor's conjecture.  The general case was conjectured by Spencer Bloch and Kazuya Kato and became known as the Bloch–Kato conjecture or the motivic Bloch–Kato conjecture to distinguish it from the Bloch–Kato conjecture on values of "L"-functions.  The norm residue isomorphism theorem was proved by Vladimir Voevodsky using a number of highly innovative results of Markus Rost. Aleksandr Yakovlevich Khinchin (Russian: Алекса́ндр Я́ковлевич Хи́нчин , French: "Alexandre Khintchine" ; July 19, 1894 – November 18, 1959) was a Soviet mathematician and one of the most significant people in the Soviet school of probability theory. Vladimir Alexandrovich Voevodsky ( ; Russian: Влади́мир Алекса́ндрович Воево́дский , 4 June 1966 - 30 September 2017) was a Russian mathematician.  His work in developing a homotopy theory for algebraic varieties and formulating motivic cohomology led to the award of a Fields Medal in 2002.  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.
Answer: yes