형식의 법칙들:1968년 서문

1968년, 서문




이 저작의 바탕이 된 탐구는 1959년 말경에 시작되었습니다. 탐구 결과인 이하 기록들은 많은 부분, 작업 초기 단계들에서, Russel 경의 우정과 격려 덕택입니다. 그는 내 하고자 했던 것의 가치를 알아본 초기 몇몇 가운데 한 사람이었습니다. 후반 단계들에서는, University Colledge 연구원이자 Cambridge 대학 수학 강사인 J C P Miller의 아낌없는 조력에 힘입었습니다. 그는 연이은 일단의 프린트된 증명들을 읽었으며 또한 원하면 언제든 도움을 주는 스승이자 조언자였으며, 텍스트와 맥락 양자 모두에서 스타일과 정확성를 향상시키는 많은 제안들을 주었습니다.

1963년, 나는 런던 대학 교외(校外) 연구 분과, 물리 과학 정규 강사인 H G Frost가 요청한 논리 수학 연속 강의를 수락했습니다. 그 과정은 이후 확장되어 Gordon quare에 있는 컴튜터 과학 연구소에서 매년 반복되었고, 그 경험으로 여기 에세이의 메모들과 부록들에 있는 몇몇 맥락들이 생겨났습니다. 나는 또한 학생들에 대한 연이은 강의들의 도움으로 이 텍스트를 확장하고 예리하게 만들 수 있었습니다.

그밖에 사람들의 도움이 있었지만, 모두 언급할 수 없는 것이 안타깝습니다. 특별한 협조를 아끼지 않았던 이들 출판 관계자들 (그들 독자들과 기술적 아티스트들을 포함해서) 있었고, 인쇄를 담당했던 그리고 그 전에는 원고 타이핑을 정확히 해주었던 Peter Bragg 부인이 있었습니다. 마지막으로 언급해야 할 사실은, 이 저작에 대한 최초 자극은 Simon-MEL의 유통/분배 기술부 이사, I V Idelson씨한테서 온 것이며, 여기 기록된 테크닉들은 처음에는 논리 문제들의 관점에서가 아니라 기술적으로 풀리지 않은 문제들에 대해 응답하는 가운데 발전되었다는 것입니다.


Richmond, August 1968


감사

저자와 출판 관계자들은 런던 대학의, 동양과 아프리카 연구 학부의 J Lust씨한테 감사드립니다. 그는 북경, 고대 왕궁 박물관에서 도덕경의 12세기 푸키엔 판본의 팩시밀리 복사본 사진을 친절히도 쓸 수 있도록 해주었습니다.