comp.theorist

noun

(Internet slang) A participant in the Usenet newsgroup comp.theory.

The computer theorist developed a new algorithm.

意味（1）

(Internet slang) A participant in the Usenet newsgroup comp.theory.

Hello comp.theorist,

I need the proof for the computability of

Speed problem : Find the fastest program P

SP(i) = j | Pj is fastest (with Pj equivalent to Pi)

It is a kind of "Halting problem". This problem is not computable.

(I may even describe the problem incorrectly!)