Nice paper! The number is BB(748), by the way. Thinking in terms of concrete machines is great. The work on Abstraction Logic has made me a Platonist in a Goed

Nice paper! The number is BB(748), by the way. Thinking in terms of concrete machines is great. The work on Abstraction Logic has made me a Platonist in a Goedel way as well. I insist that the mathematical universe is real: there are mathematical objects, and they have their own independent, real existence. If you admit that 1 and 2 and 3 are real, then it is difficult to argue that Turing Machines are not real, and of course the models of consistent theories are real as well. In fact, I would go as far as saying, if you are not a Platonist, then good luck making any kind of argument for correct reasoning.