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

Abstract

We answer some queries raised by Deolalikar,Hamkins and Schindler in
connection
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 www.free-counters.net