De fascinatievolger wetenschapspodcast

Author: Meromorf Press

Podcast by Meromorf Press
Be a guest on this podcast

Language: nl

Genres: Science

Contact email: Get it

Feed URL: Get it

iTunes ID: Get it

Get all podcast data

Listen Now...

De fascinatievolger deel 16: Dr. Floris van Doorn (homotopy type theory, bewijsassistenten)
Thursday, 27 February, 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/