3 ms·
> However, we still have >* mathematics >* formalized mathematics >* mathematical research Yeah, none of them are based on or rely in any way on PM.
by LudwigNagasena 5y ago
> However, we still have
>* mathematics
>* formalized mathematics
>* mathematical research
Yeah, none of them are based on or rely in any way on PM.
- echopurity 5y agoHN can't handle the truth.