De fascinatievolger deel 16: Dr. Floris van Doorn (homotopy type theory, bewijsassistenten)

Dr. Floris van Doorn (University of Pittsburgh) spreekt met Judith Lengkeek over homotopy type theory, bewijsassistenten, FABstracts, Gödel's onvolledigheidsstelling, verbanden tussen wiskunde en informatica, en geeft een vooruitblik van wiskunde in de toekomst in deze nieuwe, weer prachtige, aflevering van `De fascinatievolger'.

http://florisvandoorn.com/