L'objectif ultime de cet article, divisé en deux sections, est de démontrer un théorème introduit en 1922 par le mathématicien polonais Kazimierz Kuratowski. Cet objectif sera réalisé dans la deuxième section de l'article, après que le sous-bassement algébrique de notre argumentation ait été exposé dans la première section. Le théorème d'adhérence-complémentaire de Kuratowski affirme que, partant … Lire la suite de Le problème d’adhérence-complémentaire de Kuratowski
Involution
The Kuratowski Closure-Complement Problem
The main goal of this paper, divided into two sections, is to prove a theorem introduced in 1922 by the polish mathematician Kazimierz Kuratowski. This goal shall be accomplished in the second section of the paper with an argumentation, whose algebraic background has been prior exposed in the first section. The Kuratowski Closure-Complement Theorem asserts … Lire la suite de The Kuratowski Closure-Complement Problem
Formalis Mathematica 