프로그래밍 랭귀지의 약타입 검사에 쓰이는 연역과정과 법률의 기계적 해석. AI와 theorem prove. 법전을 기계적인 트랜슬레이터로 적용. PL론 배우면 저수준 언어로 바꾸는 과정을 다루면서 안전함soundness/완전함completeness을 거론한다고 함. 11.08.06 17:12
수학 힐베르트 프로그램...언어의 분석. 괴델의 불완정성 정리에 의해 파해됨. 일반적으로는 안 되지만 정제된 환경 하에서는 가능
3 개의 댓글이 있습니다.
자바의 가비지 컬렉션문제도 정지문제와 관련이있죠.
Nick Szabo의 A Formal Language for Analyzing Contracts 가 연상되네요.
서상현 고맙습니다. 도움이 될 것 같은 제목이네요 :D
자바의 가비지 컬렉션문제도 정지문제와 관련이있죠.
11.08.06 17:26Nick Szabo의 A Formal Language for Analyzing Contracts 가 연상되네요.
11.08.10 22:32서상현 고맙습니다. 도움이 될 것 같은 제목이네요 :D
11.08.10 22:33