Infinitary computability with infinite time Turing machines Posted on September 25, 2011 by Joel David Hamkins