Stewart Shapiro. Incompleteness, mechanism, and optimism. Bulletin of Symbolic Logic, 4(3):273-302, 1998. [doi]
@article{Shapiro98-1, title = {Incompleteness, mechanism, and optimism}, author = {Stewart Shapiro}, year = {1998}, url = {http://www.math.ucla.edu/~asl/bsl/0403/0403-002.ps}, researchr = {https://researchr.org/publication/Shapiro98-1}, cites = {0}, citedby = {0}, journal = {Bulletin of Symbolic Logic}, volume = {4}, number = {3}, pages = {273-302}, }