Physics Derivation Graph navigation Sign in

barriers to implementing formalization in mathematics

Published 2020-07-28T14:21:00.003Z by Physics Derivation Graph

Inspired by reading the QED manifesto and responses like

I attended a conference on formalization of mathematics. The challenges to progress appear to include the following

As a consequence of the above issues, the selection function becomes who can produce the most creative idea and get it implemented in order to compete for attention.

Top-down direction of effort isn't required, but the consequence of bottom-up coordination is that there duplicated effort and investment in translation between faction required.

The above list gets oversimplified into observations like "no barrier exists other than someone sitting down and doing the work."
There are a couple implicit assumptions there:

Speed does not seem to be an issue. There is not a compute bottleneck.