Hacker News 의견

• BB(3, 3)의 복잡성에 대한 논의, Collatz 유형의 문제로 알려져 있지만, 편향된 행동과 단일 궤적만을 고려해야 한다는 점 때문에 반드시 어렵지 않을 수 있다는 주장.
• 748 상태의 튜링 기계에 대한 논의, ZFC(Zermelo-Fraenkel 집합 이론과 선택 공리)가 일관성이 없다면 중단되는 기계. BB(748) 단계에서 이 기계를 실행하는 것의 함의와 Gödel의 두 번째 불완전성 정리와의 잠재적 모순에 대한 혼란 표현.
• 저자의 글쓰기 스타일이 명료하고 간결하여 독자들이 장황하지 않게 주제를 이해하는 데 도움이 된다는 칭찬.
• BB (Busy Beaver)가 계산 불가능하다는 의미와 BB가 성장함에 따라 모든 것을 증명해야 하는지에 대한 질문 제기.
• 모든 BB(x, y) 문제들이 Collatz와 같은 문제로 축소될 수 있으며, 따라서 x와 y의 어떤 값에 대한 BB(x, y)를 찾는 것도 Collatz와 같은 문제로 축소될 수 있다는 제안.
• Beeping Busy Beavers (BBB)가 왜 훨씬 더 오래 실행되기 전에 준-중단할 수 있는지에 대한 질문, 중단 상태를 사용할 필요가 없기 때문일 수 있다는 제안.
• 중단 문제가 실제 세계의 귀납에 미치는 영향에 대한 의문, 주어진 튜링 기계가 출력 테이프에 다른 것을 출력할 것인지 결정할 수 있는 오라클이 포함된 가상 시나리오.
• 이러한 주제를 이해하는 데 필요한 사전 지식에 대한 질문, 좋은 기초를 제공할 특정 주제나 과목에 대한 요청.
• 특정 문자열, 1RB2RA1LC_2LC1RB2RB_---2LA1LA를 어떻게 읽어야 하는지에 대한 질문.