바쁜 비버 (Korean Wikipedia)

Ben-Amram, A. M.; Petersen, H. (2002). 《Improved bounds for functions related to busy beavers》. 《Theory of Computing Systems》 35. 1–11쪽. doi:10.1007/s00224-001-1052-0. MR 1879169.

arxiv.org (Global: 69^th place; Korean: 54^th place)

Adam Yedidia and Scott Aaronson (May 2016). A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory (Technical Report). MIT. arXiv:1605.04343. Bibcode:2016arXiv160504343Y.
Tristan Stérin and Damien Woods (July 2021). On the hardness of knowing busy beaver values BB(15) and BB(5,4) (Technical Report). Maynooth University. arXiv:2107.12475.
Ord, Toby (2024). “Bounds on the rates of growth and convergence of all physical processes”. arXiv:2410.10928 [physics.hist-ph].

auckland.ac.nz (Global: 4,539^th place; Korean: 6,647^th place)

cs.auckland.ac.nz

Chaitin, Gregory J. (1987). 〈Computing the Busy Beaver Function〉 (PDF). Cover, T. M.; Gopinath, B. (편집). 《Open Problems in Communication and Computation》. Springer. 108–112쪽. ISBN 978-0-387-96621-2. 2017년 12월 30일에 원본 문서 (PDF)에서 보존된 문서. 2022년 7월 7일에 확인함.

bbchallenge.org (Global: low place; Korean: low place)

bbchallenge.org

“The Busy Beaver Challenge: Story # space-time-diagrams” (영어). 《bbchallenge.org》. 2024년 7월 9일에 확인함.
Pascal Michel's Busy Beaver Competitions 보관됨 2023-10-06 - 웨이백 머신 page listing best contenders known.
“The Busy Beaver Challenge” (영어). 《bbchallenge.org》. 2024년 7월 2일에 원본 문서에서 보존된 문서. 2024년 7월 2일에 확인함.

discuss.bbchallenge.org

“[July 2nd 2024] We have proved "BB(5) = 47,176,870"” (영어). 《The Busy Beaver Challenge》. 2024년 7월 2일. 2024년 7월 2일에 원본 문서에서 보존된 문서. 2024년 7월 2일에 확인함.

cambridge.org (Global: 305^th place; Korean: 227^th place)

Brady, Allen H. (March 1998). 《Heiner Marxen and Jürgen Buntrock. Attacking the busy beaver 5. Bulletin of the European Association for Theoretical Computer Science, no. 40 (Feb.1990), pp. 247–251. - Pascal Michel. Busy beaver competition and Collatz-like problems. Archive for mathematical logic, vol. 32 (1993), pp. 351–367.》 (영어). 《The Journal of Symbolic Logic》 63. 331–332쪽. doi:10.2307/2586607. ISSN 0022-4812. JSTOR 2586607. 2024년 7월 5일에 원본 문서에서 보존된 문서. 2024년 7월 5일에 확인함. Free HTML version by author 보관됨 2006-10-09 - 웨이백 머신

complex-systems.com (Global: low place; Korean: low place)

Zenil, Hector (2012). 《On the Dynamic Qualitative Behaviour of Universal Computation》. 《Complex Systems》 20. 265–277쪽. doi:10.25088/ComplexSystems.20.3.265. ISSN 0891-2513. PDF available from publisher.

doi.org (Global: 2^nd place; Korean: 3^rd place)

dx.doi.org

Radó, Tibor (May 1962). “On non-computable functions” (PDF). 《Bell System Technical Journal》 41 (3): 877–884. doi:10.1002/j.1538-7305.1962.tb00480.x. 2021년 10월 12일에 원본 문서 (PDF)에서 보존된 문서. 2022년 7월 7일에 확인함.
Aaronson, Scott (2020년 9월 29일). “The Busy Beaver Frontier”. 《SIGACT News》 51 (3): 32–54. doi:10.1145/3427361.3427369. ISSN 0163-5700. PDF available 보관됨 2022-07-05 - 웨이백 머신 from author.
Ben-Amram, A. M.; Julstrom, B. A.; Zwick, U. (1996년 8월 1일). 《A note on busy beavers and other creatures》 (영어). 《Mathematical Systems Theory》 29. 375–386쪽. doi:10.1007/BF01192693. ISSN 1433-0490.
Lin, Shen; Rado, Tibor (April 1965). 《Computer studies of Turing machine problems.》. 《Journal of the ACM》 12. 196–212쪽. doi:10.1145/321264.321270. S2CID 17789208.
Erdös, Paul (1979). 《Some unconventional problems in number theory.》. 《Math. Mag.》 52. 67–70쪽. doi:10.1080/0025570X.1979.11976756. JSTOR 2689842. 2022년 6월 13일에 원본 문서에서 보존된 문서. 2022년 7월 7일에 확인함.
Zenil, Hector (2012). 《On the Dynamic Qualitative Behaviour of Universal Computation》. 《Complex Systems》 20. 265–277쪽. doi:10.25088/ComplexSystems.20.3.265. ISSN 0891-2513. PDF available from publisher.
Brady, Allen H. (March 1998). 《Heiner Marxen and Jürgen Buntrock. Attacking the busy beaver 5. Bulletin of the European Association for Theoretical Computer Science, no. 40 (Feb.1990), pp. 247–251. - Pascal Michel. Busy beaver competition and Collatz-like problems. Archive for mathematical logic, vol. 32 (1993), pp. 351–367.》 (영어). 《The Journal of Symbolic Logic》 63. 331–332쪽. doi:10.2307/2586607. ISSN 0022-4812. JSTOR 2586607. 2024년 7월 5일에 원본 문서에서 보존된 문서. 2024년 7월 5일에 확인함. Free HTML version by author 보관됨 2006-10-09 - 웨이백 머신
Green, Milton W. (1964년 11월 11일). 《A lower bound RADO's sigma function for binary turing machines》. 《Proceedings of the 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design》. SWCT '64 (USA: IEEE Computer Society). 91–94쪽. doi:10.1109/SWCT.1964.3.
Ben-Amram, A. M.; Petersen, H. (2002). 《Improved bounds for functions related to busy beavers》. 《Theory of Computing Systems》 35. 1–11쪽. doi:10.1007/s00224-001-1052-0. MR 1879169.

doi.org

Aaronson, Scott (2020년 9월 29일). “The Busy Beaver Frontier”. 《SIGACT News》 51 (3): 32–54. doi:10.1145/3427361.3427369. ISSN 0163-5700. PDF available 보관됨 2022-07-05 - 웨이백 머신 from author.
Ben-Amram, A. M.; Julstrom, B. A.; Zwick, U. (1996년 8월 1일). 《A note on busy beavers and other creatures》 (영어). 《Mathematical Systems Theory》 29. 375–386쪽. doi:10.1007/BF01192693. ISSN 1433-0490.
Green, Milton W. (1964년 11월 11일). 《A lower bound RADO's sigma function for binary turing machines》. 《Proceedings of the 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design》. SWCT '64 (USA: IEEE Computer Society). 91–94쪽. doi:10.1109/SWCT.1964.3.

github.com (Global: 383^rd place; Korean: 118^th place)

“GitHub - sorear/metamath-turing-machines: Metamath proof enumerators and other things.”. 《깃허브》. 2019년 2월 13일. 2021년 4월 17일에 원본 문서에서 보존된 문서. 2018년 5월 19일에 확인함.
Leng, Yijun. “GitHub Repository "goldbach_tm27"”. 《GitHub》.

gwern.net (Global: low place; Korean: low place)

Radó, Tibor (May 1962). “On non-computable functions” (PDF). 《Bell System Technical Journal》 41 (3): 877–884. doi:10.1002/j.1538-7305.1962.tb00480.x. 2021년 10월 12일에 원본 문서 (PDF)에서 보존된 문서. 2022년 7월 7일에 확인함.

harvard.edu (Global: 18^th place; Korean: 27^th place)

adsabs.harvard.edu

Adam Yedidia and Scott Aaronson (May 2016). A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory (Technical Report). MIT. arXiv:1605.04343. Bibcode:2016arXiv160504343Y.

ingo-blechschmidt.eu (Global: low place; Korean: low place)

Riebel, Johannes (March 2023). 《The Undecidability of BB(748): Understanding Gödel's Incompleteness Theorems》 (PDF) (학위논문). University of Augsburg. 2024년 9월 17일에 원본 문서 (PDF)에서 보존된 문서. 2024년 9월 24일에 확인함.

jstor.org (Global: 26^th place; Korean: 70^th place)

Erdös, Paul (1979). 《Some unconventional problems in number theory.》. 《Math. Mag.》 52. 67–70쪽. doi:10.1080/0025570X.1979.11976756. JSTOR 2689842. 2022년 6월 13일에 원본 문서에서 보존된 문서. 2022년 7월 7일에 확인함.
Brady, Allen H. (March 1998). 《Heiner Marxen and Jürgen Buntrock. Attacking the busy beaver 5. Bulletin of the European Association for Theoretical Computer Science, no. 40 (Feb.1990), pp. 247–251. - Pascal Michel. Busy beaver competition and Collatz-like problems. Archive for mathematical logic, vol. 32 (1993), pp. 351–367.》 (영어). 《The Journal of Symbolic Logic》 63. 331–332쪽. doi:10.2307/2586607. ISSN 0022-4812. JSTOR 2586607. 2024년 7월 5일에 원본 문서에서 보존된 문서. 2024년 7월 5일에 확인함. Free HTML version by author 보관됨 2006-10-09 - 웨이백 머신

ludost.net (Global: low place; Korean: low place)

skelet.ludost.net

“Reversal Turing machine”. 《skelet.ludost.net》. 2022년 2월 10일에 확인함.

newscientist.com (Global: 774^th place; Korean: 509^th place)

Aron, Jacob. “This Turing machine should run forever unless maths is wrong” (미국 영어). 《NewScientist》. 2016년 10월 20일에 원본 문서에서 보존된 문서. 2016년 9월 25일에 확인함.
Karmela Padavic-Callaghan (2024년 11월 1일). 《There may be a cosmic speed limit on how fast anything can grow》. 《New Scientist》.

ohiolink.edu (Global: 8,366^th place; Korean: low place)

rave.ohiolink.edu

Shen Lin (1963). 《Computer studies of Turing machine problems》 (Ph.D. thesis). 오하이오 주립 대학교.

quantamagazine.org (Global: 6,413^th place; Korean: 1,959^th place)

Brubaker, Ben (2024년 7월 2일). “Amateur Mathematicians Find Fifth 'Busy Beaver' Turing Machine” (영어). 《Quanta Magazine》. 2024년 7월 3일에 확인함.
Pavlus, John (2020년 12월 10일). “How the Slowest Computer Programs Illuminate Math's Fundamental Limits” (영어). 《Quanta Magazine》. 2020년 12월 10일에 원본 문서에서 보존된 문서. 2020년 12월 11일에 확인함.

scientificamerican.com (Global: 896^th place; Korean: 752^nd place)

Bischoff, Manon (2024년 7월 25일). “Mathematicians Have Finally Found the Fifth 'Busiest Beaver'”. Scientific American. 2025년 2월 28일에 확인함.

scottaaronson.blog (Global: low place; Korean: low place)

“Life, blogging, and the Busy Beaver function go on”. 2023년 7월 5일. 2023년 8월 28일에 원본 문서에서 보존된 문서. 2023년 8월 27일에 확인함.
Aaronson, Scott (2024년 7월 2일). “BusyBeaver(5) is now known to be 47,176,870” (미국 영어). 《Shtetl-Optimized》. 2024년 7월 4일에 확인함.

scottaaronson.com (Global: low place; Korean: low place)

Aaronson, Scott (2020년 9월 29일). “The Busy Beaver Frontier”. 《SIGACT News》 51 (3): 32–54. doi:10.1145/3427361.3427369. ISSN 0163-5700. PDF available 보관됨 2022-07-05 - 웨이백 머신 from author.
5월 3일자 버전은 7918개 상태를 포함했다: “The 8000th Busy Beaver number eludes ZF set theory”. 《Shtetl-Optimized blog》. 2016년 5월 3일. 2016년 9월 27일에 원본 문서에서 보존된 문서. 2016년 9월 25일에 확인함.
“Three announcements”. 《Shtetl-Optimized blog》. 2016년 5월 3일. 2018년 4월 27일에 확인함.

semanticscholar.org (Global: 11^th place; Korean: 310^th place)

api.semanticscholar.org

Lin, Shen; Rado, Tibor (April 1965). 《Computer studies of Turing machine problems.》. 《Journal of the ACM》 12. 196–212쪽. doi:10.1145/321264.321270. S2CID 17789208.

sligocki.com (Global: low place; Korean: low place)

Ligocki, Shawn (2022년 6월 21일). “BB(6, 2) > 10↑↑15” (영어). 《sligocki》. 2024년 7월 2일에 원본 문서에서 보존된 문서. 2024년 7월 4일에 확인함.

turbotm.de (Global: low place; Korean: low place)

Brady, Allen H. (March 1998). 《Heiner Marxen and Jürgen Buntrock. Attacking the busy beaver 5. Bulletin of the European Association for Theoretical Computer Science, no. 40 (Feb.1990), pp. 247–251. - Pascal Michel. Busy beaver competition and Collatz-like problems. Archive for mathematical logic, vol. 32 (1993), pp. 351–367.》 (영어). 《The Journal of Symbolic Logic》 63. 331–332쪽. doi:10.2307/2586607. ISSN 0022-4812. JSTOR 2586607. 2024년 7월 5일에 원본 문서에서 보존된 문서. 2024년 7월 5일에 확인함. Free HTML version by author 보관됨 2006-10-09 - 웨이백 머신

web.archive.org (Global: 1^st place; Korean: 1^st place)

Weisstein, Eric W. “Busy Beaver”. 《Wolfram MathWorld》. 2023년 12월 7일에 원본 문서에서 보존된 문서. 2023년 11월 21일에 확인함.
Radó, Tibor (May 1962). “On non-computable functions” (PDF). 《Bell System Technical Journal》 41 (3): 877–884. doi:10.1002/j.1538-7305.1962.tb00480.x. 2021년 10월 12일에 원본 문서 (PDF)에서 보존된 문서. 2022년 7월 7일에 확인함.
Pavlus, John (2020년 12월 10일). “How the Slowest Computer Programs Illuminate Math's Fundamental Limits” (영어). 《Quanta Magazine》. 2020년 12월 10일에 원본 문서에서 보존된 문서. 2020년 12월 11일에 확인함.
Aaronson, Scott (2020년 9월 29일). “The Busy Beaver Frontier”. 《SIGACT News》 51 (3): 32–54. doi:10.1145/3427361.3427369. ISSN 0163-5700. PDF available 보관됨 2022-07-05 - 웨이백 머신 from author.
“Life, blogging, and the Busy Beaver function go on”. 2023년 7월 5일. 2023년 8월 28일에 원본 문서에서 보존된 문서. 2023년 8월 27일에 확인함.
Riebel, Johannes (March 2023). 《The Undecidability of BB(748): Understanding Gödel's Incompleteness Theorems》 (PDF) (학위논문). University of Augsburg. 2024년 9월 17일에 원본 문서 (PDF)에서 보존된 문서. 2024년 9월 24일에 확인함.
Wolfram, Stephen (2021년 2월 4일). “Multiway Turing Machines” (영어). 《www.wolframphysics.org》. 2022년 7월 7일에 원본 문서에서 보존된 문서. 2022년 7월 7일에 확인함.
Aron, Jacob. “This Turing machine should run forever unless maths is wrong” (미국 영어). 《NewScientist》. 2016년 10월 20일에 원본 문서에서 보존된 문서. 2016년 9월 25일에 확인함.
5월 3일자 버전은 7918개 상태를 포함했다: “The 8000th Busy Beaver number eludes ZF set theory”. 《Shtetl-Optimized blog》. 2016년 5월 3일. 2016년 9월 27일에 원본 문서에서 보존된 문서. 2016년 9월 25일에 확인함.
“GitHub - sorear/metamath-turing-machines: Metamath proof enumerators and other things.”. 《깃허브》. 2019년 2월 13일. 2021년 4월 17일에 원본 문서에서 보존된 문서. 2018년 5월 19일에 확인함.
Pascal Michel's Busy Beaver Competitions 보관됨 2023-10-06 - 웨이백 머신 page listing best contenders known.
Chaitin, Gregory J. (1987). 〈Computing the Busy Beaver Function〉 (PDF). Cover, T. M.; Gopinath, B. (편집). 《Open Problems in Communication and Computation》. Springer. 108–112쪽. ISBN 978-0-387-96621-2. 2017년 12월 30일에 원본 문서 (PDF)에서 보존된 문서. 2022년 7월 7일에 확인함.
Erdös, Paul (1979). 《Some unconventional problems in number theory.》. 《Math. Mag.》 52. 67–70쪽. doi:10.1080/0025570X.1979.11976756. JSTOR 2689842. 2022년 6월 13일에 원본 문서에서 보존된 문서. 2022년 7월 7일에 확인함.
Brady, Allen H. (March 1998). 《Heiner Marxen and Jürgen Buntrock. Attacking the busy beaver 5. Bulletin of the European Association for Theoretical Computer Science, no. 40 (Feb.1990), pp. 247–251. - Pascal Michel. Busy beaver competition and Collatz-like problems. Archive for mathematical logic, vol. 32 (1993), pp. 351–367.》 (영어). 《The Journal of Symbolic Logic》 63. 331–332쪽. doi:10.2307/2586607. ISSN 0022-4812. JSTOR 2586607. 2024년 7월 5일에 원본 문서에서 보존된 문서. 2024년 7월 5일에 확인함. Free HTML version by author 보관됨 2006-10-09 - 웨이백 머신
Ligocki, Shawn (2022년 6월 21일). “BB(6, 2) > 10↑↑15” (영어). 《sligocki》. 2024년 7월 2일에 원본 문서에서 보존된 문서. 2024년 7월 4일에 확인함.
“[July 2nd 2024] We have proved "BB(5) = 47,176,870"” (영어). 《The Busy Beaver Challenge》. 2024년 7월 2일. 2024년 7월 2일에 원본 문서에서 보존된 문서. 2024년 7월 2일에 확인함.
“The Busy Beaver Challenge” (영어). 《bbchallenge.org》. 2024년 7월 2일에 원본 문서에서 보존된 문서. 2024년 7월 2일에 확인함.

wolfram.com (Global: 513^th place; Korean: 230^th place)

mathworld.wolfram.com

Weisstein, Eric W. “Busy Beaver”. 《Wolfram MathWorld》. 2023년 12월 7일에 원본 문서에서 보존된 문서. 2023년 11월 21일에 확인함.

content.wolfram.com

Zenil, Hector (2012). 《On the Dynamic Qualitative Behaviour of Universal Computation》. 《Complex Systems》 20. 265–277쪽. doi:10.25088/ComplexSystems.20.3.265. ISSN 0891-2513. PDF available from publisher.

wolframphysics.org (Global: low place; Korean: low place)

Wolfram, Stephen (2021년 2월 4일). “Multiway Turing Machines” (영어). 《www.wolframphysics.org》. 2022년 7월 7일에 원본 문서에서 보존된 문서. 2022년 7월 7일에 확인함.

worldcat.org (Global: 5^th place; Korean: 11^th place)

Aaronson, Scott (2020년 9월 29일). “The Busy Beaver Frontier”. 《SIGACT News》 51 (3): 32–54. doi:10.1145/3427361.3427369. ISSN 0163-5700. PDF available 보관됨 2022-07-05 - 웨이백 머신 from author.
Ben-Amram, A. M.; Julstrom, B. A.; Zwick, U. (1996년 8월 1일). 《A note on busy beavers and other creatures》 (영어). 《Mathematical Systems Theory》 29. 375–386쪽. doi:10.1007/BF01192693. ISSN 1433-0490.
Zenil, Hector (2012). 《On the Dynamic Qualitative Behaviour of Universal Computation》. 《Complex Systems》 20. 265–277쪽. doi:10.25088/ComplexSystems.20.3.265. ISSN 0891-2513. PDF available from publisher.
Brady, Allen H. (March 1998). 《Heiner Marxen and Jürgen Buntrock. Attacking the busy beaver 5. Bulletin of the European Association for Theoretical Computer Science, no. 40 (Feb.1990), pp. 247–251. - Pascal Michel. Busy beaver competition and Collatz-like problems. Archive for mathematical logic, vol. 32 (1993), pp. 351–367.》 (영어). 《The Journal of Symbolic Logic》 63. 331–332쪽. doi:10.2307/2586607. ISSN 0022-4812. JSTOR 2586607. 2024년 7월 5일에 원본 문서에서 보존된 문서. 2024년 7월 5일에 확인함. Free HTML version by author 보관됨 2006-10-09 - 웨이백 머신

바쁜 비버 (Korean Wikipedia)

ams.org (Global: 451st place; Korean: 121st place)

arxiv.org (Global: 69th place; Korean: 54th place)

auckland.ac.nz (Global: 4,539th place; Korean: 6,647th place)

cs.auckland.ac.nz

bbchallenge.org (Global: low place; Korean: low place)

bbchallenge.org

discuss.bbchallenge.org

cambridge.org (Global: 305th place; Korean: 227th place)

complex-systems.com (Global: low place; Korean: low place)

doi.org (Global: 2nd place; Korean: 3rd place)

dx.doi.org

doi.org

github.com (Global: 383rd place; Korean: 118th place)

gwern.net (Global: low place; Korean: low place)

harvard.edu (Global: 18th place; Korean: 27th place)

adsabs.harvard.edu

ingo-blechschmidt.eu (Global: low place; Korean: low place)

jstor.org (Global: 26th place; Korean: 70th place)

ludost.net (Global: low place; Korean: low place)

skelet.ludost.net

newscientist.com (Global: 774th place; Korean: 509th place)

ohiolink.edu (Global: 8,366th place; Korean: low place)

rave.ohiolink.edu

quantamagazine.org (Global: 6,413th place; Korean: 1,959th place)

scientificamerican.com (Global: 896th place; Korean: 752nd place)

scottaaronson.blog (Global: low place; Korean: low place)

scottaaronson.com (Global: low place; Korean: low place)

semanticscholar.org (Global: 11th place; Korean: 310th place)

api.semanticscholar.org

sligocki.com (Global: low place; Korean: low place)

turbotm.de (Global: low place; Korean: low place)

web.archive.org (Global: 1st place; Korean: 1st place)

wolfram.com (Global: 513th place; Korean: 230th place)

mathworld.wolfram.com

content.wolfram.com

wolframphysics.org (Global: low place; Korean: low place)

worldcat.org (Global: 5th place; Korean: 11th place)

ams.org (Global: 451^st place; Korean: 121^st place)

arxiv.org (Global: 69^th place; Korean: 54^th place)

auckland.ac.nz (Global: 4,539^th place; Korean: 6,647^th place)

cambridge.org (Global: 305^th place; Korean: 227^th place)

doi.org (Global: 2^nd place; Korean: 3^rd place)

github.com (Global: 383^rd place; Korean: 118^th place)

harvard.edu (Global: 18^th place; Korean: 27^th place)

jstor.org (Global: 26^th place; Korean: 70^th place)

newscientist.com (Global: 774^th place; Korean: 509^th place)

ohiolink.edu (Global: 8,366^th place; Korean: low place)

quantamagazine.org (Global: 6,413^th place; Korean: 1,959^th place)

scientificamerican.com (Global: 896^th place; Korean: 752^nd place)

semanticscholar.org (Global: 11^th place; Korean: 310^th place)

web.archive.org (Global: 1^st place; Korean: 1^st place)

wolfram.com (Global: 513^th place; Korean: 230^th place)

worldcat.org (Global: 5^th place; Korean: 11^th place)