Skip to main content
2 events
when toggle format what by license comment
Jun 7, 2017 at 4:10 comment added Kevin O'Bryant And the closely related aspect of \emph{provability}. It's hard to imagine a pleasant proof giving rise to the 7-ish number.
Jun 13, 2013 at 18:25 history answered user22882 CC BY-SA 3.0