Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Source

Wikipedia: Busy beaver

Web Source
Facts
Citation
URL
https://en.wikipedia.org/wiki/Busy_beaver
Sources
Wikipedia: Busy beaver
Lead section
Quote, Lead section
In theoretical computer science, the busy beaver game aims to find a terminating program of a given size that (depending on definition) either produces the most output possible, or runs for the longest number of steps.
View the Source
Claims Backed By This Source (8 claims)

This source backs 8 claims across the atlas. As facts: 3 well-attested. As cited relationships: 3 holds. Plus 2 entities citing it as a general reference with no single fact or relationship attached.

Disposition By Topic

  • Mathematical Objects, 7 claims: 2 well-attested, 3 holds, 2 general references.
  • Sources, 1 claims: 1 well-attested.

Well-attested

3

Mathematical Objects

Holds

3

Mathematical Objects

General References

2

Mathematical Objects

Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.