Craig Alan Feinstein, “The Collatz 3n+1 Conjecture is Unprovable”, GJSFR, vol. 12, no. F8, pp. 13–15, Jul. 2012.