Demonstrating the beauty of maths and science: Roger Antonsen at TEDxKrakow

Roger Antonsen received his PhD in computer science in 2008, in the field of logic, proof theory and automated reasoning, from the University of Os...