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.
¿Existe investigación sobre la demostración del teorema orientado al ser humano?
Related Content
Si toma 3 manzanas de 5 manzanas, ¿cuántas manzanas tiene?
¿Cuál es el valor de x en la ecuación 3 ^ [x + 2] + 3 ^ [-x] = 10?
¿Cómo se muestra rigurosamente que si [math] w '<w \ implica b ^ {w'} <b ^ {w} [/ math]?
More Interesting
Si [matemáticas] 8x = 64 [/ matemáticas], ¿cuál es el valor de [matemáticas] x [/ matemáticas]?
¿Qué propiedad de suma es a + 0 = a?
¿Por qué la longitud de la sección divergente en un medidor venturi es más larga que la convergente?
¿Cuáles son las aplicaciones de los derivados en la vida real?
¿Cuál es la fórmula autorreferencial de Tupper? ¿Cómo se decide el valor de K?
Relaciones: ¿Qué lógica me ayudará a entender qué número va arriba y cuál va abajo?
¿Qué puedo hacer, como estudiante de matemáticas, para hacerme un analista de datos?
¿Cuál es la aplicación principal para la progresión geométrica?
¿Cuál es la definición precisa y formal de la integridad de Turing?
¿Cuánto tiempo llevaría pasar de AMC 10 (o 12) a AIME?
Si f (x) = 2016, ¿qué significa f (x + 2016) =?
¿Cuáles son algunos trucos matemáticos utilizados para las competiciones matemáticas de velocidad?