소개
수학의 난제들을 풀 수 있는 방법을 찾고자 하였고, 수학의 난제들은 알고리즘으로 표현되는 것들이 많음을 알 수 있었다. 그런데, 수식과 관련된 문제들은 비교적 쉽게 풀리는 것을 경험적으로 알고 있었다. 그렇다면, 알고리즘을 수식으로 변환할 수 있다면, 이 문제들을 푸는데, 단서가 될 수 있을 것 이라고, 추측하게 되어서, 이 연구를 시작하게 되었다.
알고리즘을 수식으로 변환 가능할 수 있도록 최대한 간단한 규칙하의 알고리즘으로 변환하고자 하였고, 이 알고리즘을 기초 알고리즘이라고 명명했다. 기초 알고리즘은 완전한 다항식으로 표현할 수 없었지만, 다항식으로 표현되지 않는 특수함수 하나를 도입해서 어느 정도 다항식에 가깝게 변환 시키는데 성공했다.
그리고 그 식이 실제로 증명에 쓰일 수 있는지를 알아봤고, 모든 기초 알고리즘의 식에서 가능한지는 모르겠으나, 가능한 경우는 분명 존재함을 알아냈다.
그러나, 이 방법으로 본격적으로 수학 난제를 푸는 것 까지는 하지 못했는데, 일단, 기초 알고리즘으로 변환하고, 식으로 변환 하는게 가능은 하겠지만, 너무 많은 과정을 거쳐야 하므로, 컴퓨터 같은 도구 없이는 사람이 직접 그 작업을 하는 것은 어려운 것으로 판단 되었다.
그렇지만, 이론적으로 여러 난제를 해결할 수 있는 방법일 수 있다고 판단하여, 논문으로 발표하고자 한다.