> fond-math > théories-des-types > homotopy-type-theory-computerphile

CS ∩ Mathematics : LONG VERSION - Computerphile

Computerphile - 2017-01-10

This Video is simply a longer cut of the CS  ∩ Mathematics video, with more detail.

Main (short) film: https://youtu.be/qT8NyyRgLDQ 
EXTRA BITS: https://youtu.be/ex_g4zectTQ 

http://www.facebook.com/computerphile
https://twitter.com/computer_phile

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham: http://bit.ly/nottscomputer

Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com

Torb - 2018-04-21

Really really fascinating. One of your best videos.

Peter S. - 2017-01-12

Very interesting topic.

Slim Yelow - 2019-05-30

who is the dude?
Matthias Seeman?

Vanger B - 2017-01-13

Sorry, but I don't get it: I just watched original interview and then I found "longer version" in the description from main video... but i don't watch it again awaiting new info here and there across the whole interview, where's these extra 6 minutes hiding exactly? PLUS you have "extra bits", why not combine 6 minutes from longer version with extras?? That's simply inconvenient.;(