Een stroom van informatica: logica op het grensvlak van alpha, beta en gamma

Een stroom van informatica: logica op het grensvlak van alpha, beta en gamma”

Aanvang: 20.00 uur ( 13 november 2007 )

Spreker: Prof.dr.J. van Benthem

Titel: “Een stroom van informatica: logica op het grensvlak van alpha, beta en gamma”

Samenvatting:

Bij logica denkt men al gauw aan wiskundig bewijzen, misschien zover geformalizeerd dat zelfs computers de tekst kunnen lezen. Maar de logica staat ook in een historische traditie van communicatie en debat, zowel in de westerse als de aziatische tradities binnen het vak.
Professor van Benthem zal een indruk geven van moderne ‘dynamische logica’ van observaties, redeneren, en communicatie, op de rand van wiskunde, informatica, filosofie, en zelfs speltheorie.