A mixture of computability and ordinals, the infinite time Turing machines
Wann
Dienstag, 25. April 2017
17:30 bis 18:15 Uhr
Wo
F 426
Veranstaltet von
Vortragende Person/Vortragende Personen:
Dr. Sabrina Ouazzani (Université Paris-Est Créteil)
Diese Veranstaltung ist Teil der Veranstaltungsreihe „Frauen in der Mathematik“.
Abstract:
In this talk, we present infinite time Turing machines (ITTM), from a general introduction on computability and ordinals to the original definition of this transfinite model of computation. We will also present algorithmic techniques that allow to highlight some properties of the ITTM-computable ordinals. In particular, we will introduce gaps in ordinal computation times, that is to say, ordinal times at which no infinite time program halts.