Martin Davis, Professor Emeritus of New York University, discusses how the work of Turing, Post, Church, Gödel, and Kleene during the 1930s fundamentally altered our notion of the nature of…
Martin Davis, Professor Emeritus of New York University, discusses how the work of Turing, Post, Church, Gödel, and Kleene during the 1930s fundamentally altered our notion of the nature of…