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 6: Mathematics of Planet Earth NL-dag aan het CWI
De fascinatievolger wetenschapspodcast
40 minutes 58 seconds
7 years ago
De Fascinatievolger deel 6: Mathematics of Planet Earth NL-dag aan het CWI
Als nieuwsgierigheid de motor is en fascinatie de richtingaanwijzer, waar kom je dan terecht?
In de Meromorf Press podcast interviewt Judith Lengkeek (Verte Vertelling) een serie wetenschappers over de rol die nieuwsgierigheid en fascinatie in hun werk speelt. Deze keer een extra lange aflevering met ook nog eens speciale muziek.
Wat weten we eigenlijk van de natuur op onze aarde? Wat kunnen wiskundigen betekenen in klimaatonderzoek? Judith Lengkeek was aanwezig op de Mathematics of Planet Earth-dag op 8 november 2018 aan het CWI en interviewde onder andere Olfa Jaïbi, Jason Frank, Daan Crommelin, Robbin Bastiaansen en aanwezige wiskundigen en ecologen.
Website van Mathematics of Planet Earth Nederland: http://www.mathplanetearth.nl/
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/
