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
-
16 April 2024
UG signs Barcelona Declaration on Open Research Information
In a significant stride toward advancing responsible research assessment and open science, the University of Groningen has officially signed the Barcelona Declaration on Open Research Information.
-
02 April 2024
Flying on wood dust
Every two weeks, UG Makers puts the spotlight on a researcher who has created something tangible, ranging from homemade measuring equipment for academic research to small or larger products that can change our daily lives. That is how UG...
-
18 March 2024
VentureLab North helps researchers to develop succesful startups
It has happened to many researchers. While working, you suddenly ask yourself: would this not be incredibly useful for people outside of my own research discipline? There are many ways to share the results of your research. For example, think of a...