36 votos

Debo entender un teorema de la prueba antes de usar el teorema?

Me encuentro a mí mismo de vergüenza cuando el uso de los resultados en los libros.

Por ejemplo, hay muchos resultados en espacios de Sobolev que creo que yo no sería capaz de entender todo de ellos.

Sí, yo podría tratar de comprender algunos de ellos, pero a menudo me encuentro necesito más, y un teorema se basa en otro antes de él, así que toma tiempo para remontar de nuevo.

¿Cuál es tu experiencia / ¿qué sugiere usted?

Edit: a Veces, estoy preocupado de que si son muy pocos los usuarios de un teorema muy verificar la prueba, como el software que no está bien probado, puede haber algunos errores en el interior.

42voto

user139388 Puntos 2826

Creo que es una mala política para exigir a sí mismo para entender cada teorema antes de aplicarlo. Imagine que usted tiene que comprender cómo cada coche, la nevera o el equipo trabajó antes de usar ... te estaría paralizado por la inacción.

Concedido, como un matemático (suponiendo que son uno), la situación es un poco diferente, porque estamos hablando de la comprensión de las cosas en su campo, pero la matemática es muy vasto, y me atrevería a decir que nadie vivo hoy lo sabe todo. Esto no le impide ser un profundamente interconectados cosa, sin embargo, que los resultados de zarcillo, a menudo se requieren en los demás.

Mi consejo es utilizar cualquier resultado como sea necesario, y si se convierte en algo que se emplean a menudo, entonces puede ser una buena idea para empezar a entender en un nivel más fundamental. Esto depende de cosas tales como la cantidad de la teoría es necesaria para entender la prueba del teorema, ¿cuánto tiempo y esfuerzo que se requiere, de lo útil que será que esos esfuerzos sean para usted en un sentido práctico.

Si se considera una parte de su rama de las matemáticas, puede ser algo que finalmente debe obtener alrededor plenamente instaurado. Pero esto no se puede hacer con todo, y estoy seguro de que hay algunos primaria cuyos resultados de las pruebas nunca lo he buscado.

Usted puede perder fácilmente semanas de tiempo a la lectura de libros y papeles en un esfuerzo para entender un resultado, al final simplemente aplicarlo como lo hubiera hecho y no se sentirá como usted ha ganado nada más de él (aunque a veces sí). Me gustaría tratar de evitar ese tipo de una amarga experiencia, si es posible.

Pero no se sienta avergonzado. Para una cosa, no le hace ningún bien, y por el otro, no hay nada vergonzoso en ser simplemente sin embargo, para leer una prueba. La matemática es una caja de herramientas, y si tienes que elegir una herramienta y utilizarla como la intención, no siempre importa lo mucho que usted entiende cómo la herramienta opera/.

16voto

Hagen von Eitzen Puntos 171160

Usted es bienvenido a pararse sobre los hombros de gigantes. Es el propósito de teoremas para ser utilizado sin tener que rehacer la prueba cada vez que se utilizan, y eso es lo que te cite el autor de un (peer-corregido publicado) prueba. En última instancia, la validez de su argumento, si se basa en el Teorema de X de autor Y, no confían en la comprensión de la prueba Y ha escrito, pero en el teorema de X es verdadero (para lo cual sería suficiente Y si la prueba es correcta). Si usted desea hacer uso de los teoremas de tales como la clasificación de los finitos simples grupos o 4-color-teorema de o Último Teorema de Fermat, no se recomienda que usted lea y digerir la prueba plena. Por otro lado, si encontrar algunos auto-publicado pdf folleto con una prueba de la conjetura de Goldbach, no se recomienda el uso del resultado sin haber comprobado la prueba. Pero aparte de esto es, por supuesto, la mayoría de los instructivos de hecho, leer una prueba, y familiarizarse con las ideas, incluso si usted puede tener brincar los detalles demasiado lejos de su propia área, y estoy de acuerdo con usted en que un teorema con el comprobante de que usted entiende sólo se siente mejor cuando se utiliza. También,usted puede obtener un mejor conocimiento acerca de algún oscuro o fácil de pasar por alto las condiciones necesarias y por qué son necesarias (basta pensar en la aplicación de un teorema que dice "Para cada función $f$ ..." / "Para cada espacio vectorial $V$ ..." a una situación general en la que usted tiene en mente y te olvides de notar que el autor escribe que él sólo se ocupa de funciones analíticas o finito dimensionales espacios vectoriales sobre los campos de característica cero, digamos, y en aras de la brevedad se deja fuera de estos atributos importantes en el resto del texto).

11voto

parzan Puntos 16

Me gustaría añadir que lo que en mi experiencia es un punto muy importante a la excelente respuesta dada por user139388. Si coges un resultado, lo uso a menudo y adquirir experiencia en cómo utilizarlo y así captar su significado más profundo, que a menudo encontrar una de estas dos cosas suceden (casi seguro que la primera que va a suceder):

  1. Pruebas y exposiciones que anteriormente se encontró increíblemente impenetrable buscará wonted y mucho más fácil. Con la exposición repetida a las ideas en el resultado, su mente está mucho más preparado para mantener su agarre en una compleja estructura general de un resultado.

  2. Usted puede despertar un día para encontrar una idea general de cómo el resultado podría ser probada, y, si esto le sucede a usted, más a menudo que no es no está demasiado lejos de la "norma de las" pruebas de el resultado: una experiencia realmente satisfactoria en la medida en que usted comienza a sentir que hay una profunda Platónica de la realidad de las matemáticas! - "mi mente se vino arriba con la manera "natural" para buscar en esta idea por su propia cuenta"!

Mi tendencia natural es querer entender las cosas antes de utilizarlos: algo que creo que en principio sería admirable si la duración de nuestra vida fueron de 5000 años. Pero se puede perder una gran cantidad de tiempo, especialmente si usted tiene la experiencia en el punto 1. arriba: "usted se preguntará ¿por qué he de residuos de $$ x días, semanas, meses de mi vida en la que!?"

A menudo me compare las matemáticas para el código de computadora y software de diseño y me han cortado muchos cientos de miles, si no millones, de las líneas de la última en mi vida (de hecho hace poco leí automatizado en el teorema de armario de Isabelle se utiliza para probar la solidez de un sistema operativo, ver[1]). La mayoría de código de computadora me parece impenetrable, a menos que me vea obligado a mirar en detalle. Y esto me parece un muy, muy duro slog. Pero si un mensaje, método o procedimiento tiene un lugar bien definido, bien diseñado firma, entonces eso es todo lo que necesito para hacer bien el trabajo. Y yo ciertamente no pensar en mí mismo como incapaz de concebir y escribir código complejo.

[1]: Klein G; Andronick J; Elphinstone KJ; Heiser GA; Polla D; Philip D; Elkaduwe D; Engelhardt K; Kolanski R; Norrish M; Sewell T; Tuch H; Winwood S, 2010, 'seL4: la verificación formal de un sistema operativo, kernel', en Communications of the ACM, vol. 53, no. 6, págs. 107 - 115, http://dx.doi.org/10.1145/1743546.1743574

4voto

user21820 Puntos 11547

Personalmente creo que lo mejor es que al menos tienen un sentido intuitivo de por qué un teorema es verdadero, independientemente de si uno pasa a través de la prueba cuidadosamente. Que la intuición también una guía para identificar fácilmente cosas como la estructura subyacente del problema, los límites de los casos que necesitan de cheques o casos especiales que pueden ser suficientes para propósitos específicos.

Y sí, tengo la misma preocupación por ocultar teoremas que muy pocos usan. Es bien sabido que hay errores en incluso respetados publicado revistas, y a mí que debe ser evitado si es posible. En matemáticas, en realidad hay una manera de eliminar completamente todos los errores, a saber, la prueba como asistentes, Mizar, pero sigue siendo muy pocos los matemáticos están utilizando.

En cuanto a libros que son leídos, es poco probable que tenga errores graves, pero siempre hay todavía la posibilidad de que si usted no verificar de alguna manera.

3voto

Mr.Fry Puntos 3441

Por experiencia, puedo dar fe de endeudamiento ideas con regularidad para demostrar cosas (no copiar soluciones!). Esta es una práctica común desde que aprender matemáticas por la lectura y las matemáticas.

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