This is a great post, but > they're a simple model of a computing machine th... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		cscheid on May 11, 2013 \| parent \| context \| favorite \| on: The Paradox of the Proof This is a great post, but > they're a simple model of a computing machine that makes sense just based on existing technology Turing machines were invented before any working (almost-) universal computer existed.

tikhonj on May 11, 2013 [–]

Hah, yes. I was actually thinking of a literal tape made of paper, or something to that effect. As compared to the lambda calculus which is based entirely on logic rather than some allusion to the real world.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact