Al final de una prueba, me escriben a menudo "como iba a ser mostrado" o "q.e.d". Ambos de estos términos de sentido para mí como lector. Por otro lado, me siento un poco extraño que poner $\square$ aunque he visto muchas veces por aquí y por allí. De hecho, aprendí $\square$ la notación aquí. Me pregunto si alguien me podría dar una breve explicación de $\square$ la notación matemática. ¿De dónde provienen? Lo que es más importante, cómo lo hace, lógicamente, quiere decir "fin" de una prueba? Gracias.
Respuestas
¿Demasiados anuncios?
Sólo significa la misma cosa como q.e.d. Su introducción es generalmente atribuida a Paul Halmos:
"El símbolo es definitivamente no es de mi invención - apareció en revistas populares (no matemáticas) antes de que lo aprobó, pero, una vez más, me parece que la introdujo en las matemáticas. Es el símbolo que se parece a veces ▯, y se utiliza para indicar un final, por lo general al final de una prueba. Frecuentemente es llamado el 'lápida', pero al menos una generosa autor se refiere a ella como la "halmos'.", Paul R. Halmos, Quiero Ser un Matemático: Una Automathography, 1985, pág. 403.
(Esta es la cita de Wikipedia)
Dan Walker
Puntos
3466
Ver
Cuando la composición fue hecha por un compositor con tipografía de imprenta, el complejo de la tipografía como las matemáticas y lenguas extranjeras se llama "pena de copia" (el autor pagado una "pena" que tienen ellos de composición tipográfica, como era más difícil que la de texto sin formato).[8] Con el advenimiento de los sistemas, tales como el Látex, los matemáticos encontrar las opciones más abierto, así que hay varias simbólico alternativas en uso, ya sea en la entrada, la salida, o ambos. Cuando la creación de TeX, Knuth siempre el símbolo ■ (cuadro de color negro), también llamado por los matemáticos de desecho o Halmos símbolo (después de Paul Halmos, que fue pionera en su uso). La lápida es a veces abierto: □ (hueco cuadrado negro).
Daniel Parry
Puntos
411
user11300
Puntos
116
Quizás se trata como un tramo, pero tenga en cuenta la deducción natural de las pruebas de Jaskowski. Encontrar una secuencia de instrucciones dentro de las cajas con la última declaración de fuera de cualquiera de las cajas... ver aquí. Así, se podría interpretar el cuadro símbolo de la indicación de la última declaración de caer fuera de las cajas de prueba, fueron la prueba para obtener escrito en ese estilo. O en otras palabras, indica la última instrucción como un teorema. Esto no quiere decir que es históricamente correcta interpretación de este símbolo, aunque.
