Colloquium Computer Science, Professor Jos Baeten (CWI Amsterdam)
Date: |
Wednesday, January 14th 2015 |
Speaker: |
Professor Jos Baeten |
Room: |
5161.0267 (Bernoulliborg) |
Time: |
16.00 |
Title:
Computability revisited
Abstract:
Classical computability theory disregards runtime interaction completely. The strong Church-Turing thesis states that anything a computer can do can also be done by a Turing machine, given enough time and memory. This thesis is invalidated by e.g. a self-driving car, as all possible crossing pedestrians cannot be put on the Turing tape before starting, and resulting actions cannot be postponed until after finishing. Concurrency theory gives us a proper treatment of interaction. The talk surveys what happens when computability theory is integrated with concurrency theory, which theorems remain valid and which theorems should be adapted. The Reactive Turing Machine is introduced as a model of computability with interaction.
Colloquium coordinators are Prof.dr. M. Aiello (e-mail :
M.Aiello rug.nl
) and
Prof.dr. M. Biehl (e-mail:
M.Biehl rug.nl
)
http://www.rug.nl/research/jbi/news/colloquia/computerscience
Last modified: | 10 February 2021 1.32 p.m. |
More news
-
04 July 2025
University of Groningen awards different prizes during Ceremony of Merits
The UG awarded different prizes to excellent researchers and students during the Ceremony of Merits on 4 July 2025.
-
02 July 2025
Relinde Weil reappointed as a member of the Supervisory Board UG
The Minister of Education has reappointed Relinde Weil for a second term as a member of the Supervisory Board of the University of Groningen.