Perhaps it has to be that way, the motivation to build a mechanical computer is ... | Hacker News

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

		DougBTX 43 days ago \| parent \| context \| favorite \| on: Formal Reasoning [pdf] Perhaps it has to be that way, the motivation to build a mechanical computer is based on the belief that computation can be mechanised.

DonaldPShimoda 43 days ago [–]

It's not a "belief"; that's what computability is. This definition is the whole point of the work by Church and Turing that resulted in the lambda calculus and the Turing machine, respectively.

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