Self-refutation in undecidability, diagonalization and Russell's paradox. - Samuel C. Hsieh; Brandon J. Patterson (J. Comput. Sci. Coll., 2017)