Research

THE HILBERT HEARTBREAK HOTEL

1,004 views
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: 

http://icalp2014.itu.dk

CAST IT

Cast IT

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

374 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...

588 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

553 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

636 views March 08, 2017

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