I’ve proved the theorem: Theorem and are mutually inverse bijections between and funcoidal reloids. These bijections preserve composition. (The second
Continue readingMonth: November 2014
Yahoo! I’ve proved this conjecture
Theorem for every composable funcoids and . See proof in this online article.
Continue readingTwo conjectures proved
In this online article I’ve proved: Theorem and for every funcoid . and its easy consequence: Proposition and for every
Continue readingYet three conjectures
Conjecture and for every funcoid . Conjecture for every composable funcoids and . Conjecture For every funcoid we have .
Continue readingA new theorem and a conjecture
I’ve just proved the following: Theorem for every funcoid . For a proof see this online article. I’ve also posed
Continue readingSome new definitions, propositions, and conjectures
I added to this online article the following definitions, propositions, and conjectures: Definition for reloid . Obvious for every reloid
Continue readingA new function which is a counter-example to a conjecture found
For this conjecture there was found a counter-example, see this online article. The counter-example states that for funcoid . This
Continue readingI’ve proved one more conjecture
I’ve proved yet one conjecture. The proof is presented in this online article. Theorem For every funcoid and filters ,
Continue readingRestricting a reloid to Gamma before converting it into a funcoid formula
I have just proved this my conjecture. The proof is presented in this online article. Theorem for every reloid .
Continue reading