언어론 재밌지 않냐

[익명(211.109)]

튜링머신이랑 람다칼큘러스가 이렇게 컴퓨터를 만들줄 누가 알았을까

[fds(220.118)]

튜링머신이나 람다칼큘이 탄생하기까지의 과정이 훠어얼씬 재밌음. 갠적으로 수학역사 흥미도중에서 탑3 안에 드는 파트임.