Michael Detlefsen. Löb's Theorem as a Limitation on Mechanism. Minds and Machines, 12(3):353-381, 2002. [doi]
@article{Detlefsen02, title = {Löb's Theorem as a Limitation on Mechanism}, author = {Michael Detlefsen}, year = {2002}, doi = {10.1023/A:1016104127745}, url = {http://dx.doi.org/10.1023/A:1016104127745}, researchr = {https://researchr.org/publication/Detlefsen02}, cites = {0}, citedby = {0}, journal = {Minds and Machines}, volume = {12}, number = {3}, pages = {353-381}, }