The main contribution of this paper is to propose a closed expression for the Ramanujan constant alternating series, based on Euler–Boole summation formula. Such an not present in literature. We also highlight only choice parameter formula proposed by Hardy series positive terms, so value obtained as agrees with other methods divergent series. Additionally, we derive closed-formula chosen, unde...

This work presents an operational and geometric approach to logic. It starts from the multilinear elective decomposition of boolean functions in the original form introduced by George Boole. It is then shown that this algebraic polynomial formulation can be naturally extended to operators in finite vector spaces. Logical operators will appear as commuting projectors and the truth values, which ...

We define an infinite class of 2-pile subtraction games, where the amount that can be subtracted from both piles simultaneously is an extended Boolean function f of the size of the piles, or a function over GF(2). Wythoff’s game is a special case. For each game, the 2nd player winning positions are a pair of complementary sequences. Sample games are presented, strategy complexity questions are ...

Classical Pitowsky correlation polytopes are reviewed with particular emphasis on the Minkowski-Weyl representation theorem. The inequalities representing the faces of polytopes are Boole’s “conditions of possible experience.” Many of these inequalities have been discussed in the context of Bell’s inequalities. We introduce CddIF, a Mathematica package created as an interface between Mathematic...

We introduce a certain class of algebras associated to matroids. We prove the Lefschetz property of the algebras for some special cases. Our result implies the Sperner property for the Boolean lattice and the vector space lattice. Résumé. Nous présentons une classe d’algèbres associées aux matroı̈des. Nous démontrons que dans quelques cas spécifiques, ces algèbres verifient la propriété de Lefsc...