Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminar: Philip Welch

LFCS Seminar: Philip Welch

— filed under:

Transfinite Time Computation and Determinacy

What
  • LFCS Seminar
When Nov 18, 2010
from 04:05 PM to 05:05 PM
Where 4.31+4.33, Informatics Forum
Add event to calendar vCal
iCal

 

Philip Welch from University of Bristol

Transfinite Time Computation and Determinacy

 

Computational Models that take transfinite numbers of steps are interesting in their right and have connections with areas of computation, philosophical theories of truth, and low level set theory.

We illustrate with some models in the literature and talk about the connections in particular with generalisations of monotone inductive definitions and determinacy of infinite two person perfect information games.

 

Document Actions