Comments on Petit navigateur d'ordinaux

jonas (2012-02-14T11:06:28Z)

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 >

Ruxor (2011-10-15T20:39:19Z)

jonas → These diagrams are only possible for countable ordinals, which all (are zero or successor or) have cofinality ω.

jonas (2011-10-15T19:13:05Z)

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.

Eric B (2011-10-11T13:19:14Z)

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?

Fork (2011-10-07T14:51:40Z)

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

Étienne (2011-10-04T10:16:05Z)

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.

hijodelachingada (2011-10-04T02:07:07Z)

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.

Couard Anonyme (2011-10-03T20:11:34Z)

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.

Ni (2011-10-02T21:50:33Z)

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


You can post a comment using the following fields:
Name or nick (mandatory):
Web site URL (optional):
Email address (optional, will not appear):
Identifier phrase (optional, see below):
Attempt to remember the values above?
The comment itself (mandatory):

Optional message for moderator (hidden to others):

Spam protection: please enter below the following signs in reverse order: f2df2f


Recent comments