[역설 나라의 앨리스] 제8장. 절대로 해결할 수 없는 문제

  • 확대
  • 축소
이미지 확대하기

오늘은 컴퓨터가 탄생하는 데 수학이 어떤 역할을 했는지 알아볼 거예요. 영국의 수학자이자 현대 컴퓨터의 창시자인 앨런 튜링은 일종의 판정 문제인 ‘정지 문제’를 ‘튜링 기계’를 이용해 풀 수 없다는 사실을 증명했는데요. 어떤 증명 과정을 거쳤는지 살펴봅시다. ♥ 정지 문제가 가능하다면...(계속)

글 : 최정담(<발칙한 수학책> 저자)
진행 : 이채린 기자 rini113@donga.com
일러스트 : 엠케이
디자인 : 정영진
수학동아 2022년 09호

이전
다음
1

위로