I think you mean Euclid’s proof, and he was working centuries after Pythagoras, who was himself working over a thousand years after the Babylonians, who discovered Pythogorean Triples (the ones you notice by measuring).
To restate, I’m fine with saying that a proof for the Pythogorean Theorem exists that does not require measuring physical triangles, but I’m not comfortable with the statement that it cannot be proved by measuring physical triangles, which is what your original comment implied to me.
As discussed in the other subthread, I think that Deutsch’s intention was to argue that any instance of a proof, as an object, has to exist in reality somewhere, which is a very different claim.
...but I’m not comfortable with the statement that it cannot be proved by measuring physical triangles...
It depends on what you mean by “proved”. The Pythagorean Theorem applies to all possible triangles (on a flat Euclidean plane), and the answer it gives you is infinitely precise. If you are measuring real triangles on Earth, however, the best you could do is get close to the answer, due to the uncertainty inherent in your instruments (among other factors). Still, you could very easily disprove a theorem that way, and you could also use your experimental results to zero in on the analytical solution much faster than if you were operating from pure reason alone.
but I’m not comfortable with the statement that it cannot be proved by measuring physical triangles, which is what your original comment implied to me.
Other subthread? Don’t see where anyone made that point. Moreover, I don’t think it is a good reading of the original quote.
But the proof of [a mathematical] proposition is a matter of physics only. There is no such thing as abstractly proving something, just as there is no such thing as abstractly knowing something.
That’s not fairly represented by saying “All actual proofs are on physical paper (or equivalent).”
I was thinking of this comment. If by “knowledge” he means “a piece of memory in reality,” then by definition there is no abstract knowledge, and no abstract proofs, because he limited himself to concrete knowledge.
That knowledge can describe concepts that we don’t think of as concrete- the Pythogorean Theorem doesn’t have a physical manifestation somewhere- but my knowledge of it does have a physical manifestation.
I think you mean Euclid’s proof, and he was working centuries after Pythagoras, who was himself working over a thousand years after the Babylonians, who discovered Pythogorean Triples (the ones you notice by measuring).
To restate, I’m fine with saying that a proof for the Pythogorean Theorem exists that does not require measuring physical triangles, but I’m not comfortable with the statement that it cannot be proved by measuring physical triangles, which is what your original comment implied to me.
As discussed in the other subthread, I think that Deutsch’s intention was to argue that any instance of a proof, as an object, has to exist in reality somewhere, which is a very different claim.
It depends on what you mean by “proved”. The Pythagorean Theorem applies to all possible triangles (on a flat Euclidean plane), and the answer it gives you is infinitely precise. If you are measuring real triangles on Earth, however, the best you could do is get close to the answer, due to the uncertainty inherent in your instruments (among other factors). Still, you could very easily disprove a theorem that way, and you could also use your experimental results to zero in on the analytical solution much faster than if you were operating from pure reason alone.
It’s just the problem of induction.
Other subthread? Don’t see where anyone made that point. Moreover, I don’t think it is a good reading of the original quote.
That’s not fairly represented by saying “All actual proofs are on physical paper (or equivalent).”
I was thinking of this comment. If by “knowledge” he means “a piece of memory in reality,” then by definition there is no abstract knowledge, and no abstract proofs, because he limited himself to concrete knowledge.
That knowledge can describe concepts that we don’t think of as concrete- the Pythogorean Theorem doesn’t have a physical manifestation somewhere- but my knowledge of it does have a physical manifestation.