5 votos

¿Por qué "las leyes de De Morgan", por qué no los teoremas de De Morgan?

Mientras que nos pueden resultar De Morgan términos, que se llama "la ley y el estado" en muchos libros de texto, las referencias y también de la Wikipedia(+)! ¿por qué la ley?

The negation of a conjunction is the disjunction of the negations

The negation of a disjunction is the conjunction of the negations

No son los términos teorema, en realidad?

5voto

vonbrand Puntos 15673

La verdad es que muchos de los resultados tienen nombres no estándar, como los que usted menciona, el algoritmo de la división, y el postulado de Bertrand (que no fue demostrado por Bertrand). Luego hay toda una serie de conjeturas que probablemente llevan sus nombres para siempre, incluso después de ser probado (como la hipótesis de Riemann); las conjeturas que se llama "teorema" (como el último teorema de Fermat, el pasado, ya que fue uno de los pocos no probados resultados por Fermat que Euler no fue capaz de demostrar, y resistido siglos de trabajo). La estricta teorema/lema/corolario de la división es sólo ficción, hay personas que prefieren llamar a todo "de la proposición," hay un montón de lemmata que resultó mucho más importante que el (ahora casi olvidado) de los resultados se llevó a. Mathemathics es un humano esfuerzo, con un montón de manías y caprichos.

3voto

Pedery Puntos 2716

La respuesta aquí es realmente útil: la Diferencia entre un teorema y una ley. Creo que tienes razón, aunque!

A partir de ese vínculo: "Teoremas son resultados probados a partir de los axiomas, más concretamente las de la lógica matemática y los sistemas en cuestión. Las leyes generalmente se refieren a los axiomas propios, pero también puede referirse a los bien establecidos y fórmulas comunes, tales como la ley de los senos y la ley de los cosenos, que realmente son teoremas." -user4594

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X