dimanche 27 février 2022

Tour de Babel

Maintenant, dans Google traduction, on peut non seulement traduire un document d'une langue à l'autre, et (et ça, pour moi, c'est une avancée majeure), télécharger le pdf de la traduction, mais on peut également faire traduire tout un site, c'est génial !  

en anglais
en chinois
en hindi
en espagnol
en arabe
en bengali
en russe
en portugais
en indonésien
en allemand
en japonais
en maltais

J'ai fait traduire selon les 13 premières langues parlées au monde (sauf qu'il n'y a pas l'ourdou, 11ème, voir là nombre de locuteurs par langue, touchant potentiellement 5 milliards 142 millions de lecteurs...).

On ne comprend jamais mieux que dans notre langue maternelle, je crois. Les incompréhensions langagières peuvent être lourdes de conséquence ("Mal nommer les choses, c'est ajouter au malheur du monde." (Albert Camus).

(il subsiste quelques problèmes mais qui seront sûrement rapidement résolus : le premier problème est que les liens ne sont pas activables dans la page traduite ; le second problème est ce qu'on obtient pour la traduction de documents contenant des mathématiques : voir ici , traduction libre fournie par Google d'un texte téléchargeable sur le site alainconnes.org).

dimanche 20 février 2022

Topos

Un exemple d'une petite idée qui pourrait être complexifiée pour appréhender la notion de topos, je crois :

- Si on dit "moins par moins donne plus, plus par plus donne plus, plus par moins donne moins, et moins par plus donne moins.", on voit bien dans quel contexte on le dit et ce que ça veut dire.

- Si maintenant, on dit "la somme de deux pairs est un pair, la somme d'un pair et d'un impair ou d'un impair et d'un pair est un impair, et la somme de deux impairs est un pair", pareil, on voit bien ce que ça signifie.

On "sent bien" que ces deux trucs, c'est la même chose, on peut trouver une bijection, un pont, qui permet de passer d'un contexte à l'autre, et qui permet de transposer ou projeter les raisonnements qu'on pourrait faire dans l'un des contextes dans l'autre contexte.

De façon beaucoup plus compliquée, on utilisait la même idée en fac en théorie de la complexité : pour prouver qu'un problème est NP-complet, il faut trouver une bijection entre ce problème et un problème NP-complet connu et répertorié, il y a un certain nombre de tels problèmes, on les trouve dans le Garey et Johnson (voir la page wikipedia de ce livre), et quand on trouve une telle bijection, on est vraiment content ;-)

L'idée du topos, c'est un peu ça, je crois, mais en montant d'un niveau, il s'agit d'un lieu dont les instances (i.e. d'une similitude perçue entre 2 situations) appartiennent à 2 domaines différents des maths (par exemple, le passage de l'algèbre à la géométrie, ou, uglier comme ils disent, le passage du modèle de Peano à celui de Zermelo-Fraenkel, ça serait possible, ça ?) Les champs d'application étant très différents, j'imagine que ça a été utilisé sur des portions de domaines mais je ne le sais pas.

lundi 14 février 2022

Aujourd'hui, pubs

Quelle est cette musique ?
Ballerine Bols
J'ai appris que Bols était la plus ancienne distillerie du monde, à Amsterdam aux Pays-Bas depuis 1575 !

J'ai voulu acheter de l'eau Font Vella, mais ils n'acceptent que des commandes de professionnels, sûrement principalement en Espagne.
Les designs des bouteilles sont chouettes.
l'eau de la Font Vella.

Une bouteille en plastique, avant qu'on la gonfle...

vendredi 11 février 2022

Photos retrouvées

Vase auto-référent


Diablotin de la fresque de Speedy Graphito


Wall-e fait des blagues et Eve-rit !

dimanche 6 février 2022

Sur le plancher, une araignée se tricotait des bottes...

sur le plafond, un limaçon... de Pascal !
Cliquez sur le lien Pascali .

Une page du cours de mathématiques de premier cycle de Jacques Dixmier aux éditions Gauthier-Villars en 1991 :

samedi 5 février 2022

D'un autre âge ?

peut être à relier au suicide d'une jeune femme à Nancy .