Voevodsky took his knowledge of abstract geometry and applied it to Computer Science, then took Computer Science principles and applied them to Mathematics. Professor Thorsten Altenkirch remembers him.
More on Homotopy Type Theory: https://youtu.be/Ft8R3-kPDdk
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
homotopy type Homotopy Type Theory: Vladimir Voevodsky - Computerphile | |
| 1,119 Likes | 1,119 Dislikes |
| 48,316 views views | 1.48M followers |
| Education | Upload TimePublished on 6 Oct 2017 |
Related keywords
hardwareswap,computer keyboard,computers for sale near me,computer science classes,programming logic and design,programming language examples,computerphile lambda calculus,univalence coq,science magazine,software company in bangladesh,programming language,university of nottingham trent,computer science minor,hardware store nearby,software development company in bangladesh,hardware store,university of nottingham acceptance rate,computerphile passwords,university of nottingham transcript,computer source,computer science major,univalence axiom category theory,university of nottingham term dates,university of nottingham ranking,hardware monitor,hardware definition,computerphile maze,software lock,university of nottingham uk,computer science degree,software for pc,computerphile time zones,homotopy fiber,mathematics major,computer science,programming quotes,computershare forms,mathematics degree jobs,mathematics of poker,software vidmate,programming concepts,computerphile youtube,softwares,programming languages list,computer science careers,hardware near me,computer science schools,mathematics of finance,programming cycle,programming software,hardware freight,hardware cloth,univalence theorem,homotopy class,computer apps,homotopy pullback,computershare phone number,univalent functions,homotopy groups of spheres,science museum london,programming flowchart,hardware acceleration,software architecture,homotopy type theory book,univalence meaning,programming tutorial,hardware store near me,software imo,programming grammar,computers for kids,science fiction lyrics,hardware hank,science daily,mathematics for machine learning,hardware sales,computerphile blockchain,univalence axiom constructive,mathematics that works for geometry answers,programming codes,software messenger,science research,mathematics jobs,computer science degree jobs,computershare employee,computerphile cross site scripting,computer science resume,computershare,computers for sale,software download,university of nottingham chemistry,science fiction,hardware movie,computer games,computershare login,computerphile encryption,programming paradigms,homotopy groups,univalence axiom extensionality,hardware cloth lowes,science en español,computerphile sql,computer table,computer software,university of nottingham jobs,computershare ups,university of nottingham accommodation,homotopy vs homology,http://www.computershare.com/investor,computer sciences corporation,homotopy category,programming logic and design pdf,university of nottingham business school,university of nottingham international students,science advances,computer science colleges,computer science degree online,hardware for cabinets,homotopy of paths,university of nottingham library,hardware engineer,science direct elsevier,software testing,computers at best buy,computer composition,computer science definition,science bits,hardware hawaii,mathematics mos def,computershare inc,programming for beginners,computer science masters,programming basics,homotopy continuation,computer virus,computer price in bangladesh,computer science and engineering,computers near me,univalence axiom definition,univalence axiom,software definition,computerphile recursion,mathematics definition,computerphile diffie hellman,university of nottingham logo,science of the total environment,computer engineering,programming meaning,mathematics in spanish,univalence definition,science fiction movies,computer mania,univalence in a sentence,mathematics science and technology,programming 1,computers in human behavior,university of nottingham email,software engineer,computers with causes,homotopy colimit,homotopy equivalence,computer course,homotopy analysis method,university of nottingham ningbo,computers plus,computerphile grep,computer science jobs near me,software apps,mathematics wu tang,univalence nlab,sciencealert,software engineer salary,computer training center,mathematics vision project,computer hardware,computerphile rsa,university of nottingham medical school,science news,science traduccion,mathematics museum,computerphile dijkstra,univalence axiom explained,mathematics degree,science direct,computer science vs computer engineering,computer village,software development life cycle,homotopy type theory,univalent radii,mathematics for economists,computer paragraph,homotopy lifting property,programming language definition,sciences po,hardware hut,computer literacy,university of nottingham malaysia,homotopy theory,computer science internships,software development,mathematics for computer science,computerphile face recognition,computer science ranking,software facebook,univalence axiom set theory,homotopy limit,computers for dummies,univalence of polyharmonic mappings,hardware resources,university of nottingham address,computer science scholarships,science hub,univalence paris,univalence condition,science citation index,science kombat,mathematics books,software update,computer accessories,university of nottingham tuition,univalence ltd,university of nottingham physics,univalence theory,programming course,computers at walmart,homotopy perturbation method,software quality assurance,hardware restoration,mathematics lyrics,homotopy extension property,computer science salary,mathematics genealogy,computerphile password cracking,computer science jobs,computerphile buffer overflow,computers lyrics,computerphile jpeg,computershare/investor,computerphile floating point,computerphile sql injection,
Không có nhận xét nào:
Đăng nhận xét