If we're talking about actually-existing geometric objects - not Euclidean nothings - then sure. A "square" is a composite object, made up of a finite number of points. The "diagonal" is another composite object whose units can be counted.
Post by twetch#3375
Ok then if one side of the square has distance 1, then the diagonal has distance sqrt(2). What else would you call the distance?
What the chain says
- Block
- 662 218
- Time
- 2020-11-21T05:39:45Z
- Signer
- 13bJsMyjiNF21qYTLK5tZizwEovpT6DNeu
- App
- twetch
- Type
- post
- Content type
- text/plain
- Name in tx
- twetch#3375
Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.
13bJsMyjiNF21qYTLK5tZizwEovpT6DNeu VerifiedReplies (10)
You're working within Euclidean geometry. Space is discrete, not continuous, so there are no "squares" that have a distance of 1 unit.
Create a square on your computer screen. You'll see it's composed of a countable number of units (pixels).
If your geometric investigations have only been within Euclidean geometry, or only working within continuous space, then discrete space can be unintuitive or shocking.
But alas, all space that we encounter, mental and physical, is actually discrete.
Space is not discrete in Euclidian geometry.
I know. I'm saying you are working within Euclidean geometry when you ask about the diagonal of a square with a side the length of 1.
I'm saying that no spatially-extended square has a side the length of 1, since actual squares are composite objects.
In discrete space (in the real world), units of length refer to spatially-extended points. When we say "That square has a side whose length is 9", that means "there are 9 units which compose its side."
So, you can't have a composite object made of 1 unit.
So either points are distributed in orthogonal grid and diagonal has equal length to the side of square (same amount of collinear points) or points are distributed in different fashion and squares don't exist?
It's self-evident.
Yes it is, if you think about it thoroughly enough.