Vous le savez bien, ce n’est pas nouveau, nous suivons avec un très grand intérêt l'actualité de la chaîne Youtube Science4All depuis pas mal de temps déjà car nous savons que son contenu plait tout particulièrement à notre communauté. Et c’est pour cela qu’on vous en parle aujourd’hui, cette toute nouvelle vidéo devrait vous intéresser.
Voici donc aujourd’hui la dernière vidéo de la chaîne youtube Science4All. Elle s’appelle La théorie homotopique des types 🌶🌶 et comme vous vous en doutez, elle intéresse déjà beaucoup les internautes. Vous pouvez la retrouver juste ici.
De nombreuses personnes parlent de cette nouvelle vidéo depuis plusieurs heures sur les réseaux sociaux et elle a également fait naître de nombreux commentaires sur les forums qu’on trouve sur la toile. D’ailleurs la chaîne Youtube Science4All n’en est pas à son coup d’essai en publiant une vidéo qui fait sensation. Nous savons bien que vous êtes souvent très intéressés par ce type de contenu.
Vous rencontrez des soucis avec ce contenu ? Vous avez repéré une erreur dans la vidéo que vous souhaitez faire remonter au monteur ? Cependant, rien ne vous garantit qu’il vous répondra. Mais qui ne tente rien n’a rien ! Pour entrer en contact direct avec un vidéaste, essayez de trouver ses réseaux sociaux et envoyez lui un message public ou privé. Vous pouvez aussi trouver le mail d’un Youtuber sur sa chaîne Youtube en cliquant sur “A propos”. Vous obtiendrez ainsi sa précieuse adresse email.
Normalement si vous êtes encore en train de lire cet article, c’est que la vidéo La théorie homotopique des types 🌶🌶 a dû vous faire plaisir et qu’on ne s’est pas trompé en vous incitant à la regarder. Dans notre plateforme, vous pourrez trouver d’autres vidéos de Science4All, jetez y un coup d'œil à l’occasion, c’est pratique et ça peut vous permettre de trouver des contenus que vous n’aviez jusqu'alors jamais vu encore sur le web !
On se retrouve bientôt pour un nouveau contenu sur Allo Trends, et en attendant on se dit Ciao à la prochaine !
À titre informatif, vous pouvez retrouver ci-dessous la description de la vidéo La théorie homotopique des types 🌶🌶 publiée par la chaine Youtube Science4All :
Cette vidéo est une brève introduction à la théorie homotopique des types.
0:25 L'univers des types
5:29 Les quantificateurs
10:52 Le tiers exclus
16:03 L'axiome du choix
19:13 L'égalité propositionnelle
25:16 Types, groupoïdes et homotopie
L'infini et les fondations mathématiques | Playlist Science4All
https://www.youtube.com/playlist?list=PLtzmb84AoqRRgqV5DfE_ykuGQK-vCJ_0t
Homotopy Type Theory | Book
https://homotopytypetheory.org/book/