Universiteit van Amsterdam
Promotie: Topologie tegenpool én onderdeel van algebraïsche logica
Promotie Wiskunde
dinsdag 14 december, 14.00 uur
Jacob Vosmaer bestudeerde de rol van topologie in de algebraïsche logica en een toepassing van logica in de puntvrije topologie. Hoewel er via Stone-dualiteit een duidelijke en welbekende relatie is tussen algebraïsche logica (wiskundige modellen van het redeneren over abstracte informatie) en topologie (een wiskundige abstractie van meetkunde waarbij het begrip afstand er niet meer toe doet), worden deze twee gebieden vaak gezien als twee tegenpolen. Vosmaer toont aan dat topologie niet alleen een tegenpool van de algebraïsche logica is, maar ook een onderdeel ervan. Algebraïsche modellen met continue operaties, zogenoemde topologische algebra's, verhouden zich op een natuurlijke wijze tot de canonieke representaties van algebraïsche modellen van logische systemen. In de puntvrije topologie wordt ruimte niet beschouwd als een verzameling punten, maar als een systeem van gebieden, die uitgebreid en vernauwd kunnen worden, zonder ooit in te zoomen op individuele punten.
Dhr. J. Vosmaer: Logic, Algebra and Topology. Investigations into canonical extensions, duality theory and point-free topology. Promotoren zijn mw. prof. dr. M. Gehrke (RU) en dhr. prof. dr. Y. Venema.
Locatie: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam.
Universiteit van Amsterdam