Russell once remarked that all of mathematics would be trivial to a sufficiently intelligent being. It builds conceptual tools for limited minds, that lets them understand far beyond their natural reach.
In a world with ASI, having that capacity is vital.
Ha, are you invoking something he said prior to discovering Russell's paradox? Which came about because he wanted to show that all of mathematics can be derived from logic about sets, but instead he showed that it couldn't be.
macrolocal · · focus · HN ↗
In a world with ASI, having that capacity is vital.
card_zero · · focus · HN ↗
macrolocal · · focus · HN ↗