News for hackers. Stuff that matters.

A comment on Turing Oversold?. Parent comment

Re:Turing Oversold? by dnautics on Wednesday September 15, 2021 @01:01PM (#28541576)
that's not the case, according to the article. If anything the article implies the opposite. Turing machines were a re-abstraction of Godel's computational model that provided a path to mechanical realization.

Also if you ever work with the turing machine (NFA hooked up to an infinite recording tape) it is not at all "intuitive" that this construction comprehensively captures the world of computation.

[ Parent | on HN ]
Re:Turing Oversold? by Ar-Curunir on Wednesday September 15, 2021 @04:35PM (#28544033)
Godel's computational model does not intuitively capture what it means to compute. Godel himself was unconvinced that his model was universal, and it took Turing's paper to convince him that his model, lambda calculus, and Turing machines were equivalent and universal.
[ Parent | on HN ]