Let's try to make sense of it all. Sorry, a bit of maths will come handy. Just a wee bit.
So, assume some movement, and assume some thing M doing the movement. I assume here that there's no movement if there is no thing doing the movement.
We also consider our idea of real space-time as suggested by our intuition, i.e. flat space, linear time, continuous space and time, and we can always assume that there is another point strictly in between two given points distinct from each other.
We're interested in the kind of movement which is the succession or sequence in time of all the spatial positions occupied by some given thing M.
The idea is that we can try to formalise UM's idea of "first move". Not the "smallest first move" since we all agree it couldn't exist at all in any continuous space-time. But "first move" can certainly be formalised and investigated to try and prove the possibility or otherwise of the "smallest first move".
To simplify our investigation, we can think in terms of the distance covered during the movement. Since the movement considered is a sequence, it is clear that the distance covered increases with time, and this irrespective of whether the path followed goes more or less in a straight line or doubles back on itself. Considering the distance covered, we can think of any movement as having a starting point and an endpoint. The starting point is the point occupied by M at the time the movement starts, say, t1. The endpoint is the point occupied by M at the time the movement ends, say, t2. So far, so simple.
Now, assuming a continuous space-time, we can always divide the distance covered in two parts, using a point P located on the path taken by M, somewhere in between, strictly in between, the starting point and the endpoint. If the path doubles back and crosses itself at P, we can always specify which part of the path point P is considered to belong to, for example "the first pass", or "the second pass", and so on. Since the movement considered is a sequence, there will be no ambiguity as to which element in the sequence point P corresponds to.
So, now we have the path taken by M divided in two parts by point P. Given a particular point P, we can talk of the first part of the movement as being the part from the starting point to P. It is also clear that we can choose P anywhere on the path taken by M (as long as we specify "first pass" etc. whenever required). To a given point P will correspond a given distance covered by M during the movement until it gets to P, i.e. from the starting point to P. Suppose we make a first choice of P as P1. P1 specifies the first part of the movement as the part from the starting point to point P1. And to P1 corresponds a specific distance covered by M from the starting point to point P1.
Now, can we make a different choice for P? That's where our assumption of continuity kicks in. If space-time is continuous and movement is continuous, whatever our first choice P1, we can always find another P, say, P2, corresponding to a shorter distance covered by M. And then again, we can find another point P, say, P3, corresponding to an even shorter distance. There is always the possibility of choosing another point P corresponding to a shorter distance. Trivially, this is because P is never chosen as identical to the starting point. And to each point Pi chosen, correspond a different 'first part' of the same movement. We will have as many "first parts" as we will choose P points.
So, the question is: can there be a smallest first part?
Suppose there is one. Call Psd the P point corresponding to this shortest distance. Psd is somewhere along the path taken by M, but it is different from the starting point and the endpoint, by construction. So, given that the space-time considered is continuous, we can in fact find a new P point, say, Pn, in between the starting point and the Psd point. Pn corresponds obviously to a shorter distance as covered by M and this distance will be smaller than the distance corresponding to Psd, which is contradicting our hypothesis that there is a smallest first part.
So, there is no smallest first part.
Please take the time to find holes in there but at the end of the day, I'd like all those who tried to talk UM out of insanity to take a view on this very nearly formal proof and express this view in non-ambiguous terms so I don't feel like I worked hard to no avail.
EB