Tuesday 13 September 2005, 16h00, M 111 (Seminar Room)
Abstract
The talk will briefly review the origin and application of the
Church-Turing thesis (or rather, theses) and consider the oldest
and perhaps the most straight-forward idea in
"hypercomputation": Zeno machines. The halting problem will be
discussed in a generalised context and w.r.t. to these Turing
machines with accelerating clock.
(see http://arxiv.org/abs/cs.CC/0412022)
© 2005 Vasco Brattka