I think people have a misconception that mathematicians get together with pomp and ceremony and someone pounds a gavel and declares, "By order of the secret cou

I think people have a misconception that mathematicians get together with pomp and ceremony and someone pounds a gavel and declares, "By order of the secret council of mathematicians, such-and-such theorem is hereby dubbed 'Davis's Theorem'", or something. Rather, what really happens is that mathematicians are a community, and they refer to things in whatever way is convenient. Davis's colleague refers to such-and-such theorem as "Davis's Theorem" not because of some committee on naming, but rather because they were there at the conference where Davis announced the theorem, and everyone at said conference excitedly talked about "Davis's Theorem" for the whole rest of the conference because it was so exciting.