OurBigBook
About
$
Donate
Sign in
Sign up
The Busy Beaver Competition: a historical survey by Pascal Michel
(2013)
Ciro Santilli
(
@cirosantilli,
37
)
...
Formalization of mathematics
Formal proof
Open problem in mathematics
Conjecture
Famous conjecture
Collatz conjecture
Updated
2025-07-16
0
Like
0 By others
on same topic
0 Discussions
Create my own version
arxiv.org/abs/0906.3749
Ancestors
(9)
Collatz conjecture
Famous conjecture
Conjecture
Open problem in mathematics
Formal proof
Formalization of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(1)
Collatz conjecture
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version