Don Beaver News

Diamond Baseball Holdings to Acquire Triple-A Charlotte Knights, Affiliate of White Sox, Including Truist Field
Authors
7
7 days
Economics
MLB
Business

Manifold's Favorite: CHEESE (resolves by poll EOY 2024)

Jan 7, 10:29 AMJan 1, 4:59 AM

334701

How will Isaac King resolve his "What is the largest number?" market?

Dec 31, 2:37 AMDec 31, 11:59 PM

4139

Will the exact value of Busy Beaver(6) be known before 2075?

Jan 30, 4:41 AMJan 1, 8:00 AM

19.32%chance

684772

OptionVotes

YES

1780

1250

Is the 20th Busy Beaver number independent of set theory?

Jan 31, 5:10 AMDec 31, 11:59 PM

47.28%chance

14462

OptionVotes

YES

1184

729

Will there be an official Hundreds of Beavers video game released by the end of 2027?

Jun 2, 2:20 AMJan 1, 4:59 AM

45.97%chance

6219

OptionVotes

YES

1084

922

Will the exact value of Busy Beaver(5) be known before 2030?

Jan 30, 4:41 AMJan 2, 7:59 AM

99%chance

4818012

OptionVotes

YES

12147

271

What is the first input for which the Busy Beaver function exceeds the Ackermann function?

Jan 31, 5:13 AMDec 26, 5:59 AM

28.02%chance

5295

OptionVotes

YES

420

286

Is it possible to prove which Busy Beaver number is the highest that can be determined?

Oct 18, 8:15 PMJan 2, 7:59 AM

59.28%chance

538

OptionVotes

YES

122

100

Will bears be reintroduced to the UK by the end of 2040?

Apr 6, 5:31 PMJan 1, 12:00 PM

38.78%chance

9135

OptionVotes

YES

149

145

BB(5) = 47,176,870

May 6, 4:06 PMDec 31, 4:59 PM

99%chance

71975

OptionVotes

YES

2164

Will wolves be reintroduced to the UK by the end of 2035?

Apr 6, 5:31 PMJan 1, 12:00 PM

50.67%chance

786

OptionVotes

YES

150

103

Is there a 5-State binary tape Turing machine that halts in more than 47176870 steps?

Jan 31, 5:00 AMDec 15, 5:00 AM

1%chance

105129

OptionVotes

YES

2003

Latest stories

Diamond Baseball Holdings to Acquire Triple-A Charlotte Knights, Affiliate of White Sox, Including Truist Field
Authors
7
7 days
Economics
MLB
Business

Don Beaver News

Top stories

Prediction markets for Don Beaver

Prediction markets for Don Beaver

Prediction markets for Don Beaver

Manifold's Favorite: CHEESE (resolves by poll EOY 2024)

How will Isaac King resolve his "What is the largest number?" market?

Will the exact value of Busy Beaver(6) be known before 2075?

Is the 20th Busy Beaver number independent of set theory?

Will there be an official Hundreds of Beavers video game released by the end of 2027?

Will the exact value of Busy Beaver(5) be known before 2030?

What is the first input for which the Busy Beaver function exceeds the Ackermann function?

Is it possible to prove which Busy Beaver number is the highest that can be determined?

Will bears be reintroduced to the UK by the end of 2040?

BB(5) = 47,176,870

Will wolves be reintroduced to the UK by the end of 2035?

Is there a 5-State binary tape Turing machine that halts in more than 47176870 steps?

Latest stories

Top stories

Prediction markets for Don Beaver

Prediction markets for Don Beaver

Prediction markets for Don Beaver

Manifold's Favorite: CHEESE (resolves by poll EOY 2024)

How will Isaac King resolve his "What is the largest number?" market?

Will the exact value of Busy Beaver(6) be known before 2075?

Is the 20th Busy Beaver number independent of set theory?

Will there be an official Hundreds of Beavers video game released by the end of 2027?