• Questions
  • Tournaments
  • Services
  • News
  • Questions
  • Tournaments
  • Questions
  • Questions
Feed Home
👥
Communities
💎
Metaculus Cup
🤖
Q2 AI Benchmarking
🌍
USAID Outlook
🏛️
POTUS Predictions
💵
Fiscal Showdown
Topics
✨🔝
Top Questions
🐦🦠
H5N1 Bird Flu
🕊️🌐
Global Elections
⏳🌀
5 Years After AGI
🇮🇱🇵🇸
Gaza Conflict
🦠🩺
Mpox outbreak
🇺🇦⚔️
Ukraine Conflict
categories
🤖
Artificial Intelligence
🧬
Health & Pandemics
🌎
Environment & Climate
☣️
Nuclear Technology & Risks
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