59w.json
https://arbital.com/p/59w
by Nate Soares Jul 10 2016
The intuition behind the proof of Lób's theorem invokes the formalization of the following argument:
:, not '