The Connection Between Godel’s Theorem and Psak
“We have seen that mathematical propositions which cannot be established by formal deduction from a given set of axioms may, nevertheless, be established by “informal” meta-mathematical reasoning. It would be irresponsible to claim that these formally indemonstrable truths established by meta-mathematical arguments are based on nothing better than bare appeals to intuition.” (Ernest Nagel, Godel’s Proof, p. 112) David Zviel: Godel actually constructs formal statements which must […]
