6상태 튜링 기계의 Busy Beaver 수 BB(6)에 대한 최저 경계가 지속적으로 크게 향상되었다.
2022년에는 BB(6) > 10을 15회 반복한 테트레이션(^15 10) 값으로 개선되었다.
최근 BBchallenge 팀원 ‘mxdys’가 BB(6) > 10을 1,000만회 반복한 테트레이션 값으로 증명했다.
이어서 2를 2를 2를 9까지 반복한 이중 테트레이션 형태, 즉 2 pentation 5 이상으로 경계를 확장했다.
이 수의 크기를 설명하기 위해 테트레이션된 모래알을 우주 복사본 채우기 비유를 사용했다.
BB(n)의 ZFC 공리계 독립성 발생 시점이 기존 n=643에서 n=7~9로 앞당겨질 수 있다는 가설을 제안했다.
Get notified when new stories are published for "🇰🇷 Hacker News 한국어"