Resistance to formalization and some of its reasons
Also relevant: http://bactra.org/weblog/1178.html
Relevant: https://philpapers.org/archive/ANDWTE.pdf
Also relevant: http://bactra.org/weblog/1178.html
Relevant: https://philpapers.org/archive/ANDWTE.pdf