El teorema principal con respecto a este tema se debe a un matemático británico de finales del siglo XVI, llamado William Shakespeare . Su artículo más conocido sobre el tema se titula " Romeo y Julieta " fue publicado en 1597, aunque el trabajo de investigación se realizó unos años antes, inspirado pero precursores como Arthur Brooke y William Painter.
Su principal resultado, declarado en el Acto II. Escena II , es el famoso teorema :
¿Lo que hay en un nombre? lo que llamamos una rosa con
cualquier otro nombre olería tan dulce;
Este teorema puede entenderse intuitivamente como "los nombres no contribuyen al significado".
La mayor parte del artículo está dedicada a un ejemplo que complementa el teorema y muestra que, aunque los nombres no aportan ningún significado, son la fuente de problemas interminables.
Como en punta a cabo por Shakespeare, los nombres se pueden cambiar sin cambiar el significado, una operación que más tarde fue llamado -Conversiónα por Alonzo Church y sus seguidores. Como consecuencia, no es necesariamente simple determinar qué se denota con un nombre. Esto plantea una variedad de problemas, como el desarrollo de un concepto de entorno donde se especifican las asociaciones de significado y nombre, y las reglas para saber cuál es el entorno actual cuando intenta determinar el significado asociado con un nombre. Esto desconcertó a los informáticos durante un tiempo, dando lugar a dificultades técnicas como el infame problema de Funarg.. Los entornos siguen siendo un problema en algunos lenguajes de programación populares, pero generalmente se considera físicamente inseguro como más específico, casi tan letal como el ejemplo elaborado por Shakespeare en su artículo.
Este problema también está cerca de los problemas planteados en la teoría del lenguaje formal , cuando los alfabetos y los sistemas formales deben definirse hasta un isomorfismo , para subrayar que los símbolos de los alfabetos son entidades abstractas , independientes de cómo se "materializan" como elementos de algún conjunto.
Este importante resultado de Shakespeare muestra también que la ciencia estaba divergiendo de la magia y la religión, donde un ser o un significado pueden tener un nombre verdadero .
La conclusión de todo esto es que, para el trabajo teórico, a menudo es más conveniente no ser gravado por nombres, a pesar de que puede parecer más simple para el trabajo práctico y la vida cotidiana. Pero recuerda que no todos los que se llaman mamá son tu madre.
Nota :
El problema fue abordado más recientemente por el lógico estadounidense del siglo XX
Gertrude Stein . Sin embargo, sus colegas matemáticos todavía están reflexionando sobre las implicaciones técnicas precisas de su teorema principal :
Rose es una rosa es una rosa es una rosa.
publicado en 1913 en una breve comunicación titulada "Sacred Emily".