* 연구의 결과 (증명된 것)
** 답
0. 답answer의 유무를 모른다. (결정불가능 상태)
1. 답이 없다. (부존재가 증명)
2. 답이 있다. (존재가 증명)
2-1 답이 유한개로 있다.
2-1-1 유한개의 답을 찾았다. (최소한 1가지 이상의 찾는 방법이 존재)
2-2 답이 무한개로 존재한다.
2-2-1 무한개의 답이 존재하는 패턴을 확인했다.
2-3 유한개의 답이 밝혀졌으나 그 외의 답이 있는지가 결정 불가능 상태 (그 외의 답이 무한개일 수 있다.)
** 방법 (답answer이 존재할 때) - 방법을 답으로 생각하여 위 문단의 답에 재귀적으로 사용할 수 있다.
1. 답을 찾는 방법이 (아직) 없다. (결정불가능 상태)
2. 방법이 없다. (부존재 증명)
3. 방법이 유한개로 존재한다.
* 3-1 현재 밝혀진 방법 이외의 방법이 존재한다./존재하지 않는다.
# 어떤 것이 패턴을 갖지 않는 것은 규모가 작기 때문이며 규모를 충분히 키우면 반드시? 패턴을 갖게 된다는 것을 제가 읽었는데, 어디서 무엇을 읽었는지 잘 모르겠네요. 물리 관련인지, 수학 관련인지. (읽을 당시에) 무리수의 소수점 아래의 숫자는 패턴을 가질 수 없기 때문에 틀린 말 아닌가 생각했는데, 혹시 아시는 분, 계시나요?
* 연구 및 증명 http://blog.aladin.co.kr/maripkahn/6650239