The Problem of Modelling the Mathematical Mind
Published on Jul 10, 201217975 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