Inclassables Mathématiques Le blog 2.0

Si vous êtes dualiste alors vous pensez que l'esprit et la matière existent et qu'ils sont en relation.

Si vous êtes matérialiste vous pensez que seule la matière existe et que l'esprit se ramène à son support physique.

Si vous êtes idéaliste, l'esprit existe et la matière est une illusion.

L'essentiel n'est pas d'avoir une position mais d'en assumer les conséquences.

On pourrait explorer l'hypothèse suivante : "Et si nous n'étions que des machines". Nous ferions dans ce cas, le pari de la validité du "mécanisme numérique" aussi dénommé "computationnalisme", c'est à dire que l'on supposera vrai le fait que l'on puisse décrire un être humain de façon suffisamment précise, afin de saisir son identité mentale (et physique).  Si cette hypothèse vous semble farfelue, il ne faut pas oublier que les progrès vont bon train dans ce domaine, qu'une stimulation du cerveau peut redonner des sensations visuelles et que certaines parties du corps peuvent être entièrement remplacées par un objet externe. Si l'on se rend bien compte du chemin qu'il reste encore à parcourir avant que cette hypothèse soit réalisée, on peut déjà en explorer les conséquences. C'est d'ailleurs ce qu'a réalisé Bruno Marchal dans sa thèse résumée par Jean-Paul Delahaye dans le numéro de "Pour la Science" de Janvier 1998.

Il doit être clair qu'il ne s'agit pas de présumer de la validité de cette hypothèse mais d'en explorer les contours et les problèmes qui s'y attachent en la prenant comme base de travail et en suivant un raisonnement logico-déductif rigoureux.

L'hypothèse du mécanisme numérique implique donc la possibilité du codage complet de l'humain et donc celle de recréer un équivalent mécanique ailleurs, plus connu sous le nom de téléportation. La position adoptée est donc ni matérialiste, ni dualiste, qui sont les deux conceptions les plus présentent, mais celle d'un idéalisme particulier, pas le même que l'idéalisme "mathématique". C'est celui des machines numériques abstraites dans lequel on retrouvera de façon surprenante la logique de la prouvabilité, l'autoréférence, les résultats de Gödel, la thèse de Church et où l'on devra voir accoucher la physique de la théorie des machines numériques , donc de la théorie de la calculabilité et dans lequel l'indéterminisme sera présent sous une forme très particulière.

Mais reprenons l'histoire au début.

Monsieur Machin sait qu'il est une machine. Il sait en fait qu'il est possible d'enregistrer sa description, de le reconstruire ailleurs en faisant voyager l'onde électromagnétique et d'annihiler la version de base. Monsieur Machin aura été téléporté si l'expérience est réalisée.

Il est cependant possible de compliquer un peu l'expérience. On peut reconstituer Monsieur Machin en deux endroits différents. Le seul problème est que Monsieur Machin sera dans l'incapacité de déterminer l'endroit où il sera après le transport. Il s'agit d'un indéterminisme "psychologique" sans aucun lien avec l'indéterminisme physique (quantique ou autre). C'est un indéterminisme "intime", du même type que celui rencontré par une amibe qui se duplique.

Photo: aldoaldoz

Du rêve à la réalité, il n'y a qu'un pas qui peut être franchi avec le logiciel Jenn 3d

Comme quoi les maths peuvent être poétiques... à qui sait bien regarder.

réalisé avec Jenn3d

Hypergeometry Visuals Mix 2 from Asylum Seaker on Vimeo.

Lors de leur sortie, les listes twitter ont suscité pas mal de buzz. Beaucoup de personnes ont eu peur de se retrouver épinglés dans la liste de machin du type @machin/à éviter.

Je me suis prété au jeu et j'ai fait quelques listes mais force est de constater qu'elles ne me sont pas d'une utilité majeure. Par contre je viens de trouver un usage intéressant et inattendu, celui de diminuer la vitesse de défilement des tweets.

La création est à peine fastidieuse sous tweetdeck.

Vous placez sur la gauche votre flux complet de tweets et vous crééez deux listes l'une v1, l'autre u1 par exemple. En ce qui me concerne j'a séparé Anglais et Français. Les deux listes doivent avoir à peu près le même nombre de membres, mais ce n'est pas millimétrique non plus.Vous pouvez commencer le travail en affichant puis en éditant directement la liste et en  sélectionnant  les candidats. Cela se fait très bien avec tweetdeck en cliquant sur l'entête de la colonne.

Vous affichez ensuite vos deux listes à la droite de votre flux général et vous voyez de suite par simple comparaison les membres qui ne sont dans aucune des deux listes, ou au contraire les doublons.

Dans l'exemple suivant, il n'est pas difficile de voir que les trois derniers abonnés ne sont dans aucune des deux listes (cliquez sur l'image pour agrandir):

Il suffit donc d'utiliser le bouton "Other actions puis Add to group/list" :

Vous pouvez donc créer facilement et en "direct" deux listes filles du flux initial permettant de diviser sa vitesse de défilement par 2. Si vous voulez la diviser par 4 il vous suffit de reproduire la technique sur chacune des deux listes.

Il serait intéressant que cette possibilité soit offerte par défaut.

De plus la nouvelle version de Tweetdeck est munie d'un outil de parcours des colonnes très efficace. Il peut être utilisé pour afficher les colonnes à vitesse de défilement inférieure.

Visualisation de musique 3D. Magnifique et très sobre.

Cliquez sur l'image pour accéder au site.

Fabrice Bellard, vient de battre le record de calcul du nombre de décimales de Pi. Il a calculé environ 2 700 milliards de décimales de ce nombre magique.
La performance vient surtout du matériel utilisé : Fabrice a utilisé un ordinateur de bureau tournant sous Fedora 10, alors que le précédent record, ayant calculé environ 2 577 milliards de décimales... La suite ICI

Info obtenue grâce à Nicolas, un ancien élève qui m'a transmis le lien précédent.

Voilà la Webcam :

Lorsque l'on fait une recherche Google sur un mot clé voilà ce qui apparait :

Dans le coin en bas à gauche, on remarque Web + Afficher les options. Cliquons dessus. La liste des sites se décale un peu vers la droite poussée par une nouvelle colonne:

Cliquez sur les images pour afficher les recherches

En dessous de "Affichage standard", il est possible de sélectionner "Chronologie" ou "Roue magique"

Même si je ne dispose pas des connaissances suffisantes pour émettre un avis sur le sujet, j'ai apprécié le billet de David Madore, certes très technique, De quoi parlent les mathématiques?, abordant la problématique du codage des mathématiques.

On y retrouvera les acteurs principaux que sont ZFC, Peano et Gödel.

J'adore....

L'histoire de Google commence à l'université entre les maths et l'informatique.

Vidéo trouvée sur : Descary.com

Les ordinateurs biomoléculaires, faits d'ADN et d'autres molécules biologiques, existent aujourd'hui seulement dans quelques laboratoires spécialisés. Néanmoins, Tom Ran et Shai Kaplan, deux étudiants qui développent leur recherche dans le laboratoire du Professeur Ehud Shapiro de l'Institut de Chimie Biologique, d'Informatique et de Mathématiques Appliquées ont trouvé une façon de rendre ces dispositifs microscopiques de calcul "conviviaux" en exécutant des calculs complexes et en répondant à des questions compliquées, comme rapporté dans l'article publié en ligne dans Nature Nanotechnology.

Shapiro et son équipe avaient déjà découvert en 2001 les 1ers ordinateurs à ADN programmables et autonomes, si petits qu'un milliard de ces systèmes est contenu dans une goutte d'eau. Trois ans plus tard, une nouvelle version de ces systèmes pouvait détecter des cellules cancéreuses dans une éprouvette et les détruire. En plus de pouvoir imaginer qu'un jour de tels dispositifs pourront être utilisés chez l'être humain, tels des nano-docteurs pouvant localiser et soigner les maladies, ces ordinateurs d'ADN pourront effectuer des millions de calculs en parallèle.

L'ordinateur biomoléculaire développé aujourd'hui suit la logique suivante : il est programmé avec une règle telle que "Tous les hommes sont mortels" et un fait tel que "Socrate est un homme". Lorsque l'on demande alors à l'ordinateur si Socrate est mortel, il répond correctement dans tous les cas. Parallèlement, l'équipe a développé un programme permettant la communication entre le langage de programmation classique d'un ordinateur et le code de fonctionnement de l'ordinateur à ADN. Pour parvenir à la réponse, différents brins d'ADN correspondants aux règles, faits et questions sont assemblés selon un processus hiérarchique par un système robotisé. Afin de visualiser la solution, des molécules naturellement fluorescentes ont été greffées sur certains brins d'ADN, avec une seconde protéine masquant l'émission de lumière. Une enzyme spécialisée est alors attirée sur le site de la réponse correcte, et "découvre" la molécule fluorescente, permettant ainsi la visualisation de la réponse.

Les ordinateurs biomoléculaires contenus dans ces gouttes d'eau ont pu ainsi répondre à des questions bien plus complexes en combinant différents fluorophores.

http://www.bulletins-electroniques.com/actualites/60785.h...