22 min
De fascinatievolger deel 16: Dr. Floris van Doorn (homotopy type theory, bewijsassistenten) De fascinatievolger wetenschapspodcast
-
- Science
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/
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/
22 min