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

I feel he is actively trying to dismiss Turing / Von neumann / church contributes and attributing them to Godel and etc.


That is a bit his schtick. He himself feels like he has been the victim of an anglo-centered science history (one might debate about that), so he is retelling how the story could work if you put less focus the anglo-part.

To me, it seems like a healthy coping mechanism.


The history is well-known. Gödel started it. The "anglo-part" was mostly Church (decision problem). Turing simplified Church. At the same time, Zuse built the first real computer. I like this key part of the text:

What exactly did Post[POS] and Turing[TUR] do in 1936 that hadn't been done earlier by Gödel[GOD][GOD34] (1931-34) and Church[CHU] (1935)? There is a seemingly minor difference whose significance emerged only later. Many of Gödel's instruction sequences were series of multiplications of number-coded storage contents by integers. Gödel did not care that the computational complexity of such multiplications tends to increase with storage size. Similarly, Church also ignored the spatio-temporal complexity of the basic instructions in his algorithms. Turing and Post, however, adopted a traditional, reductionist, minimalist, binary view of computing—just like Konrad Zuse (1936).[ZU36] Their machine models permitted only very simple elementary instructions with constant complexity, like the early binary machine model of Leibniz (1679).[L79][LA14][HO66] Emil Post They did not exploit this back then—for example, in 1936, Turing used his (quite inefficient) model only to rephrase the results of Gödel and Church on the limits of computability. Later, however, the simplicity of these machines made them a convenient tool for theoretical studies of complexity.




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

Search: