RUC-lektor i datalogi sætter logikken på ny formel

Beskrivelse

En ny bog om datalogi og hybridlogik af Torben Braüner sætter den almindelige læsers forståelse af tid og logik på en vanskelig prøve. ”Tiden er noget mærkeligt noget.” Sådan synger Kaj og Andrea i ’2-minutter sangen’. Det er da nok også de færreste, der ved, hvad logik, filosofiske begreber om tid og så computere har med hinanden at gøre. Men i en ny bog med titlen ’Hybrid Logic and its Proof-Theory’ forsøger lektor i datalogi ved RUC Torben Braüner at gøre os klogere på nye logiske måder at ræsonnere om tid på; måder der bl.a. kan give bedre løsninger på datalogiske problemer, fx i forbindelse med kunstig intelligens i robotter og andre ’intelligente’ computere.