Ep 2624 (3/6) | 컴퓨터과학이 여는 세계: 튜링의 논문에서 시작하는 강의

Name: Ep 2624 (3/6) | 컴퓨터과학이 여는 세계: 튜링의 논문에서 시작하는 강의
Uploaded: 2026-10-23T00:00:00.000Z
Duration: 19 min 58 s
Description: A Seoul National University professor argues that the universal computer was a side effect of Alan Turing’s 1936 effort to define “mechanical proof,” and that the human skill still worth training once AI writes proofs...

44BITS · 19:58 · Watch on YouTube

A Seoul National University professor argues that the universal computer was a side effect of Alan Turing’s 1936 effort to define “mechanical proof,” and that the human skill still worth training once AI writes proofs...

Read the full summary on retube