Rosser's theorem

Summary

Rosser's theorem is a theorem^[1]. It draws 8 Wikipedia views per month (theorem category, ranking #271 of 1,306).^[2]

Key Facts

• Rosser's theorem's instance of is recorded as theorem^[3].
• J. Barkley Rosser is named after Rosser's theorem^[4].
• Rosser's theorem's part of is recorded as list of theorems^[5].
• Rosser's theorem's Freebase ID is recorded as /m/06rq4q^[6].
• Rosser's theorem's defining formula is recorded as p_n > n \log n^[7].
• Rosser's theorem's MathWorld ID is recorded as RossersTheorem^[8].
• Rosser's theorem's maintained by WikiProject is recorded as WikiProject Mathematics^[9].
• Rosser's theorem's in defining formula is recorded as n^[10].
• Rosser's theorem's in defining formula is recorded as p_n^[11].
• Rosser's theorem's in defining formula is recorded as \log^[12].

Why It Matters

Rosser's theorem draws 8 Wikipedia views per month (theorem category, ranking #271 of 1,306).^[2] It has Wikipedia articles in 9 language editions, a strong signal of global cultural recognition.^[13]