¿Cuál es el tipo de argumento más complejo utilizado para resolver acertijos?

Esta es una pregunta muy general. Trataré de responder desde una perspectiva matemática (acertijo como en un problema matemático). Hay muchos tipos de métodos de prueba (prueba matemática).

  • 3.1 Prueba directa
  • 3.2 Prueba por inducción matemática
  • 3.3 Prueba por contraposición
  • 3.4 Prueba por contradicción
  • 3.5 Prueba por construcción
  • 3.6 Prueba por agotamiento
  • 3.7 Prueba probabilística
  • 3.8 Prueba combinatoria
  • 3.9 Prueba no constructiva
  • 3.10 Pruebas estadísticas en matemática pura
  • 3.11 Pruebas asistidas por computadora

Desde mi experiencia, la inducción, la contraposición y la contradicción son los tipos de pruebas “más fáciles”. Directo, constructivo y agotamiento son métodos de prueba difíciles. Pruebas especialmente exhaustivas ya que debe tener en cuenta todos los aspectos de un problema. Encuentro aún más difícil las pruebas combinatorias ya que tienes que combinar diferentes áreas de las matemáticas (por ejemplo, las pruebas de teoría de juegos pueden usar probabilidades y lógica). Otras pruebas enumeradas también son difíciles, pero en términos de complejidad, ¡”voto” por pruebas combinatorias!