Định lý chính liên quan đến vấn đề này là do một nhà toán học người Anh từ cuối thế kỷ 16, được gọi là William Shakespeare . Bài báo nổi tiếng nhất của ông về chủ đề này có tựa đề " Romeo và Juliet " được xuất bản năm 1597, mặc dù công việc nghiên cứu đã được tiến hành vài năm trước đó, lấy cảm hứng từ những tiền thân như Arthur Brooke và William Họa sĩ.
Kết quả chính của ông, được nêu trong Đạo luật II. Cảnh II , là định lý nổi tiếng :
Những gì trong một cái tên? mà chúng ta gọi là hoa hồng
Bởi bất kỳ tên nào khác cũng sẽ có mùi ngọt ngào;
Định lý này có thể được hiểu một cách trực quan là "tên không đóng góp cho ý nghĩa".
Phần lớn của bài viết được dành cho một ví dụ bổ sung cho định lý và cho thấy rằng, mặc dù tên không có ý nghĩa gì, chúng là nguồn gốc của những vấn đề bất tận.
Như Shakespeare đã chỉ ra, tên có thể được thay đổi mà không thay đổi ý nghĩa, một hoạt động mà sau này được gọi là -conversion của Alonzo Church và những người theo ông. Kết quả là, không nhất thiết đơn giản để xác định những gì được biểu thị bằng một tên. Điều này đặt ra một loạt các vấn đề như phát triển khái niệm môi trường trong đó liên kết tên-nghĩa được chỉ định và quy tắc để biết môi trường hiện tại là gì khi bạn cố gắng xác định ý nghĩa liên quan đến tên. Điều này khiến các nhà khoa học máy tính gặp khó khăn trong một thời gian, làm phát sinh những khó khăn kỹ thuật như vấn đề Funarg khét tiếngα. Môi trường vẫn là một vấn đề trong một số ngôn ngữ lập trình phổ biến, nhưng nó thường được coi là không an toàn về mặt vật lý để cụ thể hơn, gần như gây chết người như ví dụ của Shakespeare trong bài báo của mình.
Vấn đề này cũng gần với các vấn đề được nêu ra trong lý thuyết ngôn ngữ chính thức , khi bảng chữ cái và hệ thống chính thức phải được định nghĩa theo một đẳng cấu , để nhấn mạnh rằng các ký hiệu của bảng chữ cái là các thực thể trừu tượng , không phụ thuộc vào cách chúng "cụ thể hóa" như các yếu tố từ một số bộ.
Kết quả chính này của Shakespeare cũng cho thấy rằng khoa học sau đó đã chuyển hướng khỏi ma thuật và tôn giáo, nơi một sinh vật hoặc một ý nghĩa có thể có một tên thật .
Kết luận của tất cả những điều này là đối với công việc lý thuyết, thường không thuận tiện hơn khi không bị vướng tên, mặc dù nó có thể cảm thấy đơn giản hơn cho công việc thực tế và cuộc sống hàng ngày. Nhưng nhớ lại rằng không phải ai cũng gọi mẹ là mẹ của bạn.
Lưu ý :
Vấn đề được giải quyết gần đây hơn bởi nhà logic học người Mỹ thế kỷ 20
Gertrude Stein . Tuy nhiên, các đồng nghiệp toán học của cô vẫn đang cân nhắc các ý nghĩa kỹ thuật chính xác của định lý chính của cô :
Hoa hồng là hoa hồng là hoa hồng là hoa hồng.
xuất bản năm 1913 trong một cuộc giao tiếp ngắn mang tên "Thánh Emily".