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

[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.

Question subsidiaire : trouve 5 manières différentes de mesurer la hauteur d'une tour à l'aide du baromètre...
-----

[andretou]

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é.

C'était sûrement l'âne de Buridan...

[Deedee81]

Question subsidiaire : trouve 5 manières différentes de mesurer la hauteur d'une tour à l'aide du baromètre...

Celle-là est archi connue

J'aurais préféré une réponse sur les problèmes de raisonnement.

[albanxiii]

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.

A l'impossible nul (en tout cas pas moi) n'est tenu, je rejoins l'avis de gg0
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.

Je découvre ce fil aujourd'hui, le week-end étant passé par là. C'était très intéressant page 7 et précédentes, jusqu'à ce qu'andretou revienne...
Malheureusement, on n'en tirera rien de plus, il applique sa technique habituelle.
Si les autres participants de ce fil veulent poursuivre sur la lancée qui était la leur avant de se faire tirer vers le bas de façon lamentable, je les encourage à en ouvrir un nouveau.