De acuerdo con el usuario de Quora en que la solución propuesta para este conocido problema puede parecer inducción, pero no es inducción.
La primera pista es que, si fuera inducción, la conclusión sería cierta, porque la inducción real siempre funciona. Sabemos que la conclusión es falsa, por lo que esto no es inducción. Pero, ¿en qué se diferencia de la inducción?
Reformularé lo que Aakash ya ha explicado en su respuesta.
Suponga que tiene una declaración s (n) que depende de un número n. Desea demostrar que la afirmación es verdadera para algún conjunto de números (generalmente, todos los números naturales). Para hacerlo mediante inducción, debe:
- ¿Cuál es la prueba matemática de la ley de viscosidad de Newton?
- Cómo demostrar que existen conjuntos finitos de matrices unitarias NXN [matemática] {U_i} [/ matemática] y probabilidades (que suman 1) [matemática] {p_i} [/ matemática] de cardinalidad igual para todas las matrices NXN [matemáticas] A [/ matemáticas], [matemáticas] \ sum_i p_i U_i A U_i ^ \ dagger = \ frac {tr (A)} {N} I [/ matemáticas]
- Un típico juego de tres loterías tiene una recompensa de $ 500 en un boleto de $ 1 y la posibilidad de ganar es de 1 en 1000. ¿Muestra que la recompensa esperada es menor que 1?
- Cómo convencer a las personas con pruebas matemáticas de que nada puede ir más rápido que la velocidad de la luz
- ¿Qué significa esta afirmación: ‘Por el teorema de Menger, para cada x, y hay k’ (G) aristas disjuntas por pares ‘?
- Demuestre el caso base, es decir, demuestre que s (1) se cumple (suponiendo que desea comenzar desde 1, podría comenzar desde 153 si no le importaron todos los números a continuación).
- Probar el paso inductivo, es decir, demostrar que s (n-1) => s (n).
El método que se describe en la pregunta se parece a la inducción:
- Hay un caso base, es decir, el cuestionario sorpresa no puede ser el último día.
- Hay un paso inductivo, es decir, si el cuestionario no puede ser el día n, entonces no puede ser el día (n-1). (la inducción en este caso funciona al revés; no es importante).
¿Entonces, dónde está el problema? En el paso inductivo!
Porque realmente, el paso inductivo solo es válido asumiendo que ya has visto que no ha habido cuestionarios desde los días 1 a n-1. Entonces, no ha logrado hacer la implicación real requerida para el paso inductivo, s (n) => s (n + 1), porque la implicación real que puede hacer está condicionada por la verdad de alguna otra declaración que depende de n (en este caso, que no ha habido cuestionarios en los días 1 a n-1); y no es así como funciona la inducción.
Si aún no ha visto si la prueba se realizó antes del (n-1) día, no podría llegar a ninguna conclusión sobre el hecho de que no tener la prueba el día n implica no tenerla el (n-1) th día Solo imagínese en el día 1. ¿Podría decir que ninguna prueba el último día no implica ninguna prueba el segundo y último día? No. Y así no tienes paso inductivo.
Esto también explica por qué es totalmente cierto que el cuestionario nunca puede realizarse el último día: ¡porque el caso base es correcto!