Manolo Martínez Ideal negative conceivability and the halting problem articleIdeal negative conceivability and the halting problemManolo MartínezErkenntnis, vol. 78, 2013, pp. 979–990PDF