¿Existe investigación sobre la demostración del teorema orientado al ser humano?

Puede haber. Se trata de un gran tema ya que preguntas sobre los humanos . El término prueba en matemáticas generalmente transmite una afirmación fuerte, lo que significa la veracidad de un teorema. Puede justificar tal teorema exactamente como se indica. Proponer investigaciones sobre teoremas y pruebas centrados en el ser humano significa que se relacionan con las personas. Tenemos que recordar que una comunidad de estudiantes, profesionales e investigadores de matemáticas pertenecen a una comunidad. En particular, pertenecen a un departamento y a una universidad más grande. Sus teoremas y pruebas como se afirma tendrán sentido para su comunidad y contexto. Pueden tener notación formal y un estilo de escritura. Y, por supuesto, el trabajo es relevante para sus cursos e investigaciones. Un buen teorema y prueba serán legibles para cualquier persona. Y una persona que estudie el mismo curso usará razonablemente el mismo idioma. Puede ser que centrado en los humanos, junto con teoremas y pruebas , sea legible para personas de muchas comunidades y contextos. Por lo tanto, cumplirá con las normas comunes, por ejemplo, culturales, políticas, económicas. En gran medida, la propiedad para asegurar es la certeza y la universalidad . Estas propiedades son más importantes ya que consideramos mejorar los teoremas y las pruebas para las personas.