• Questions
  • Tournaments
  • Services
  • News
  • Questions
  • Tournaments
  • Questions
  • Questions
Feed Home
👥
Communities
🏆
Leaderboards
💎
Metaculus Cup
🇮🇷🇮🇱
Iran-Israel Conflict
⚡
Current events
🏛️
POTUS Predictions
💵
Fiscal Showdown
Topics
✨🔝
Top Questions
🇺🇦⚔️
Ukraine Conflict
🏦
Big Beautiful Bill
🗽
State of the Union
⏳
AI 2027
🇹🇼🇨🇳
The Taiwan Tinderbox
categories
🦠
Health & Pandemics
🌱
Environment & Climate
☢️
Nuclear Technology & Risks
🤖
Artificial Intelligence
See all categories
  • About
  • API
  • FAQ
  • forecasting resources
  • For Journalists
  • Contact
  • Careers
GuidelinesPrivacy PolicyTerms of Use
ForbesScientific AmericanTimeVoxYale NewsNature

Are there physical systems with properties that are impossible in principle to predict?

resultNo

Will a small Turing machine (< 100 states) be found with behavior that cannot be characterized by mathematical proof?

resultNo

In 2040, what will be the smallest value of the busy beaver function known to be undecidable in Peano arithmetic?

76.3

In 2040, what will be the smallest value of the busy beaver function known to be undecidable in ZFC set theory?

59.8

Computability and Complexity

16
1 comment1
Metaculus Journal Archives

Will BB(5) be known by 2040?

resultYes