형식논리가 어떻게 나오게 되었고 그리고 20세기 중기에 비형식 논리와 기호논리로 어떻게 연결이 되는지 알아본다. 그리고 컴퓨터의 창시자로 불리우는 Alan Turing 의 간단한 biography를 알아보며 그의 삶인 Apple logo 와 어떠한 관련이 있는지를 알아본다.
_____
* The images of Alan Turing in a chair, Steve Jobs, Apple logo, and Alan Turing portrait are licensed under Creative Commons, respectively based on https://creativecommons.org/publicdomain/mark/1.0/deed.no,
https://creativecommons.org/licenses/by-nc/2.0/,
https://creativecommons.org/licenses/by/2.0/, and https://creativecommons.org/licenses/by-nd/2.0/