¿Cuál es el problema lógico más difícil que conoces?

Answer 1

Encontrar la cantidad mínima de aviones para hacer un viaje de ida y vuelta a la Tierra dado que 1 avión puede transportar combustible durante la mitad del viaje como máximo es la pregunta que encontré hasta que llegué a conocer la parte de la solución lista para usar.

El famoso problema de Monty Hall, incluso después de conocer la solución, todavía me pareció más difícil.

Además, tengo una lista de preguntas que encontré pensadas y que requiere pensar de inmediato:

1. Rompecabezas clásico de 2 huevos y 100 pisos
2. Puzzle de Cinco piratas y monedas de oro
3. Rompecabezas de seis piratas y monedas de oro
4. Probabilidad de tener un niño
5. Asientos de avión al azar
6. Rompecabezas invertido
7. Voltear Monedas Rompecabezas
8. Tres colores de sombrero Microsoft Puzzle
9. 25 caballos 5 pistas Puzzle
10. Gold Bar Puzzle
11. Cruzando el puente Puzzle
12. ¿Aceptarás la apuesta?
13. El rompecabezas de 100 sombreros
14. El hombre cayó en pozo Puzzle
15. Cantidad mínima de pesos
16. Una bombilla con 3 interruptores
17. Encuentra el número mínimo de aviones
18. Cuerdas ardientes para medir el tiempo
19. Conecta 3 casas con 3 pozos
20. Probabilidad de tener un niño
21. Problema de hormiga y triángulo
22. El hombre en el elevador
23. Encuentra al sobreviviente
24. Libere el rompecabezas de los prisioneros
25. LA GRAN ESTRATEGIA SOLO PUEDE SALVAR LA VIDA

Answer 2

Lo que pasa con los problemas en la lógica pura es que son bastante rutinarios de resolver o imposiblemente difíciles. Para ejemplos de lo primero, consulte cualquier texto lógico. Para ver ejemplos de esto último, consulte la Lista de problemas no resueltos en matemáticas.

Hay algunos problemas lógicos simples que involucran trucos no obvios, aunque muchos de estos ejemplos deberían clasificarse adecuadamente como acertijos en lugar de problemas lógicos verdaderos (como en los muchos problemas “lógicos” que realmente se reducen a desenredar una ambigüedad o equívoco). Hay ejemplos lógicos genuinos que implican un pensamiento innovador. Un ejemplo clásico es la Ley de Peirce, [matemáticas] ((p \ rightarrow q) \ rightarrow p) \ rightarrow p [/ math]. Este es un teorema de la lógica clásica, pero no se puede probar utilizando las técnicas que normalmente se aplican a los condicionales. Para probarlo, debe usar reductio para derivar el p final de su antecedente, o bien convertir todos los condicionales en disyunciones y aplicar DeMorgan Laws repetidamente para mostrar que todo es equivalente al medio excluido.