Algorithms and classical music is Associate Professor Thore Husfeldt's big passion.

Thore is the local chairman of the ICALP2014 conference at the IT University of Copenhagen.

ICALP awards the prestigious Gödel Prize. A prize for outstanding papers in theoretical computer science, named after Kurt Gödel.

In this regard Thore commissioned his friend and composer Niels Marthinsen to create a new pice of classical music for chamber orchestra interpreted by Gödels two incompleteness theorems. The theorems are important both in mathematical logic and in the philosophy of mathematics.

In this video Thore Husfeldt and Niels Marthinsen discuss the outcome of the musical work.

For more information about the ICALP2014 Conference at the IT University of Copenhagen:



Cast IT

Olle Häggström: Science, Technology, and the Future of...

498 views June 29, 2017

Olle Häggström is a Professor of mathematical statistics at Chalmers University of Gothenburg,...

Cast IT

Rebecca Slayton: Cybersecurity, Star Wars, and Software...

350 views July 27, 2017

Rebecca Slayton is a professor at the Department of Science and Technology Studies and Judith...

Cast IT

Carsten Schürmann: Digital Democracy and Electronic...

491 views May 19, 2017

Carsten Schürmann is the leader of the Demtech research center, which studies the interplay...

Cast IT

Vincent F. Hendricks: Attention economics and truth in...

721 views May 02, 2017

We ask Vincent F. Hendricks, professor of formal philosophy at Copenhagen University and the...

Cast IT

Toby Walsh: Kidneys, Cars, and Killer Robots

657 views March 29, 2017

Toby Walsh is a leading researcher in artificial intelligence and a prolific populariser of...

Cast IT

Troels Bjerre Lund: Poker-Playing Bots

753 views March 08, 2017

In early 2017, two independent research teams announced progress in artificial intelligence:...