3 ms·

Sadly, Turing wasn't aware of this at the time -- think of the real world impact he could have had.

• cousin_it 10y ago
  Turing's work was in algorithms, models of computation, and cryptanalysis. All that is considered part of Theory A, see e.g. http://blog.computationalcomplexity.org/2003/03/theory-and-theory-b.html http://blog.computationalcomplexity.org/2003/03/theory-and-t....
  • zepolud 10y ago
    Take a minute and reflect on the fact that you're arguing Turing had nothing to do with mathematical logic. His doctoral advisor was Church, his work based on Gödel, his thesis named Systems of Logic Based on Ordinals. Comments like these show the perils of treating mathematics like a cookbook. It's a very limiting mindset.
    • cousin_it 10y ago
      I'm arguing that Turing's impact on computing (most importantly, defining the Turing machine) didn't have much to do with logic. His work on logic is also important, but I don't think it's useful for a programmer.
    • soberhoff 10y ago
      On the other hand the fact that you're reaching all the way to Turing to exhibit a clear impact on practice suggests that for the programmer without such grand aspirations there isn't much to be gained.