Les algorithmes permettent-ils de fabriquer automatiquement des théorèmes ?

[Médiat]

Parce que là, tu es en train de nous dire que le Père Noël n'existe pas un peu comme quand Amy Farrah Fowler fait remarquer que le scénario d'Indiana Jones est raté parce que le personnage principal ne sert à rien dans l'histoire.

Un de mes épisodes favoris ! Dans "un jour sans fin", que j'ai vu plus 5 fois, le prof de piano est en extase parce que c'est "son élève", alors qu'elle ne l'a vu qu'une seule fois, et on peut supposer qu'il n'a pas fait d'ENORMES progrès en une seule et dernière leçon
-----

[andretou]

Non ! J'ai appuyé sur des touches du clavier comme : gliuglhglufutroutfljhglyfuflyg luygigluyflufluflfluflfmygiuuy tyyghk, allez-vous nous dire que c'est de la littérature, ou des mathématiques en base 36 ?

Vous avez donc voulu créer un nombre aléatoire au sens de Martin-Löf ? Il s'agit donc bien de mathématiques...

[stefjm]

Non ! J'ai appuyé sur des touches du clavier comme : gliuglhglufutroutfljhglyfuflyg luygigluyflufluflfluflfmygiuuy tyyghk, allez-vous nous dire que c'est de la littérature, ou des mathématiques en base 36 ?

C'est un début.
https://fr.wikipedia.org/wiki/Paradoxe_du_singe_savant

[Deedee81]

C'est juste un fait.

Tu n'es pas télépathe.

Bon essayons autrement :
Andretou : si j'écrit XYZPZY est-ce que je fais de l'arithmétique ?

[Médiat]

Vous avez donc voulu créer un nombre aléatoire au sens de Martin-Löf ? Il s'agit donc bien de mathématiques...

Vous êtes bouché ou quoi j'ai appuyé sur des bouts de plastiques, j'aurais pu faire la même chose en disant que j'avais calligraphié des glyphes dont l'aspect me paraissait sympa.

Là-dessus, en parfait accord avec pm42 #208, je ne vous répondrais plus sur ce point, je me contente de me répéter : en mathématique, avec juste deux symboles de constantes, on ne peut RIEN faire, à part les contempler.

[Médiat]

C'est un début.
https://fr.wikipedia.org/wiki/Paradoxe_du_singe_savant

Je préfère La Bibliothèque de Babel de Borges

[andretou]

Tu as vu "Un jour sans fin"

Moi aussi j'adore ce film.
Et aussi "Douze hommes en colère" !...

[Deedee81]

Moi aussi j'adore ce film.
Et aussi "Douze hommes en colère" !...

T'as pas répondu à ma question. C'est pas très correct ça

[andretou]

si j'écrit XYZPZY est-ce que je fais de l'arithmétique ?

Oui si c'est une clé de déchiffrage.

[Merlin95]

Et sinon ?

[gg0]

Bon,
ça suffit peut-être les affirmations sans raison de celui qui ne veut pas comprendre : on ne peut pas faire boire un âne qui n'a pas soif ! Il est temps de fermer, comme souvent avec Andretou.

[andretou]

T'as pas répondu à ma question. C'est pas très correct ça

Désolé, c'était une question qui méritait réflexion...

[Merlin95]

Désolé, c'était une question qui méritait réflexion...

Ca y est tu as compris ! Enfin.

[Deedee81]

Oui si c'est une clé de déchiffrage.

Non, ce n'est pas une clé de déchiffrage

[andretou]

Non, ce n'est pas une clé de déchiffrage

Puisque ce n'est ni une clé, ni un nombre (sauf évidemment pour l'ordi), mais qu'il s'agit d'une suite de symboles sans signification numérique, alors je ne vois pas comment ça pourrait être de l'arithmétique.

[Médiat]

Quel nombre est 1 pour l'ordinateur ?

[andretou]

Quel nombre est 1 pour l'ordinateur ?

Je ne comprends pas la question. Vous voulez dire quel nombre est 1 dans le système binaire ???

[Médiat]

J'ai repris votre expression

[Merlin95]

Puisque ce n'est ni une clé, ni un nombre (sauf évidemment pour l'ordi)

Ca ne peut pas être une imprécision, cela témoigne forcément de vos à priori, sinon ça serait une tautologie et comme je pense que vous ne vouliez pas pas exprimer une tautologie, reste que le fond de votre manière de penser. A contredire éventuellement.

[Merlin95]

C'est même pas une tautologie c'est un non-sens ou autrement dit une ânerie.

[andretou]

J'ai repris votre expression

Pour l'ordinateur en particulier (*), une lettre est une suite de 0 et de 1 (de même qu'une image ou un son). Le mot de Deedee est ainsi converti par son ordinateur en une suite de 0 et de 1, elle-même reconvertie en mot par mon ordinateur.
Cette opération d'encodage/décodage étant mathématique, il est toujours possible d'affirmer qu'il y a de l'arithmétique dans n'importe quel message numérique.
C'est pour écarter cette interprétation spécieuse que j'ai fait cette formulation, probablement malheureuse, veuillez m'en excuser.


(*) paradoxalement le cerveau fonctionne lui aussi en mode binaire

[Médiat]

A l'impossible nul (en tout cas pas moi) n'est tenu, je rejoins l'avis de gg0

Il est temps de fermer, comme souvent avec Andretou.

même si je regrette que quelques questions n'aient pas été approfondies, et risquent de laisser des idées fausses aux lecteurs de passage.

[Merlin95]

Pour l'ordinateur en particulier (*), une lettre est une suite de 0 et de 1 (de même qu'une image ou un son).

Je comprends pas ce qui fait dans un ordinateur qu'un ordinateur puisse voir dans une suite de 0 et 1 un caractère.

[Merlin95]

Bien sûr c'est une question rhétorique qui ne demande pas de réponse autre que celle que je (et d'autres) vous ais proposé.

[Deedee81]

Salut,

il s'agit d'une suite de symboles sans signification numérique

Tu fais encore une hypothèse abusive.

Un indice : ma langue natale est le Klingon (un dialecte peu connu). Kapla !

Peut-être que tu vas finir par comprendre non pas la réponse à ma question mais pourquoi la plupart de tes raisonnements sont fautifs et illogiques. Ce serait un grand pas
(même si Médiat et gg0 semblent avoir compris ma démarche et même si elle ne semble pas avoir porté ses fruits ci-dessus, mais qui sait l'espoir fait vivre)

[Deedee81]

pourquoi la plupart de tes raisonnements sont fautifs et illogiques.

Ah tiens, un exercice amusant et très utile que j'avais lu dans un article sur le raisonnement.

Trouver 5 manières de mesurer le temps (le temps qui passe, pas la météo) avec un baromètre.

Ce type d'exercice permet de dépasser les a priori et les énumérations que l'on croit faussement exhaustives.

[andretou]

Un indice : ma langue natale est le Klingon (un dialecte peu connu). Kapla !

Au début de la 2ème guerre mondiale, Turing savait au moins que les messages codés de l'armée allemande avaient une signification...
Si maintenant tu me dis que ta séquence de lettres est un langage codé et qu'elle possède une signification, alors c'est différent. Avec cette information je peux envisager que ces lettres puissent avoir une signification arithmétique, ou pas.

[Médiat]

Il y a longtemps de cela j'ai voulu faire écrire l'équation de Schrödinger à un âne mort, et bien lui aussi il a échoué.

[andretou]

Ah tiens, un exercice amusant et très utile que j'avais lu dans un article sur le raisonnement.

Trouver 5 manières de mesurer le temps (le temps qui passe, pas la météo) avec un baromètre.

Ce type d'exercice permet de dépasser les a priori et les énumérations que l'on croit faussement exhaustives.

1. S'en servir comme d'un balancier ;
2. Le faire tomber du haut d'une tour ;
3. Le dissoudre dans un bain d'acide ;
4. Le brûler ;
5. Compter le nombre de désintégrations de ses éléments radioactifs.

[Deedee81]

Avec cette information je peux envisager que ces lettres puissent avoir une signification arithmétique, ou pas.

Pas codé (je n'ai jamais parlé de codage) mais la suite reste correcte. Et donc :

Etant donné qu'avant cela tu n'avais pas l'information, celle-ci restait possible. Tu aurais donc dû en déduire que tu n'avais pas assez d'information pour en décider. Est-ce que tu commences à voir où coincent la presque totalité de tes messages ? Tu n'a pas toutes les informations (c'est d'ailleurs rarement le cas, surtout quand on n'est pas expert du domaine concerné) donc dans ta tête tu imagines une possibilité (pas nécessairement celle qui te manque) et tu en titres une conclusion..... erronée.

C'est fou car tu commets l'erreur presque systématiquement. Et ça il faut bien avouer que ce n'est pas..... logique

Il y a longtemps de cela j'ai voulu faire écrire l'équation de Schrödinger à un âne mort, et bien lui aussi il a échoué.

Il avait cassé la fiole ???

....baromètre ....

on en a deux en communs