User talk:Googleaarex/ITTM Ordinals

LittlePeng9 (talk) 19:36, April 27, 2014 (UTC)
 * 1) Your 2-color \(\omega^n\) machine makes no sense
 * 2) Your 2-color \(\omega^4\) machine halts in \(\omega^2\) steps
 * 3) Have you proven equalities in your \(\gamma[n]\) values? If not, use \(\geq\)
 * 4) My preliminaries on ITTMs state that machine can't have no-move transitions, but it's not a mistake, if you want to use these (just saying)