Physics Derivation Graph navigation Sign in

assumptions about formalizing Math or Physics based on a corpus like arxiv

Published 2020-07-29T18:41:00.001Z by Physics Derivation Graph

I'm still reeling from the disconnect between what was proposed in the QED manifesto in 1994 and the current state of formalization of Math (and Physics) research in 2020.

In this post I'll write down what assumptions and what truths I understand about the problem in the context of papers posted to arXiv. In no particular order,

The consequence of inconsistent use of conventions and use of implicit associations is that developing a grammar for parsing article text and math will necessarily yield incomplete and incorrect results.