L'axiome d'univalence | Infini 25

Science4All a enfin sorti une nouvelle vidéo ! On est ravi de pouvoir la partager aujourd’hui sur Allo Trends. Elle est sortie le 20 février 2017 et elle a déjà fait beaucoup parler d’elle sur les réseaux sociaux !

Depuis le temps que vous nous suivez sur Allo Trends, vous commencez à avoir l’habitude qu’on vous parle de la chaîne Youtube Science4All, et de ses vidéos si virales qui font systématiquement parler d’elle sur le web, et même au-delà ! Et c’est pour cela qu’on vous en parle aujourd’hui, cette toute nouvelle vidéo devrait vous intéresser.

Comme bien souvent lorsque la chaîne Youtube Science4All poste un nouveau contenu sur internet, vous pouvez le trouver sur notre site. Pour regarder la toute dernière vidéo qui s’appelle “L'axiome d'univalence | Infini 25”, c’est juste en haut !

La vidéo fait un très bon démarrage depuis qu’elle a été téléversé sur la chaîne Youtube de Science4All et elle pourrait bien finir en tendance si les scores restent à ces niveaux. Il ne faudra cependant pas trop s’enflammer et attendre quelques jours pour voir si ce bon démarrage se confirme avec un buzz sur la durée.

Grâce à Internet, on peut aisément parler aux vidéastes pour leur poser toutes les questions qu’on a en tête, ou bien même leur faire part de critiques (constructives s’il vous plaît!). Pour obtenir l’adresse email d’un influenceur qui fait des vidéos sur internet, rendez vous sur la partie “A propos” de sa chaîne Youtube. Si malgré vos efforts, vous n’obtenez pas de réponse, essayez de le joindre sur un autre support. Twitter est très pratique pour contacter facilement les youtubers.

Vous avez maintenant toutes les informations sur la vidéo L'axiome d'univalence | Infini 25, on espère que ça vous convient et que vous y avez trouvé votre intérêt. Retrouvez dès maintenant d’autres vidéos similaires sur notre plateforme, on vous fait confiance pour dénicher d’autres pépites. Si et seulement si vous avez déjà fait le tour de notre site, alors foncez sur Youtube voir d’autres contenus exclusifs de Science4All.

Il est maintenant temps de nous quitter, merci d’avoir lu cet article, on se revoit très vite sur Allo Trends !

À titre informatif, vous pouvez retrouver ci-dessous la description de la vidéo L'axiome d'univalence | Infini 25 publiée par la chaine Youtube Science4All :

L'axiome d'univalence est un axiome moderne introduit par Vladimir Voevodsky. De façon intrigante, il permet d'effectuer des calculs d'homotopie sur des structures pourtant très discrètes.

L'infini et les fondations mathématiques | Playlist Science4All
https://www.youtube.com/playlist?list=PLtzmb84AoqRRgqV5DfE_ykuGQK-vCJ_0t

Homotopy Type Theory on Science4All
http://www.science4all.org/article/type-theory/
http://www.science4all.org/article/homotopy-type-theory/
http://www.science4all.org/article/univalence/

The Homotopy Type Theory Book
https://homotopytypetheory.org/2013/06/20/the-hott-book/

Computer Science ∩ Mathematics (Type Theory) | Computerphile
https://www.youtube.com/watch?v=qT8NyyRgLDQ

Univalent Foundations of Mathematics | Vladimir Voevodsky
https://www.youtube.com/watch?v=9f4pS9s-X2A

Théorie des types dépendants et axiome d'univalence | Thierry Coquand (Séminaire Bourbaki)
https://www.youtube.com/watch?v=T_WcQpj-2to

Univalent foundations subsume classical mathematics | Andrej Bauer
http://math.andrej.com/2014/01/13/univalent-foundations-subsume-classical-mathematics/