The Problem of Modelling the Mathematical Mind
Published on Jul 10, 201217977 Views
Following Alan Turing’s ground-breaking 1937 paper, which introduced his notion of the Universal Turing machine, he suggested, in 1939, generalizations based on ordinal logic and oracle machines, thes