Bu konuyla ilgili ana teorem, 16. yüzyılın sonlarından itibaren William Shakespeare adlı İngiliz bir matematikçiden kaynaklanmaktadır . Konuyla ilgili en iyi bilinen makalesi " Romeo ve Juliet " başlıklı 1597'de yayınlandı, ancak araştırma çalışmaları birkaç yıl önce yapıldı, ilham verdi, ancak Arthur Brooke ve William Painter gibi öncüler oldu.
Ana sonucu, II. Sahne II , ünlü teoremdir :
Bir isimde ne var? bir gül dediğimiz
başka bir isimle tatlı gibi kokacaktı;
Bu teorem sezgisel olarak "isimler anlama katkıda bulunmaz" olarak anlaşılabilir.
Makalenin büyük bir kısmı teoremi tamamlayan ve isimler anlam katmasa da sonsuz sorunların kaynağı olduğunu gösteren bir örneğe ayrılmıştır.
Shakespeare'in işaret ettiği gibi, isimler anlam değiştirmeden değiştirilebilir, daha sonra Alonzo Kilisesi ve takipçileri tarafından dönüşüm olarakα adlandırılan bir işlem . Sonuç olarak, bir isimle neyin ifade edildiğini belirlemek her zaman basit değildir. Bu, ad-anlam ilişkilendirmesinin belirtildiği bir ortam kavramı geliştirmek ve bir adla ilişkili anlamı belirlemeye çalıştığınızda mevcut ortamın ne olduğunu bilmek gibi çeşitli sorunları ortaya çıkarır. Bu bilgisayar bilimcilerini bir süre şaşkına çevirerek meşhur Funarg problemi gibi teknik zorluklara yol açtı. Ortamlar bazı popüler programlama dillerinde bir sorun olmaya devam etmektedir, ancak genellikle Shakespeare'in makalesinde çalıştığı örnek kadar ölümcül olduğu için fiziksel olarak daha güvenli olmadığı düşünülmektedir.
Bu sorun yakın çıkardığı sorunlara da biçimsel dil alfabe ve biçimsel sistemler lazım teori, bir eşbiçimlilik kadar tanımlanmış böylece çizgi olarak, alfabelerin semboller soyut varlıklardır , nasıl "Materialise" olarak bağımsız bazı kümesinden öğeleri.
Shakespeare'in bu büyük sonucu, bilimin daha sonra bir varlığın veya bir anlamın gerçek bir isme sahip olabileceği sihir ve dinden ayrıldığını da gösterir .
Tüm bunların sonucu, teorik çalışma için, pratik çalışma ve günlük yaşam için daha kolay hissedilmesine rağmen, isimlerle çarpılmamanın genellikle daha uygun olmasıdır. Ama hatırlayın ki annem denen herkes annen değildir.
Not :
Konu 20. yüzyılda Amerikalı mantıkçı Gertrude Stein tarafından daha yakın bir zamanda ele alındı
. Bununla birlikte, matematikçi meslektaşları hala ana teoreminin kesin teknik sonuçlarını düşünüyor :
Gül bir gül, bir gül bir gül.
1913 yılında "Kutsal Emily" başlıklı kısa bir iletişimde yayınlandı.