¿Qué es una instancia de una prueba de la ratonera?

Question

Una parte del primer capítulo del libro El espíritu y los usos de las ciencias matemáticas , habla sobre la belleza de las matemáticas. El autor cita a partir de una conferencia de Hasse y se introduce la noción de una trampa para ratones de prueba. Siento que el autor da una lúcida exposición sobre lo que hablamos, pero lamentablemente sin un ejemplo de una prueba de este tipo.

Buscando después de que al menos un ejemplo de una prueba de este tipo.

Si responder a esta pregunta requiere más información, por favor siéntase libre de estado.

El párrafo original está en la siguiente formulación, el capítulo de haber titulado Los rasgos característicos del pensamiento matemático y escrito por el PROF. EL DR. RER. NAT. J. WEISSINGER:

El criterio de la belleza en el segundo nivel, de acuerdo a la Naturaleza, son la determinación y la elegancia. La determinación significa que en cada punto de prueba debemos saber dónde estamos y debe tener el objetivo a la vista. Lo contrario de esto es la llamada trampa de la prueba, en el que se desplazan hacia adelante conclusión en conclusión, hasta que de repente la puerta se cierra. Nos sentimos víctimas de una emboscada, extraordinariamente estúpido, e irritado por la esotérica ingenio del autor, sin embargo, cuando tratamos de roer en los bares de las conclusiones lógicas, nos vemos obligados a admitir que la prueba es sólido y sin defectos.

Hermosas, ¿no? Aquí las palabras en negrita son aquellos cita marcada en el texto original.

Answer 1

Encontrar esa noción (o más bien su traducción alemana Mausefallenbeweis) solamente en el contexto del filósofo alemán Schopenhauer, que las monedas que en el contexto de la prueba de Euclides del teorema de Pitágoras: lógicamente obliga al lector a creer el resultado sin mucho conocimiento (a diferencia de alguna otra prueba que utiliza apenas un cuadro y uno entiende inmediatamente).

Answer 2

La siguiente es una extractos de aquí (una conferencia inaugural de algún tipo en la universidad de Heidelberg):

"Auf der zweiten Stufe der Schönheitskriterien stehen nach Hasse morir Forderungen nach Eleganz und nach Zielstrebigkeit. Die letzte bedeutet, daß hombre un jeder Stelle eines Beweises weiß, wo man steht, und das Ziel vor Augen sieht. Das Gegenteil eines solchen Beweises ist der los llamados ,,Mausefallenbeweis". Hombre tastet sich Schluß für Schluß vorwärts und mit einem Mal fällt morir Klappe zu: el Hombre vuelve a casa sich überrumpelt und außerordentlich dumm vor; aber so viel hombre auch den un Gitterstäben der logischen Schlüsse zu nagen sucht, el hombre ist gefangen, der Beweis ist lückenlos richtig."

Euclides de la prueba del teorema de Pitágoras no es una "ratonera " prueba" en este sentido filosófico. Cuando se llama por ese nombre, a continuación, debido a que los movimientos de los cuadriláteros en Euclides prueba de parecerse a lo que sucede cuando una ratonera incendios.