Wll-founded Iterations of ITTMs成立的迭代ittms.pptVIP

Well-founded Iterations of ITTMs(infinite time Turing machines);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 points of inductive definitions: iterated definitions