Comments on Petit navigateur d'ordinaux

Apparently I'm not the only one who got confused by ordinal power versus cardinal power: <URL: http://math.stackexchange.com/questions/109206/how-is-epsilon-nought-countable >

Nice illustration. It works well for me.

These navigable diagrams show nicely the fact that there is no strictly descending sequence mapping omega to any ordinal: if you start from any ordinal, and keep clicking on the buttons in such a way that you don't just keep chosing the rightmost button, you eventually reach a dead end.

On another note, can you also show an ordinal with cofinality greater than omega on such a diagram? I think that's impossible, but I'm not sure.

Sur le sens de ! dans les URL pour Google: le dernier paragraphe de la page de Google que tu cites indique que ça se désactive dans le robots,txt, non?

@Ni : les traductions proposées sont d'ailleurs amusantes. Par exemple : "Les ordinaux avec des acides gras oméga omega".

Tu peux aussi utiliser pushState pour manipuler les URL et mettre ces paramètres dans le queryString plutôt qu’utiliser le fragment identifier, pour les navigateurs qui le supportent.

Pas trouvé le « zoom out »… j'imagine qu'avec ce que tu as codé cela devrait te paraître trivial à mettre en œuvre.

Sinon il y a un bogue d'affichage, tu me déçois, tu es si soigneux en général :-p Partant de epsilon_0 par exemple, je clique sur la quatrième partie plusieurs fois (epsilon_0 lui-même donc). Je me retrouve avec omega^{omega^{omega^{omega^\cdots}}}} qui sort des cases prévues pour (je m'attendais perfidement à ça) et pousse « Reset to ordinal » hors du cadre (ça en revanche non).

En tout cas merci, cela me donne l'illusion de comprendre quoi que ce soit à ces bestioles.

Oui ben on serait intéressé par tes commentaires sur F# notamment savoir si le mélange fonctionnel, impératif et objet est réussi à ton avis ou pas.

Arf, Chromium me demande si je veux traduire la page du grec vers l'anglais :-)