10
알 수없는 완성도의 프로그래밍 언어 작성
언어가 튜링 완료 인지 확인하는 것은 언어를 디자인 할 때 매우 중요합니다. 많은 난해한 프로그래밍 언어가 시작하기에는 꽤 어려운 작업이지만 한 단계 더 발전시킬 수 있습니다. 튜링 컴플리트를 증명하기 어려운 프로그래밍 언어를 만들면 세계 최고의 수학자조차도 어느 쪽이든 증명할 수 없습니다. 당신의 임무는 Turing Completeness 가 수학 의 주요 미해결 …