The Problem of Modelling the Mathematical Mind
Published on 2012-07-1018035 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