3 ms·
That's what he means. We need a formal system more powerful than ZFC, i.e. new mathematics. If a formal system can compute BB(7910), then it is more powerful th
by poppingtonic 10y ago
That's what he means. We need a formal system more powerful than ZFC, i.e. new mathematics. If a formal system can compute BB(7910), then it is more powerful than ZFC. I'm not sure anyone knows how to build that yet.
- ikeboy 10y agoSee https://news.ycombinator.com/item?id=11753046 https://news.ycombinator.com/item?id=11753046 You can get more powerful, it's just unlikely anything we can build will get that high.
- poppingtonic 10y agoI'm surprised it's that simple. Then again, simplicity is usually surprising.