아무나 구현해주면 좋겠다.
그런데 만들 수 있다면 이미 세상에 나왔겠지?
이런 프로그램은 존재할 수 없다고 증명해줘도 감사한데.

어떤 분야의 교수님께 도움을 청해야 할까?
꼭 알고리듬 연구하는 교수님 말고도
수리논리학쪽 증명가능성 연구하시는 교수님?
그런데 다른 대학교 교수님께 메일 드려도 되려나?
나의 진심을 어떻게 전달할 수 있을까?

더 이상 시간을 뺏기기 싫다.

- 희망의 등불