Luke_A_Somers comments on A Sense That More Is Possible

[Luke_A_Somers]

Funny how this got rerun on the same day as EY posted about progress on Löb’s problem.