JE D'EGO, le blog personnel d'Arthur RAINBOW

Personne aurait une machine à voyager dans le temps ? Ca me permettrait de décider la hierarchie arithmétique.

Au premier niveau de la hierarchie, je lance un calcul, il affichera des tas de réponses puis s'arrêtera, la dernière réponse sera la bonne, mais je dois attendre la fin des temps pour être sur que c'est bien la dernière réponse. Je pourrais alors revenir aujourd'hui, donner la réponse à mon ordinateur et passer au deuxième niveau... Si je fais ça suffisamment de fois je dois pouvoir monter tout en haut de la hierarchie arithmétique !

Arthur Rainbow, qui c ommence par de la recherche raisonnable au lieu de s'attaquer tout de suite à la hierarchie analytique !

Je pense que ma nouvelle citation fétiche va être :

Prouver la réponse à P vs NP, c'est très simple ! Je l'ai déjà fait 7 fois !

Sinon, j'ai une propriété avec des conditions sur les classes de fonctions non closes par composition, quelqu'un pourrait aller lui dire qu'elle n'était pas sensé s'attaquer à la classes des polynomes(qui sont clos par compositions) ?

En plus, j'ai une propriété que je pensais triviale, elle est tout le temps vraie, sauf sur dans certains précis, où elle devient fausse (sauf dans certains cas spéciaux bien défini où étrangement elle redevient vraie)... J'aimerai dire à mes théorème qu'en générales je leur demande de ce comporter plus gentiment.

Dernière question: si je deviens fou, c'est qui le responsable de l'accident de travail ?

Cela fait longtemps que je n'ai pas programmé, et j'ai vu une idée sur le mur d'une connaissance, sur facebook. Cette idée semblait simple à implémenter (la preuve, ça ne m'a pris que quelques heures ce soir)

Il s'agit simplement d'avoir une interface simple pour créer de faux mur à la manière de ce qu'on peut voir ici

Un mini exemple est sur http://www.arthurrainbow.fr/facebook/ (il faut encore que je règle les problème d'accents), son fichier de configuration est sur http://www.arthurrainbow.fr/facebook/config, et on peut télécharger la source, qui contient des explications dans le fichier README ici

Pour vous donner une idée: je lis un théorème T et j'ai un problème pour comprendre la démonstration... (L'horreur des passages: "il est clair que P", où je me sens idiot car pour moi P n'est pas évident du tout). Je laisse tomber. Quelques temps plus tard je tombe sur un article A indiquant que le théorème T est faux et donnant une preuve par l'absurde, montrant que si T était vrai alors on aboutissait à une contradiction. Je lis A et suis surpris; malheureusement je n'ai pas les notions pour comprendre la démonstration de cet article, et surtout il n'indique pas quel est la partie de la preuve de T qui est fausse (Bravo, il a démontré que les mathématique sont inconsistante !)

Après renseignement cet article A est connu par les gens du milieu comme étant faux, et ne devrait plus être en ligne, curieux je retente de comprendre la preuve de T, et je bloque sur P, que je ne comprend toujours pas, et finalement je prouve que P est faux en donnant un contre exemple.

Donc on a un ex-théorème T qu'on pensait vrai, mais dont la démonstration est fausse, comme ça avait été indiqué par l'article A, dont la démonstration était fausse (aussi) mais le résultat potentiellement juste.

Sans aucun rapport, je ne sais pas comment elle survit, ça fait une semaine que j'ai une cocinelle qui vole autour de la lampe de ma chambre. (L'autre question étant: comment tout ces insectes rentrent t-il malgré la moustiquaire !)

Si je devais faire le palmarès des objets^[1] et phrases les plus bizarres que j'ai vu durant mon stage, les On descrend dans l'arbre jusque à atteindre les feuilles, qui est un classique, serait assez loin derrière des nouveautés, due à la logique, comme On va prouver qu'il est prouvable que ..., qui a un sens précis (on pourrait croire que j'ai juste la flemme de faire la preuve elle même, mais ce n'est pas du tout le cas).

Cependant, cela ne bas pas les magnifiques résultats de probabilité, le presque pléonasme Une propriétée (sans constante) est vraie ou fausse avec probabilité 1^[2], qui arrive en second derrière le presque paradoxale Ce problème indécidable est décidable avec probabilité 1(Et je souhaite bonne chance à ceux qui comprennent l'énoncé mais ne connaissent pas le truc pour avoir un exemple).

Arthur, organisateur de concours où il est le seul participant.

-Qu’est-ce que tu penses de cette photo?
-Elle HTML5.
-Euh, quoi ?
-Oui, maintenant on n’a plus besoin de dire « elle flash ».

Désolé, je crois que j'ai juste trop lu le geektionerd.

Comme sur The daily WTF voici quelques photos prise récemment.

Tout d'abord, cette boite de chocolat, au gout, je crois qu'ils sont expirés. A la date aussi, mais j'en suis moins sure.

Ensuite, j'aimerai beaucoup savoir ce qu'il faut faire en cas d'incendie à la réserve fédérale de Boston, bien sur il faut évacuer le building, mais la manière de le faire est peu claire pourvu que l'on ne soit pas au rez-de-chaussée

A coté du MIT je serai curieux de connaitre l'histoire de cette dalle .

Toujours au MIT, cette fois dans leur musée, on peut voir un moteur faisant tournée une petite roue qui a des dents qui font tournée une grande roue, elle même relié par son centre à une petite roue qui tourne avec elle et ainsi de suite, de façon à ce que la dernière roue tourne très lentement, ce qui fait que ça ne pose pas de problème si elle est relié à un cube de béton fixe. Un panneau indique que ça prendra "13.7 billions of year" pour faire un tour complet.
En fait, je pense que ce sera peut-être même un peu plus, quand j'étais passé la sculpture était débranché. (ce n'est pas très visible car le fil est noir, le fil blanc branché est relié à une autre oeuvre)

Enfin, les super marché on une obligation de nous faire connaitre le prix au poids de ce qu'on achéte, ou pour des objets en quantité, le prix par paquet de cent. (Par exemple si je prend 20 sacs poubelles, ils multiplient le prix du paquet par 5, comme ça on peut facilement comparer). Ce qui me permet de savoir, c'est important ! Et ça me permet par exemple de savoir que on peut acheter 100 grilles pains pour le prix de cent fois un grille pain ! .

Par ailleurs, cher membres de la phalance, j'ai retrouvé la photo de l'oya, n'hésitez pas à me la demander par email.

Si un jour vous deviez être prisonnier d'un canibal qui vous laisse le choix de l'assaisonnement choisissez de prendre la poudre d'escampette.

Arthur, qui ne dévore que des yeux.

On dit souvent que la recherche ne doit pas avoir un but, car on ne trouve jamais ce qu'on cherche explicitement, et que les plus grandes découvertes ont été fait par hasard.

J'aimerai rajouter une contraposée à cette affirmation, l'avantage des maths, c'est que ça permet d'être sur que ce qu'on fait sert à rien alors que dans les autres matières on ne fait que le supposer. Attention, même les maths qu'on pense inutiles peuvent un jour servir, l'exemple canonique étant la théorie des nombres, qui n'était qu'un jeu pour mathématicien et qui a commencé à vraiment servir qu'avec l'informatique. Moi je parle d'une vrai preuve mathématique d'inutilité.

Eh bien, grâce à ça, je sais désormais que mon travail de ces trois dernière semaine ne servira à rien ! MAIS JE LE SAIS MATHEMATIQUEMENT ! :D

Pour ceux qui veulent plus de détail, je dirai juste que, si en première approximation on dit que la complexité est une droite où on peut classer les langages, avec le plus simple tout à gauche de la droite sur le 0, puis de plus en plus complexe quand on va vers la droite, la question qui se pose est de positionner différent langage.

A partir de deux langages, FO et MALL déjà bien étudié, j'ai créé une extension FO-MALL, et je savais que FO-MALL était à gauche de MALL, puis j'ai montré qu'il était à droite de FO (donc qu'il était plus complexe que FO mais pas plus complexe que MALL)... Et aujourd'hui j'ai montré que FO-MALL était exactement à la même place que MALL... donc que l'extension ne sert à rien car la complexité est exactement la même...

Je sais pas si je dois rire ou pleure, ni ce que je fais de mon pdf de trente pages, mais bon... au moins c'était marrant.

Arthur qui aime bien faire de la "recherche" mais pas tout le temps.