Richard Kennaway:
I don’t know where Landsburg gets the claim that we can know all the truths of arithmetic.
I don’t know where you got the idea that I’d ever make such a silly claim.
I misinterpreted this: “we can never know all the truths of euclidean geometry, but we can still specify euclidean geometry via a set of axioms. Not so for arithmetic.”
Richard: Gotcha. Sorry if it was unclear which part the “not so” referred to.
Richard Kennaway:
I don’t know where Landsburg gets the claim that we can know all the truths of arithmetic.
I don’t know where you got the idea that I’d ever make such a silly claim.
I misinterpreted this: “we can never know all the truths of euclidean geometry, but we can still specify euclidean geometry via a set of axioms. Not so for arithmetic.”
Richard: Gotcha. Sorry if it was unclear which part the “not so” referred to.