4 ms·With Aristotle you could formalize a proof from only the text of a paper.by zitterbewegung 3mo agoWith Aristotle you could formalize a proof from only the text of a paper.