At the risk of performing necromancy, I’d like to point out that the video was highly contested afterward on the IAS Foundations of Mathematics mailing list. Many people thought the talk wasn’t a reasonable explanation of the current state of affairs in FOM.
At the risk of performing necromancy, I’d like to point out that the video was highly contested afterward on the IAS Foundations of Mathematics mailing list. Many people thought the talk wasn’t a reasonable explanation of the current state of affairs in FOM.
I’m not an expert in this, however.