« Mathématiques avec Python et Ruby/Freudenthal sous Ruby » : différence entre les versions
Contenu supprimé Contenu ajouté
Aucun résumé des modifications |
|||
Ligne 3 :
Le [[w:Problème de Freudenthal|problème de Freudenthal]] est intéressant à traiter en ''Ruby'' parce qu'il peut se résoudre en manipulant des tableaux et ensembles et que pour ''Ruby'', les tableaux peuvent se manipuler comme des ensembles et ''vice-versa''. Le problème est d'ailleurs intéressant en soi parce qu'il porte sur la [[w:Logique épistémique|logique épistémique]]. En voici l'énoncé traduit du Néerlandais à l'Anglais puis au Français:
{{Cadre
* Polly: Je ne sais pas qui sont x et y.
Ligne 9 :
* Polly: Alors je sais qui sont x et y.
* Sam: Alors je sais aussi!
Le but du problème est donc d'utiliser les connaissances qu'on a sur les connaissances de Polly et Sam pour savoir si on peut savoir quels sont ''x'' et ''y''.
| |||