항목
-
해상도 원리 해결 원리, resolution principle1계의 술어논리에 등가인 형식적 연역계를 주는 추론 원리의 하나. 해결 원리, 해소 원리라고도 한다. 컴퓨터에 의한 정리의 기계적 증명을 위하여 Robinson에 의해서 고안된 방법이며, 프로그램 검증 시스템 등에 많이 이용된다.
- 분야 :
- 프로그래밍
-
잡아함경, 악업을 행하면 평안을 얻기 힘들다뿐 더하지도 덜하지도 않다. 이것이 상주법계다. 불교의 ‘불생불멸 상주법계’라는 것은 질량과 에너지의 관계, 즉 에너지가 질량이며 질량이 에너지라는 등가원리에 의해 물리적으로 증명된 일이다.” 그 당시 이 법문은 불교계에 큰 파장을 일으켰다. 스님이 물리학 이론을 동원해 법문을 한 것은 매우 이례적인 일...
-