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/
All content for De fascinatievolger wetenschapspodcast is the property of Meromorf Press and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
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/
De fascinatievolger deel 11: NMC drieluik I - Dr. Ing. Marieke Kranenburg en Prof. Dr. Wil Schilders
De fascinatievolger wetenschapspodcast
33 minutes 9 seconds
6 years ago
De fascinatievolger deel 11: NMC drieluik I - Dr. Ing. Marieke Kranenburg en Prof. Dr. Wil Schilders
In deel I van het drieluik over het Nederlands Mathematisch Congres 2019 interviewt Judith Lengkeek Prof. Dr. Wil Schilders (Technische Universiteit Eindhoven (TUe) en directeur van Platform Wiskunde Nederland (PWN)) en Dr. Ing. Marieke Kranenburg (Instituutsmanager van het Korteweg-de Vries Institute for Mathematics (KdVI, Universiteit van Amsterdam).
De fascinatievolger wetenschapspodcast
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/
