|
|
|
|
|
|
by ocschwar
1739 days ago
|
|
|
No. What Turing did in 1937 might not have been an advance over what Godel and Church did. But if you want to make the case for building a general purpose computer out of mechanical relays or vacuum tubes in 1946, you need a semantic advance. Turing machines did that. Nobody would read Godel and say "let's build ENIAC." Tommy Flowers did read Turing and say that. THAT is the difference. It's like Einstein versus Lorenz. Same mathematics.Different semantic interpretation. |
|
|