You are correct. For moving 4000 lbs, you need some math. Here is how I solve this type of problem.
Step 1: Sketch an acceleration - velocity - position diagram that includes all available information. A pencil sketch is good enough at this stage. Your diagram would start as follows:
View attachment 366227
You know the total move time and distance, but do not know acceleration, deceleration, or peak speed. It would require infinite acceleration and deceleration to move at constant speed for the entire distance, so that motion profile is clearly impossible. Another limiting case is constant acceleration for halfway, then decelerate at the same rate to bring it to a stop.
The math is as follows:
1) Velocity equals the integral of acceleration up to that time, AKA the area under the acceleration curve.
2) Position equals the integral of velocity up to that time, AKA the area under the velocity curve.
3) Sketch Accel - Vel - Pos curves for acceleration halfway, and equal deceleration for the last half, and convince yourself that the calculations in Post #4 are correct.
4) Now calculate the acceleration force and peak velocity.
5) For a 4000 pound mass, you cannot assume that friction will be small enough to ignore. You need data. Possibly pull a similar system using a spring scale.
6) The gearmotor must deliver enough torque to meet the sum of the acceleration torque plus friction torque. It must be geared to deliver the peak speed.
Now you can iterate. Reducing the portion of the move for acceleration and deceleration will increase the peak torque requirement and decrease the peak speed. Use the diagram method to help you figure out the equations.
Expect that a simple gearmotor with an induction motor cannot meet these requirements. You will need an industrial servomotor and drive system matched to an appropriate gear reducer. One manufacturer that I have had experience with is Allen-Bradley. They are not the only manufacturer that makes suitable motors, but an example of what an application like this needs. Link to their servo motor catalog:
https://literature.rockwellautomation.com/idc/groups/literature/documents/td/knx-td001_-en-p.pdf. And a link to their catalog of drives needed to drive the motor:
https://literature.rockwellautomation.com/idc/groups/literature/documents/sg/knx-sg001_-en-p.pdf. That's a total of 486 pages of technical information. Mechanical engineers typically find the page that lists the available motors, with their torques and speeds, make a preliminary motor selection, then call in a control engineer. The control engineer adjusts the motor selection, figures out how to drive it, and implements the motion profile.