Beaucoup d’entre-vous nous suivent depuis bien longtemps sur Allo Trends, et vous savez déjà que nous partageons très régulièrement les nouveaux contenus vidéos de la chaîne Youtube Science4All dont notre communauté est extrêmement friande. Et c’est pour cela qu’on vous en parle aujourd’hui, cette toute nouvelle vidéo devrait vous intéresser.
Vous commencez à en avoir l’habitude, à chaque nouvelle sortie de vidéo sur la chaîne Youtube de Science4All, on essaye de vous la proposer dans les plus brefs délais sur notre site. Nous vous invitons à découvrir sans plus tarder la vidéo La théorie des types | Infini 24 en vous rendant sur le player 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.
A la télévision, il est très difficile de rentrer en contact avec les animateurs ou bien même les producteurs d’une émission. Sur internet c’est beaucoup plus facile de contacter un vidéaste lorsqu’on souhaite lui faire des retours à propos d’une vidéo publiée sur Youtube ! 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.
Et voilà, on arrive bientôt à la fin de cet article, vous venez de découvrir tout ce qu’on savait à propos de la vidéo La théorie des types | Infini 24. Nous espérons vous retrouver au plus vite sur Allo Trends, d’ici là vous allez pouvoir regarder d’autres vidéos de Science4All en cherchant un peu sur notre plateforme dédiée. Si vous avez déjà fait le tour, allez sur Youtube, le contenu y est quasi infini !
Mesdames et messieurs, nous arrivons à la fin de cet article Allo Trends, nous espérons que vous avez pris beaucoup de plaisir à lire, enfin au moins autant que nous on a eu à l’écrire !
À titre informatif, vous pouvez retrouver ci-dessous la description de la vidéo La théorie des types | Infini 24 publiée par la chaine Youtube Science4All :
La théorie des types est une alternative à la théorie des ensembles. J'essaie de vous en présenter quelques grandes idées ici.
L'infini et les fondations mathématiques | Playlist Science4All
https://www.youtube.com/playlist?list=PLtzmb84AoqRRgqV5DfE_ykuGQK-vCJ_0t
The Homotopy Type Theory Book
https://homotopytypetheory.org/2013/06/20/the-hott-book/
The Universal Turing Machine (ft. Rachid Guerraoui) | ZettaBytes
https://www.youtube.com/watch?v=PmZhFY3r_g8
Les machines de Turing | Math&Magique
https://www.youtube.com/watch?v=F9jjj0TaaKI
La machine de Turing | Passe-Science
https://www.youtube.com/watch?v=P66h8D5Lkwk
The LEGO Turing Machine
https://www.youtube.com/watch?v=cYw2ewoO6c4
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/
Sometimes all functions are continuous | Andrej Bauer
http://math.andrej.com/2006/03/27/sometimes-all-functions-are-continuous/