McEliece's Theorem (Integer Functions)/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on McEliece's Theorem (Integer Functions)

Donald E. Knuth reports in The Art of Computer Programming that this generalisation of Conditions for $\floor {\log_b x}$ to equal $\floor {\log_b \floor x}$ was established by Robert James McEliece.

Knuth refers to it (in passing) as McEliece's Theorem.

Whiile this name for it is not backed up in the literature, it is convenient for $\mathsf{Pr} \infty \mathsf{fWiki}$, because of its unwieldy nature, to refer to it thus.