HN Reader

It's cons'es all the way down.

Finally - we can calculate infinity.

Been a long way towards it. \o/

> computer science with the finite

um... no... computer science is very concerned with the infinite. I'm surprised quanta published this. I always think highly of their reporting.

I studied math for a long time. I’m convinced math would be better without infinity. It doesn’t exist. I also think we don’t need numbers too big . But we can leave those

> All of modern mathematics is built on the foundation of set theory, the study of how to organize abstract collections of objects

What the hell. What about Type Theory?

This might be a dumb question but are there any current or foreseeable practical applications of this kind of result (like in the realm of distributed computing) or is this just pure mathematics for its own sake?

Confused why the article author believes this is a surprise. The foundations of mathematics and computer science are basically the same subject (imho) and dualities between representations in both fields have been known for decades.

That’s nothing, ‘node_modules’ has been linking the math of infinity to my filesystem for years.