Re:Computer Scientists Discover Limits of Gradient Descent
by fiso64 on Sunday July 30, 2023 @06:06AM
(#36929606)
It doesn't make sense to me because a glass of water is a discrete set. If we only had two molecules you could just interchange them (with a 180 degree rotation), without any fixed points.
[ Parent
| on HN ]
Re:Computer Scientists Discover Limits of Gradient Descent
by tgv on Sunday July 30, 2023 @06:40AM
(#36929796)
I'd guess the example of the glass of water was made as an afterthought, or as a vivid example of the potential complexity of the theorem. As your example shows, it simply cannot be true. If you think of a vase with marbles, it is also clear. Or if you think of an (ideal) gas in a closed system: would there be at least one particle that always(!) stays in the same place?
Re:Computer Scientists Discover Limits of Gradient Descent
by mbeex on Sunday July 30, 2023 @08:16AM
(#36930396)
Show me a mathematical continuum in the real-world. And this is just the domain, nothing said about the mapping yet (the continuous function). Every analogy has its limits.
Re:Computer Scientists Discover Limits of Gradient Descent
by tomrod on Sunday July 30, 2023 @09:01AM
(#36930749)
The space represented in a flat piece of paper.
The space is continuous even if we can only measure down to the Planck length.
Re:Computer Scientists Discover Limits of Gradient Descent
by mbeex on Sunday July 30, 2023 @09:06AM
(#36930801)
Key here: "represented"
I'm only a mathematician, no physicist. But I think to remember, that the concept of a continuous physical space becomes quite muddled at this scale.
Re:Computer Scientists Discover Limits of Gradient Descent
by nerdponx on Sunday July 30, 2023 @11:38AM
(#36932345)
* * *
Re:Computer Scientists Discover Limits of Gradient Descent
by hgsgm on Sunday July 30, 2023 @11:36AM
(#36932311)
If you get to assume continuous paper, then I get assumed continuous paper.
If you don't want to assume continuity, then you get it back by rephrasing your theorems as "within a margin of error equal to the distance between discrete objects".