Logic departments of mathematics made the theory of computing, philosophers do nothing but say this narrative that logic of mathematics is more complicated than mathematics, when not knowing the syntax is what makes mathematics difficult in the first play.
So the world is divided between schizos only studying syntax and retarded social sciences idolitrizing logic, that's unavoiable but why mathematicians haven't centralized mathematics yet?
You could do a website pretty easily with ranking based on proofing done and open-source material from foundations of mathematics to everything else, like scrolling.
Sorting with different filters.
What matters anyhow is people doing proofs or supporting others trying to do proofs anyway.
How can you be so stupid that you actually make internet and then leave it be without centralizing everything as much as possible based on proofs, the only thing you don't actually need to agree upon.
If you disagree in terms of model theory just put a sorting tool for it. Jesus Christ, why would you keep real knowledge proprietary and based on all the conditions coming with universities and social complications.
You and every researcher are fucking retarded.