Auteur Message
Administrateur
Avatar de l’utilisateur
Je cherchais un site (qui ne soit pas Wikipédia, pour des raisons de lisibilité), sur la théorie des ordres, et surtout en connaitre le vocabulaire, pour pouvoir nommer les choses correctement.

Un ordre, c’est ce qui est défini par une relation d’ordre. Une relation d’ordre, c’est une fonction de comparaison, comme « < », « ≤ », « = », « ≥ » et « > ». C’est un sujet important et pas si peu vaste qu’il le semble : il existe par exemple les ordres partiels, quand la relation d’ordre n’existe pas entre tous les éléments.

La théorie des ordres et la théorie des ensemble, me semblent assez liées, alors je cherchais un site qui parlait des deux.

Pour l’instant je n’ai trouvé qu’un site sur la théorie des ensembles, en temps que fondement des mathématiques, et rien encore sur la théorie des ordres (excepté sur Wikipédia). J’ai tout de même trouvé une page d’une sorte de blog, qui parle de la relation entre les deux théories.

Le site sur la théorie des ensembles : settheory.net

Image
Image : settheory.net


Rien qu’à voir l’image qui représente la couverture des différentes théories des ensembles, sur les autres domaine des mathématiques et de la logique, on voit que le site prend la question au sérieux (je vais en faire une copie de sauvegarde).

La page de blog discutant de la relation entre les deux : The Curious Dependence of Set Theory on Order Theory.

D’après le titre, il place même la théorie des ordres avant la théorie des ensemble. Personnellement, je l’aurais plutôt vue dans le sens inverse.

Reste encore à trouver un site sur la théorie des ordres. J’en posterai le lien dès que j’en aurai trouvé un bon, … ou si quelqu’un(e) qui en connait un bon en propose un ici.
Profil
Administrateur
Avatar de l’utilisateur
Pas encore ce que je cherche, mais voilà déjà sur les relations d’ordre.

Profil