neo 6달전 | parent | favorite | on: GN⁺: BB(3, 4) > Ack(14) 결과(sligocki.com)
Hacker News 의견

해커뉴스 댓글 모음 요약

  • 간단한 튜링 머신 프로그램
    튜링 머신 프로그램이 복잡한 스파게티 코드일 것이라는 생각과 달리, 이 새로운 프로그램은 상대적으로 간단함. 세 가지 상태(A, B, C)가 있으며, 상태 B는 A와 C로 제어를 넘기지만, A와 C는 서로를 알지 못하고 B로만 제어를 넘김. 이는 모듈식 구조로, 진정한 스파게티 코드에서는 각 상태가 다른 모든 상태로 제어를 넘길 수 있음.

  • 흥미로운 특징
    이 프로그램은 빈 칸을 출력하지 않으며, 모든 명령이 상태나 색을 변경함. 새로운 BB(3,4) 기록 보유자는 약 64비트의 정보를 가짐. BBλ(49)는 49비트로 그레이엄 수를 훨씬 초과함.

  • 구현 예시
    프로그램을 직접 구현해본 결과, 상태 B는 0을 2로, 1을 1로 변경하며 C로 전환하고, 상태 C는 3을 2로 변경하며 A로 전환함. 이는 3의 연속을 지수적으로 길게 만듦.

  • 코드 골프와의 유사성
    이 모든 것이 극단적인 코드 골프처럼 보임. BitGrid라는 개인 취미 프로젝트는 셀당 4비트 상태만 가지며, 4x4 그리드는 최대 2^64까지 셀 수 있음. 작은 그리드에서는 가장자리 연결이 결과에 큰 영향을 미침.

  • 튜링 머신 해석 자료 요청
    테이블을 해석하는 방법에 대한 자료 요청. 이는 튜링 머신의 설명으로 보임.

  • 튜링 머신의 한계
    제한된 수의 기호로 설명할 수 있는 튜링 머신의 수는 한정적임. 일부 튜링 머신이 멈추기 전에 엄청난 수의 단계를 수행할 수 있다는 사실이 놀라움.

  • 특별한 점 설명 요청
    이 특정 명령 집합이 왜 인상적인지에 대한 설명 요청. Ackerman 함수 수준의 함수가 무엇인지, 실제로 무엇을 계산하는지 궁금함.

  • 수학적 진리에 대한 흥미
    쓸모없어 보이는 결과가 매우 유용한 LLM 발전보다 더 흥미로움. 이는 간단한 수학적 진리에 자연스럽게 끌리기 때문임.

  • BB(5)와 BB(3,4) 비교
    BB(5)가 BB(3,4)보다 큰지에 대한 질문. bbchallenge.org 사이트에서는 BB(5)가 약 4700만이라고 하지만, BB(3,4)는 훨씬 더 크다고 함.

  • 저자의 맥락 제공
    저자가 일부 맥락을 제공한 점이 좋음.