로서의 정리

Rosser's theorem
불완전성 정리를 증명하는 Rosser의 기술은 Rosser의 속임수를 보라.

수 이론에서 로서의 정리에는 n번째 소수보다 소수인 n {\이(가) 더 많다고 되어 있다 J. 바클리 로서가 1939년에 발표했다.[1]

전체 내용은 다음과 같다.

p를n n번째 프라임 숫자가 되게 하자.그러면 n ≥ 1의 경우

1999년, 피에르 뒤사트는 더 엄격한 하한선을 증명했다.[2]

참고 항목

참조

  1. ^ 로서, J. B. "n-th Prime is great n log n"런던수학협회 45:21-44, 1939. doi:10.112/plms/s2-45.1.21closed access
  2. ^ Dusart, Pierre (1999). "The kth prime is greater than k(log k + log log k−1) for k ≥ 2". Mathematics of Computation. 68 (225): 411–415. doi:10.1090/S0025-5718-99-01037-6. MR 1620223.

외부 링크