Math Picture Language Seminar: A Natural Limitation for Properly Human Scientific Progress
MATHEMATICAL PICTURE LANGUAGE, SEMINARS
Speaker:
David Ruelle - IHES
It follows rather directly from Gödel that mathematical progress per mathematician should diminish with time. The real problem is what relation there is between human mathematics and the set of consequences of the ZFC axioms.
https://harvard.zoom.us/j/779283357?pwd=MitXVm1pYUlJVzZqT3lwV2pCT1ZUQT09