I always thought very funny to imagine, say, Turing say 'let M be a Turing machine'... but in general you quickly discover that most named mathematical principl

I always thought very funny to imagine, say, Turing say 'let M be a Turing machine'... but in general you quickly discover that most named mathematical principles were named afterward by respect for the author. And then you have some who reinvent calculus and name it after themselves...