Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Special Session Talk:
Non-deterministic halting times for Hamkins-Lewis Turing machines

Speaker: Philip Welch


We answer some queries raised by Deolalikar,Hamkins and Schindler in
with non-deterministic defined halting times and pointclasses using the
Infinite Time Turing machine model 

websites: Arnold Beckmann 2006-04-21 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by