라마누잔 머신

재미있는 페이퍼를 보았다.[1] 상수를 입력하면 그 값을의 연분수 표현 가설들을 자동 생성하는 알고리즘 “라마누잔 머신”을 만들었다고. 저자들은 이를 이용해서 생성한 등이 들어간 몇 가지 가설들도 발표했다. 대략적으로 설명된 알고리즘은 좌변에는 입력된 상수가 들어간 유리식, 우변에는 다항식이 포함된 연분수 패턴들을 놓고 값이 일치하는지를 따지는 식으로 추려내고, 또한 연분수의 depth를 제한해서 나오는 수열이 얼마나 오차(precision이 제한되어 있어도 […]

Read More 라마누잔 머신

다음 소수를 찾는 또 다른 방법 (2)

이전 글: (1) 최근 AMM에 또 다른 소수 생성식이 실렸다.[1] 어떤 상수 를 잡으면, 로 정의한 수열 의 정수부 은 번째 소수 이 된다는 것. 마치 특정 상수로부터 소수들만을 얻게 된다는 점에서 Mills’ theorem과 비슷하지만(“수학적으로 화수를 표현하는 특촬“에서 잠깐 소개된 적이 있다) 이전 글에서 소개한 정리처럼 모든 소수들을 순차적으로 찾을 수 있다는 점에서 차이가 있다. […]

Read More 다음 소수를 찾는 또 다른 방법 (2)