Podcast Science 295 – Le théorème d’Abiteboul-Vianu

Le dossier de la semaine

» Le théorème d’Abiteboul-Vianu avec Arthur
A venir

Les images de la soirée

 

La quote de la semaine

 

“Le désordre c’est l’ordre moins le pouvoir” Léo Ferré

Plugs et liens évoqués

-Dessins de “Lyon Science” et “PS sur le trône” en ligne

– 80 ans au palais de la découverte
En 80 ans d’existence, le Palais de la découverte a été le témoin de nombreuses révolutions scientifiques. Une série de nouveaux exposés vous propose de revenir sur certaines des évolutions ayant marqué cette période.
Il y aura au moins un exposé par week-end jusqu’au 21 mai et un par jour du 1er au 17 avril. Site internet:
http://www.palais-decouverte.fr/fr/au-programme/evenements-palais/80-ans-palais/

 

 

 

La Chatroom

Pascal METZ: Salut Tupe

NicoTupe: lu

Robin: Salut salut !

Robin: Encore un podcast math…

Robin: IL faut faire tout ce qu’on peut pour garder tout le monde avec nous, je compte sur vous !

NicoTupe: Tu viens sur skype?

Robin: Ouaip attends, cinq minutes, il faut que je déméngage mon ordi

ElJj: B’soir

Pascal METZ: Salut @ElJj

ElJj: 295 : nombre de Lychrel

Machine à deux anneaux: Salut.

Robin: Yeah, ça c’est classe !

Robin: De retour, Nico, quand tu veux

Machine à deux anneaux: @ElJj Je lis sur wikipédia qu’il n’y a pas de nombre de Lychrel connu.

NicoTupe: c’est quoi?

ElJj: C’est un nombre L dont la suite u0=L et u_n+1=u_n + renversé(u_n) ne tombe jamais sur un palindrome

Machine à deux anneaux: Sur un palindrome plutôt, parce que sur 0 ça risque pas.

ElJj: On ne sait pas si les nombres de Lychrel existent vraiment, mais il semble que 196 et 295 soient les plus petis exemples

elfredo: Bonsoir a tous!

Pascal METZ: Bon il est ou mr Abiteboul?

∫∈ℝωγℕ: Hello

Machine à deux anneaux: Ça coupe, encore.

Pascal METZ: il a dit qu’il sera là

irene: c classe comme nom

Machine à deux anneaux: Hello.

irene: hello hello!

Machine à deux anneaux: C’est normal qu’il n’y a pas de son ?

Pascal METZ: non

Pascal METZ: personne n’a de son ?

Machine à deux anneaux: Maintenant j’en ai.

Machine à deux anneaux: C’est reparti.

Pascal METZ: ouf

Pascal METZ: https://www.amazon.fr/dp/B06Y16FP4W/ref=dp-kindle-redirect?_encoding=UTF8&btkr=1

Pascal METZ: Je viens de l’acheter

irene: merci Pascal!

Pascal METZ: 🙂

Machine à deux anneaux: Ok, donc y’a du son normalement.

Pascal METZ: @Machine à deux anneaux oui

Pascal METZ: tu n’en as pas ?

Machine à deux anneaux: Non.

Sabine: hello

Pascal METZ: salut @Sabine

Machine à deux anneaux: Je vais recharger la page, puis sinon j’écouterai l’enregisrement.

Pascal METZ: @Machine à deux anneaux tu as essayé de cliquer sur le lien “flux live mp3” ?

Machine à trois anneaux: J’ai du son maintenant.

Machine à trois anneaux: J’essaierai si ça recoupe.

Sabine: oui alors dit comme ça 🙂

Machine à trois anneaux: Bon, ma connexion est trop pourrie, rien ne fonctionne. Bye.

NicoTupe: @ElJj po compris le nombre de Lychtrel

Pascal METZ: arf

ElJj: En gros, tu pars d’un nombre. Par exemple, 42.

Robin: 🙂

Robin: au pif

ElJj: Tu lui ajoute son renversé : 42+24 = 66

NicoTupe: oué

ElJj: On tombe sur un palindrome.

NicoTupe: ouais

Lê.: Hello !

NicoTupe: @Lê. salut!

Robin: yop !

ElJj: Si on part de 295, on a 295+592 = 887

ElJj: ce n’est pas un palindrome, donc on recommence

NicoTupe: ah oki

ElJj: 887+788=1675. Ce n’est pas un palindrome, on recommence

ElJj: etc.

NicoTupe: et Lychtrel c’est jamais un palyndrome

ElJj: Un nombre de Lychrel est un nombre où le processus ne tombe jamais sur un palindrome

David loureiro: Kikoo lol

NicoTupe: merci

NicoTupe: c’est rigolo

ElJj: Plot twist : personne ne sait aujourd’hui si les nombres de Lychrel existent

NicoTupe: et pour 295 on sait pas si c’est le cas mais aussi loin qu’on a testé ça l’est c’est ca?

ElJj: Toutafé. Peut être que, après plusieurs millions d’itérations, 295 finira en un palindrome

NicoTupe: L’idéal serait de trouver un cycle

Lê.: Salut @David loureiro

ElJj: Les suites sont strictement croissantes, donc aucun risque de cycle. Ca complique la chose.

NicoTupe: eneffet

Lê.: vous avez personne pour la semaine prochaine ?

NicoTupe: Je regarde

NicoTupe: On peut faire un épisode sur la politique #troll

Lê.: si ça vous dit je peux faire un épisode sur les scrutins

Pascal METZ: on a pas le roue libre ?

irene: roue libre sans invité en effet

NicoTupe: Si on a une roue libre

NicoTupe: Mais lé peut passer

NicoTupe: Et nous faire une chronique sur les scrutins

irene: un dossier sur les scrutins serait cool

NicoTupe: @Lê. D’autant qu’on a un second tour avec un vainqueur de condorcet selon les sondages

ElJj: Ca va finir par se voir que ça devient podcastmaths

irene: certainement pas! Je veille….

Lê.: haha

NicoTupe: ca peut être l’occasion de parler de comment définir un “bon scrutin” et de la notion de représentativité qu’abordent tous tes scrutins

NicoTupe: tu t’imagines faire un truc de 10-15min?

Lê.: comme vous voulez

NicoTupe: si c’est pas plus long que ça je penseque ça peut le faire

Lê.: ça marche

irene: super !

NicoTupe: @irene et @Pascal METZ vous validez?

irene: Oui oui!

NicoTupe: coule

irene: 🙂

NicoTupe: Irène ment, elle a rien suivi

irene: Oh! C pas vrai!

NicoTupe: Kiss

irene: <3

Robin: grave c’est vrai, tu parlais sur la chatroom

NicoTupe: Trop d’amouuur ici

irene: Ondouble le temps d’entrée et la sortie est multiplié par une constante

David loureiro: Salut @Lê.

NicoTupe: Moi j’ai besoin d’amour (©Lorie), mon fil facebook me fait déprimer

irene: c’est linéaire quoi!

irene: Oh, pov tupe!

NicoTupe: <3

nyves: Salut

NicoTupe: salut

nyves: @NicoTupe : je suis d’accord, j’hesite a arreter FB pour 15 j

NicoTupe: Tellement…

NicoTupe: 15j puis en fait peut être 5 ans

nyves: arrete je pleure

irene: qu’est ce qui s’est passé sur ton FB?

NicoTupe: ON EN PARLE PAS ICI

NicoTupe: 🙂

irene: Ok!

nyves: qd je vois deja la geuele des nouvelles lois du travail de la “gauche”

nyves: je sens qu’on va rire

nyves: purée, ca me rappelle ce que j’ai ait hier au taf 🙁

nyves: pré calcul d’aggregat temporel

Lê.: c’est un milliardaire mathématicien

Pascal METZ: mais non, ca ne peux pas exister ca….

irene: Ca existe?

Lê.: il a fait de la recherche en maths

Lê.: et puis il s’est dit qu’il pouvait être riche en faisant de la finance

Lê.: et en appliquant ses maths

Robin: Clay ?

nyves: je croyais que les matheux faisait ca pour la gloire

Lê.: https://www.youtube.com/watch?v=gjVDqfUhXOY

Lê.: James Simons

Robin: Y en a un autre qui a fait ça et qui est devenu très connu dans la finance

Lê.: de la Simons foundation

nyves: bon, je vous laisse, pour une fois que je vois ma femme, j”=’en profite

nyves: see you

irene: ciao!

Robin: Salut, profite bien d’une soirée normale !

Lê.: ciao

Pascal METZ: select top 1 * from intersections where hotel=true

Pascal METZ: j’ai fait un choix non ? 😉

Sabine: 🙂

irene: heuuuu

irene: t’as raison Pascal

Pascal METZ: apres, je ne suis pas sur que ce soit accepté dans un SGBD relationel standard

Pascal METZ: mais sqlserver l’accepte

Pascal METZ: (theorie, pratique toussa)

Lê.: donc la conclusion de tout ça, c’est que l’espace est le temps dans un univers Turing-complet si et seulement si l’espace est le temps des les univers relationnels…

Sabine: prends ta tête à deux mains mon cousin…

NicoTupe: @Lê. tu sais que Powerpoint est Turing complet?

Lê.: non je savais pas

Lê.: je vois Microsoft sous un autre jour tout à coup ^^

NicoTupe: https://www.youtube.com/watch?v=uNjxe8ShM-8

Sabine: c’est une citation de Desproges @irene

irene: Haaaa, merci Sabine!

Lê.: Y a un reddit : https://www.reddit.com/r/programming/comments/65×029/on_the_turing_completeness_of_powerpoint/

Lê.: je ne sais pas trop si c’est un fake…

Pascal METZ: Je n’ai trouvé aucune reference anterieur au 1er avril 🙁

NicoTupe: Je pense pas que ce soit un fake

ElJj: La conférence a l’air sérieuse et con à la fois.

Lê.: tu peux pas parler de ça en étant ultra sérieux

NicoTupe: @ElJj ton verdict?

ElJj: Je regarde ke contenu du reste des présentations

ElJj: Il y a notemment une étude d’une variante du jeu à boire de ll’happy hour, qui consite à boire un maximum de verres en une heure.

NicoTupe: tu es sur quel papier

ElJj: http://sigbovik.org/2014/proceedings.pdf

NicoTupe: Les titres en Comic Sans <3

ElJj: Parce que l’éolien, ma bonne dame, ça gache les paysages

NicoTupe: voila

NicoTupe: plus sérieusmeent je sais pas ce qu’elle a contre les éoliennes

ElJj: Votons chemindae ! le seul qui propose le jugement majoritaire !

ElJj: (Et qui propose d’interdire les jeux vidéos… Ahem…)

NicoTupe: A Simple Category-Theoretic Understanding of Category-Theoretic Diagrams –> 😀

ElJj: @NicoTupe Je pense réellement qu’elle n’aime pas l’éolien parce que ça gache le paysage, et que suffisement de gens pensent ça pour que l’argument soit valable.

NicoTupe: sans doute

Robin: ça me paraît tout à fait crédible

Robin: Ah au fait, ElJj, il paraît que tu as croisé mon collègue Arnaud ?

Robin: Il avait l’air content de t’avoir vu !

NicoTupe: Montebourg?

ElJj: Oui ! Ah, chouette !

Robin: Non non, il ne bosse pas encore au Palais

Robin: Bon, la prochaine fois, tu me préviens en avance et ON SE VOIT !!!

Robin: Tu aimes le café ? La bière ? Autre chose ?

Robin: On trouve l bon horaire et le bon lieu !

ElJj: C’est pas gagné que je retourne à Paris de si tôt malheureusement, je vais avoir un boson qui risque de me prendre du temps 😉

Robin: OUahou!!

Robin: ça c’est une nouvelle alors !!

Robin: 🙂

Robin: Bon ben y a plus qu’à ce que je vienne dans la Sarthe alors !

ElJj: En Loire-Atlantique, j’ai déménagé entre temps !

ElJj: (à Nantes, quoi)

Robin: Nantes ?

Robin: J’ai des points de chute là bas

Robin: !!

Robin: J’y suis passé il n’y a pas longtemps, j’ai de la famille et des amis !

Robin: Je prends bonne note…

ElJj: Dans le sondage interne au parti, il n’y a que trois réponses possibles pour le choix du second tour : abstention, blanc ou macron; Le choix le pen n’y est même pas proposé.

ElJj: @Robin Si tu passes dans le coin, tu me préviens en avance 😉

Robin: Carrément !

Robin: La veille au moins

Robin: 🙂

Lê.: Bonne nuit les gens

Robin: Bon, ça cause politique, là

Robin: On n’est pas couchés les enfants 🙂

NicoTupe: ‘nuit

bruno: super podcast a la prochaine 😉

ElJj: Bon, mon verdict : la conférence SIGBOVIK, c’est de la parodie de papier scientifiques, mais ça ne les rend pas faux pour autant.

Derniers épisodes