PodNL is gratis maar niet goedkoop. Wil je ons steunen? Neem dan je...

De fascinatievolger deel 16: Dr. Floris van Doorn

from  De fascinatievolger wetenschapspodcast

Feb 27, 2020

 

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/

Podcasts op deze website zijn geen eigendom van PodNL. Vragen over de inhoud van de podcasts? Neem dan contact op met de makers.