Computability Logic에서 말하는 Program이란?

학교/계산이론 2014. 9. 16. 00:53

프로그램이란 간단하게 생각하면, 두사람이 대화하는 것으로 볼 수 있다. 예를 들어 A라는 사람이 B라는 사람에게 1에서 100까지 더하라고 하였다. B라는 사람은 이문제를 해결하기 위해 규칙을 학흡하여야 한다 , 그리고 규칙을 학습한뒤 5050이라는 답을 내놓을 수 있다. 이러한 대화를 computability logic으로 이해하려면 A라는 사람이 사용자고 B라는 사람은 컴퓨터가 된다. 그래서 A라는 사람이 UySum(1,100,y)입력하면 컴퓨터는 몇가지 Rule(Sum(1,1,1) , Sum(1,n,n+y) if,Sum(1,n-1,y))를 학습하게 된다. 그러면 다음 컴퓨터는 5050이라는 값을 출력하는 것으로 해 할 수 있다.