Supongamos que el último momento en el que el coche estaba en reposo es en $t_0=0$. ¿A qué hora es el primer momento en el que el coche se mueve?
Supongamos que eliges algún número $t_{first} > 0$. No importa qué número elijas. Siempre puedes demostrar que hay un problema con él.
Hay un número $t_{first}/2$. Este número es mayor que $0$, por lo que es después de $t_0$. Así que el coche no está en reposo. Está antes de $t_{first}$, así que el coche aún no ha comenzado a moverse.
Esto es una contradicción. Muestra que no puedes elegir un momento después de $t_0$ que sea el momento en que el coche se mueve por primera vez. Debes concluir que el coche comienza a moverse en $t_0$. Así que tienes razón en desconfiar de su respuesta.
Esta pregunta sigue generando interés, así que pensé que añadiría algo a mi respuesta.
Los primeros números son importantes. Este paradox fue propuesto por primera vez por Zeno. No se resolvió durante miles de años. Pero es bastante sencillo para los matemáticos modernos.
Dicho eso, todavía tienes que tener cuidado con él. No he sido lo suficientemente cuidadoso. La resolución que propuse es que en $t = t_0$, el coche está tanto en reposo como en movimiento. Esto suena como un paradox.
Está bien - soy físico. El propósito de la física es modelar el comportamiento del universo. Una inconsistencia lógica tan pequeña no cambia en absoluto el comportamiento predicho del coche. Los físicos hacen aproximaciones más grandes todo el tiempo.
Pero no es suficiente para un matemático. Los matemáticos modelan ideas. La lógica es su única herramienta. Si la lógica no es hermética, se puede probar una afirmación falsa. Y una afirmación falsa se puede usar para probar más. Toda la estructura de las matemáticas colapsaría.
Entonces un matemático prestaría más atención a las definiciones. ¿Qué se entiende exactamente por "en reposo" o "ha comenzado a moverse"? ¿Está en reposo el coche si su posición no ha cambiado? ¿Si su velocidad es $0$?
Notaría que no he demostrado realmente que el coche haya comenzado a moverse en $t_0$. Sólo en todo momento después de $t_0$. No hay tal cosa como el primer momento en el que la posición del coche ha cambiado. Solo hay un último momento en el que no ha cambiado.
Este tipo de distinción es crucial para la topología de conjuntos punto. Determina muchas propiedades interesantes de los espacios topológicos. (¿De dónde sino CalTech vendría una introducción como el enlace de la División de Humanidades y Estudios Sociales?)