Published 2020-07-29T01:25:00.002Z by Physics Derivation Graph
Although my previous post on barriers to formalization of mathematics is pessimistic, the observations are reassuring to me. I'm not duplicating the work of others, and my evaluation of options are reasonable. Few others seem interested in the problems I care about, which means I'm not missing important collaborations.