Utilisateur:Liviusbarbatus

J'étais maitre de conférences de l'université Joseph Fourier de Grenoble jusqu'en fin janvier 2010.
Depuis cette université a été absorbée dans l'université grenoble-alpes université grenoble alpes. Je maintiens les logiciels pour apprendre la logique et je m'intéresse toujours à la logique, aux mathématiques et à la physique.

Pour l'instant, je réflêchis au théorème de Knaster-Tarsky. J'ai cru un moment que la version anglaise de ce théorème était correcte tandis que la version française ne l'était pas. Mais, en fait, c'est l'inverse, la version française est la version correcte, mais elle mériterait d'être améliorée. J'enleverais la phrase "la démonstration usuelle est non constructive". J'ajouterais le corollaire suivant : l'ensemble des points fixes a un plus petit et un plus grand élément. Ce corollaire affirme l'existence de ces deux points fixes, mais n'en donne pas de construction, contrairement au théorème du point-fixe de Kleene.