4 ms·
Math is one field where you can mechanically prove a paper's findings. The only thing that would need to be judged is the (verified) statement's importance.
by armchairhacker 5mo ago
Math is one field where you can mechanically prove a paper's findings. The only thing that would need to be judged is the (verified) statement's importance.
- conformist 5mo agoYes in theory, but not yet in practice because not everything is fully formalised.