논법 ㅣ 추리법
인간의 사고개념을 보편적인 기호로 표현하는 언어와 그리고 그 개념간의 계산을 행하는 추론법을 구성하여 그것을 기계에 의해 실현하는 기호 처리기계를 만들고자 시도했다. 그러나 그 당시는 기술적 수단이 성숙하지 않은 시대여서 그 뜻을 이루지 못했다.20세기에 이르러 1936년 영국의 수학자 ...