Wellounded Iterations of ITTMs成立的迭代ittms.pptVIP

Well-founded Iterations of ITTMs(infinite time Turing machines) Robert S. Lubarsky Florida Atlantic University Relations to Wolfram’s work: Good project for an ordinal analysis: just beyond the strongest currently analyzed system Relations to Wolfram’s work: Good project for an ordinal analysis: just beyond the strongest currently analyzed system Iteration and hyper-iteration/feedback Ex: a) Fixed points of inductive definitions: iterated definitions (Pohlers), inductive definitions with feedback – the μ-calculus (M?llerfeld) Iteration and hyper-iteration/feedback Examples: a) Fixed poin