#2. AI와 인간의 대결(6) : 수학 원리의 증명
#6. 자동화된 추론 논리 이론가 (Logic Theorist) 아서 사무엘(혹은 아서 새뮤얼, Arthur Lee Samuel)이 체커 프로그램을 시연하던 시기에 또 하나의 첫 번째 인공지능 프로그램이 탄생하고 있었습니다. 바로 게임분야가 아닌, 수학 원리의 증명을 인간과 같이 할 수 있을지를 검토한 "논리이론가 (LT, Logic Theorist 혹은 Logic Theory Machine) "입니다. 이 프로그램은 1956년도에 첫 시연을 가졌습니다. 논리 이론가는 앨런 뉴얼(혹은 앨런 뉴웰, Allen Newell : 1927년 ~ 1992년), 허버트 알렉산더 사이먼(Herbert A. SimonHerbert Alexander Simon : 1916년 ~ 2001년) 및 클리프 쇼(John Cli..