ทฤษฎีบทหลักเกี่ยวกับปัญหานี้เกิดจากการเป็นนักคณิตศาสตร์ชาวอังกฤษจากจุดสิ้นสุดของศตวรรษที่ 16 ที่เรียกว่าวิลเลียมเช็คสเปียร์ บทความที่รู้จักกันดีที่สุดของเขาในเรื่องนี้มีชื่อว่า " Romeo and Juliet " ถูกตีพิมพ์ในปี ค.ศ. 1597 แม้ว่างานวิจัยได้ดำเนินการเมื่อไม่กี่ปีก่อนได้รับแรงบันดาลใจ
ผลลัพธ์หลักของเขาระบุไว้ในAct II ฉากที่สองเป็นทฤษฎีบทที่มีชื่อเสียง :
ชื่ออะไร? สิ่งที่เราเรียกว่ากุหลาบ
โดยชื่ออื่นจะมีกลิ่นหอมหวาน
ทฤษฎีบทนี้สามารถเข้าใจได้โดยสัญชาตญาณว่า "ชื่อไม่ได้มีส่วนช่วยในความหมาย"
ส่วนใหญ่ของบทความนี้อุทิศให้กับตัวอย่างที่สนับสนุนทฤษฎีบทและแสดงให้เห็นว่าแม้ว่าชื่อจะไม่มีความหมายก็ตาม แต่พวกเขาก็เป็นต้นเหตุของปัญหาที่ไม่รู้จบ
ตามที่ Shakespeare ชี้ให้เห็นชื่อสามารถเปลี่ยนแปลงได้โดยไม่เปลี่ยนความหมายการดำเนินการที่เรียกว่า -conversionαโดยAlonzo Churchและผู้ติดตามของเขา ดังนั้นจึงไม่จำเป็นที่จะต้องกำหนดว่าชื่อใดจะแสดงแทนได้ง่าย สิ่งนี้ทำให้เกิดปัญหาที่หลากหลายเช่นการพัฒนาแนวคิดของสภาพแวดล้อมที่ระบุการเชื่อมโยงความหมายของชื่อและกฎที่จะรู้ว่าสภาพแวดล้อมปัจจุบันคืออะไรเมื่อคุณพยายามกำหนดความหมายที่เกี่ยวข้องกับชื่อ นักวิทยาศาสตร์คอมพิวเตอร์ที่งงงวยอยู่ครู่หนึ่งก่อให้เกิดปัญหาทางเทคนิคเช่นปัญหา Funarg ที่น่าอับอาย. สภาพแวดล้อมยังคงเป็นปัญหาในภาษาการเขียนโปรแกรมยอดนิยมบางอย่าง แต่โดยทั่วไปแล้วถือว่าไม่ปลอดภัยทางร่างกายที่จะเฉพาะเจาะจงมากขึ้นเกือบจะเป็นอันตรายถึงตายเป็นตัวอย่างที่ทำงานโดย Shakespeare ในกระดาษของเขา
ปัญหานี้อยู่ใกล้กับปัญหาที่เกิดขึ้นในทฤษฎีภาษาที่เป็นทางการเมื่อตัวอักษรและระบบที่เป็นทางการจะต้องกำหนดขึ้นเพื่อ isomorphismเพื่อที่จะเน้นย้ำว่าสัญลักษณ์ของตัวอักษรที่เป็นนามธรรมหน่วยงานซึ่งเป็นอิสระจากวิธี องค์ประกอบจากบางชุด
นี้ผลที่สำคัญโดยแสดงให้เห็นว่าเช็คสเปียร์ยังว่าวิทยาศาสตร์นั้นก็แยกจากเวทมนตร์และศาสนาที่เป็นอยู่หรือความหมายอาจจะมีชื่อที่แท้จริง
บทสรุปของทั้งหมดนี้คืองานทางทฤษฎีมักจะสะดวกกว่าที่จะไม่เข้าไปยุ่งกับชื่อแม้ว่ามันอาจจะง่ายกว่าสำหรับงานภาคปฏิบัติและชีวิตประจำวัน แต่จำไว้ว่าไม่ใช่ทุกคนที่เรียกว่าแม่คือแม่ของคุณ
หมายเหตุ :
ประเด็นสำคัญคือการแก้ไขเพิ่มเติมเร็ว ๆ นี้โดยศตวรรษที่ 20 ตรรกวิทยาอเมริกัน
เกอร์ทรูดสไตน์ อย่างไรก็ตามเพื่อนร่วมงานนักคณิตศาสตร์ของเธอยังคงไตร่ตรองถึงนัยทางเทคนิคที่แม่นยำของทฤษฎีบทหลักของเธอ:
ดอกกุหลาบเป็นดอกกุหลาบเป็นดอกกุหลาบเป็นดอกกุหลาบ
ตีพิมพ์ในปี 2456 ในการสื่อสารสั้น ๆ เรื่อง "ศักดิ์สิทธิ์เอมิลี่"