Talk:Infinite time Turing machine

I'm pretty sure \(\lambda\) is larger than \(\omega_1^{\text{CK}}\). Deedlit11 (talk) 06:17, October 2, 2013 (UTC)