Aujourd’hui je m’attaque à un gros morceau : les théorèmes de Gödel !
https://www.youtube.com/watch?v=82jOF4Q6gBU
Il y aurait des pages à écrire pour compléter cette vidéo, et ci-dessous je vous commente certains points et fait quelques remarques, mais bien évidemment ceci ne saurait constituer une présentation exhaustive de la chose !
Ma nouvelle vidéo est extrêmement importante, puisqu’elle nous parle de l’avenir du pays !
https://www.youtube.com/watch?v=ZoGH7d51bvc
Avant toute chose, n’hésitez pas à la partager massivement pour faire connaître ces réflexions, et aider à populariser la méthode du jugement majoritaire. N’hésitez pas aussi à la relayer par exemple sur Twitter en interpelant vos hommes politiques préférés.
En complément de cette vidéo que j’espère relativement simple à comprendre, je voudrai revenir sur les deux aspects un peu plus techniques : le théorème d’impossibilité d’Arrow, et la question des ex-aequo dans le jugement majoritaire.
(Edit du 22/10 : je vais en fait commencer par la question de la robustesse du jugement majoritaire aux manipulations stratégique, question que j’ai traitée trop rapidement et sur laquelle j’ai eu beaucoup de questions/commentaires)
Ma nouvelle vidéo porte sur le concept le plus simple et le plus déroutant des mathématiques : les nombres premiers !
https://www.youtube.com/watch?v=R37JHiA-HOg
Une petite précision de définition pour commencer : je n’ai pas voulu alourdir l’introduction en donnant une définition totalement précise de ce qu’est un nombre premier. Et je suis passé notamment sur cette convention de ne pas considérer 1 comme un nombre premier. Une manière élégante et compacte c’est de dire qu’un nombre premier est un nombre qui admet exactement 2 diviseurs distincts (1 et lui-même).
Pour être précis, ce qu’à montré Zhang [3], c’est qu’il existe une infinité de paires de nombres premiers consécutifs séparés d’un gap de moins de 70 millions. Je vous laisse vous convaincre que l’on en déduit que forcément parmi les conjectures des nombres premiers jumeaux, cousins, sexys, etc. jusqu’à 70 millions, il y a en a au moins une de correcte.
La vidéo du jour décrypte les mystères du bitcoin, et vous explique vraiment comment il marche, et ce qu’est cette mystérieuse blockchain.
http://www.youtube.com/watch?v=du34gPopY5Y
Pour préparer cette vidéo, j’ai dû pas mal me documenter. J’ai trouvé beaucoup d’endroits où les grands principes du bitcoin sont expliqués, mais assez peu d’infos détaillées sur ce qu’il se passe vraiment « sous le capot ». A force de lecture, je pense avoir compris l’essentiel, et j’espère donc avoir donné à tout le monde les éléments nécessaires pour comprendre comment un système comme le bitcoin pouvait tenir debout, et en quoi le concept de la blockchain assure la décentralisation du système.
Vous entendez parler du deep learning, mais vous n’en avez pas encore compris la profondeur ? Cette vidéo est faite pour vous !
http://www.youtube.com/watch?v=trWrEWfhTVg
Fidèle à mon habitude, voici la liste des choses essentielles, mais pourtant éliminées par manque de place et pour rester accessible au plus grand nombre.
J’ai pondu une petite vidéo de réaction à chaud sur la victoire du programme informatique AlphaGo sur le champion de jeu de go Lee Sedol. La vidéo est sortie à 2-0 pour AlphaGo. A l’heure où j’écris ces lignes, on en est à 3-1 et il reste une manche à jouer. Mais AlphaGo a donc gagné la confrontation. http://www.youtube.com/watch?v=P6eBraOUBLw (Un petit erratum, en fait j’explique plutôt mal la recherche en arbre, car on ne cherche…
Le sujet de la dernière vidéo ? La simplicité et la complexité, l’ordre et le chaos, l’émergence ! http://www.youtube.com/watch?v=qZRYGxF6D3w Allez, et pour ceux qui se demandent ce qu’il se passe en dimension supérieure : la mouche de Langton !
La semaine dernière, j’ai publié une vidéo dont le but était d’examiner la physique qui se trouve derrière le réchauffement climatique. J’ai évidemment eu droit à une horde de commentaires climatosceptiques, dont je n’ai que faire puisque la vidéo ne s’adressait pas à eux : je l’avais plutôt faite pour toucher les « climato-agnostiques », ceux qui ne savaient pas trop quoi penser de tout ça et qui pouvaient avoir des doutes sur les fondements scientifiques du…
Vous connaissez le canapé Söft ? La commode Utrad ? L’étagère Hång ? L’armoire Muskydd ? Le mixeur Skymfor ? La poële Kukväde ? Le placard Klöstig ? Le circuit Rundering ? La table Oljulstad ? Les rideaux Lykofåtsly ? Le bureau Håkmanedfol ? La chaise Sjärganskig ?
Eh bien contrairement aux apparences, ces noms ne font pas partie du véritable catalogue Ikea ! Ils ont été fabriqués automatiquement par un algorithme qui s’inspire de vrais mots suédois pour en créer de nouveaux, qui « sonnent suédois » mais n’existent pas dans cette langue.
Pour la première fois, j’ai décidé de vous proposer une vidéo non pas sur un sujet scientifique bien établi, mais sur un petit projet de recherche personnel que j’ai entrepris : comment créer des mots nouveaux qui sonnent bien ?
http://www.youtube.com/watch?v=YsR7r2378j0
Pour ceux qui voudraient en savoir plus sur la méthode utilisée, voici quelques explications supplémentaires.