Algebra en coalgebra: bespiegelingen in de logica
Oratie Logica
vrijdag 28 oktober, 16.00 uur
Dhr. prof. dr. Y. Venema, hoogleraar Logica, in het bijzonder de Mathematische logica en grondslagen van de Informatica: Algebra en Coalgebra: bespiegelingen in de Logica.
Cruciale sectoren van onze maatschappij zijn in toenemende mate afhankelijk van steeds complexere softwaresystemen. Een belangrijk doel van de theoretische informatica is het ontwerpen van methoden en technieken die kunnen garanderen dat zulke systemen zich correct gedragen, en blijven gedragen. De coalgebra biedt een wiskundig kader waarin het begrip gedrag op een heel abstracte, maar uniforme manier kan worden gemodelleerd. In de afgelopen eeuw heeft de logica zelf zich verbreed tot een algemene theorie van de symbolische representatie en het gebruik van informatie, met niet alleen toepassingen in de informatica maar ook in bijvoorbeeld de taalkunde, de wijsbegeerte en de economie. Om door de bomen het bos nog te zien ontwikkelen logici krachtige wiskundige theorieën. Hier is een voorname rol weggelegd voor de klassieke leer der algebraïsche logica, zo stelt Yde Venema tijdens zijn oratie. Deze maakt op haar beurt gebruik van inzichten uit de algebra en de topologie. Zo zijn de
logica en de informatica onlosmakelijk verstrengeld in een wiskundige dualiteit.
Locatie: Aula van de UvA, Singel 411, Amsterdam.
Universiteit van Amsterdam