Singh Anand, Bhupinder - 2018
Standard interpretations of Gödel's “undecidable” proposition, [∼(A)()], argue that, although [∼(A)()] is PA-provable if [(A)()] is PA-provable, we may not conclude from this that [∼(A)()] is PA-provable. We show that such interpretations are inconsistent with a standard Deduction...