이 문제에 관한 주요 정리는 16 세기 말 영국의 수학자 윌리엄 셰익스피어 ( William Shakespeare )에 기인한다 . 이 주제에 대한 그의 가장 잘 알려진 논문 은 1597 년에 ” 로미오와 줄리엣 ” 이라는 제목 으로 출판되었지만 연구 작업은 몇 년 전에 수행되었지만 Arthur Brooke과 William Painter와 같은 선구자에게 영감을주었습니다.

그의 주요 결과는 Act II에 명시되어 있습니다. 장면 II 는 유명한 정리입니다 .

이름이 뭐야? 우리가 장미라고 부르는 것은
다른 이름으로도 달콤한 냄새가납니다.

이 정리는 “이름이 의미에 기여하지 않는다”는 것으로 직관적으로 이해 될 수 있습니다.

이 논문의 대부분은 정리를 보완하고 이름이 의미를 부여하지 않더라도 끝없는 문제의 원인이라는 것을 보여주는 예에 전념하고 있습니다.

셰익스피어가 지적한 바와 같이, 이름은 의미를 바꾸지 않고 변경 될 수 있으며, 나중에 Alonzo Church 와 그의 추종자들에 의해 변환α

이라고 불렀 습니다. 결과적으로 이름으로 표시되는 것을 결정하는 것이 반드시 간단한 것은 아닙니다. 이로 인해 이름 의미 연결이 지정된 환경 개념 개발 및 이름과 관련된 의미를 결정할 때 현재 환경을 파악하는 규칙과 같은 다양한 문제가 발생합니다. 이로 인해 컴퓨터 과학자들은 당황 스러워서 악명 높은 Funarg 문제 와 같은 기술적 어려움을 겪었습니다.. 환경은 일부 인기있는 프로그래밍 언어에서 여전히 문제로 남아 있지만 일반적으로 셰익스피어가 그의 논문에서 작성한 예제만큼이나 치명적 일수록 물리적으로 더 안전하지 않은 것으로 간주됩니다.

이 문제는 주변에서 제기 된 문제도 공식 언어 알파벳과 공식적인 시스템이되어야 할 이론, 동형 사상 최대 정의 그래서 것을 밑줄에 관해서는, 알파벳의 상징이 추상적 인 실체는 , 그들이 어떻게 “구체화”등의 독립 일부 세트의 요소.

셰익스피어의이 주요 결과는 또한 과학이 마법이나 종교와 분리되어 존재 나 의미가 진정한 이름을 가질 수 있음을 보여준다.

이 모든 것의 결론은 이론적 작업의 경우 실제 작업과 일상 생활에서 더 단순하게 느껴지더라도 이름으로 방해받지 않는 것이 더 편리하다는 것입니다. 그러나 엄마라고하는 모든 사람이 당신의 어머니 인 것은 아닙니다.

참고 :
이 문제는 최근 20 세기 미국의 논리 학자 Gertrude Stein 에 의해 해결되었습니다
. 그러나 그녀의 수학자 동료들은 여전히 ​​그녀의 주요 정리 의 정확한 기술적 의미를 숙고하고 있습니다 .

장미는 장미입니다 장미는 장미입니다.

“Sacred Emily”라는 짧은 커뮤니케이션으로 1913 년에 출판되었습니다.

답변