>>9062086
Mathematics is already reduced to logic, but unless you are have a supercomputer for a brain, there is no escaping intuition.
that's what it already is. just look at pure math
All maths can be expressed in binary, and binary is basically true/false, therefore logic.
So, yes.
>>9062160
Saying that it failed is a lie though. What really happened is that mathematicians encountered pure logic and were amazed by what it can do, so they all conjecture mathematics could be reduced to pure logic. Then, as shit usually happens, we learned more about logic and found that reducing math to logic comes with certain asterisks.
That is literally all that happened. We discovered the asterisks. Naive set theory as a foundation was born out of logicism and all that changed is that instead of naive set theory we used ZF set theory. That is a minor change in the grand scheme of things. It is basically the same motivation and the same end goal, but now we are simply smarter than we were back then