Continuing this blog post: The set of all pointfree funcoids on upper semilattices with least elements is exactly a certain algebraic structure defined by propositional formulas. Really just add the identities defining a pointfree funcoid to the identities of an upper semilattice…

read more

A new book for mathematicians and programmers published: Axiomatic Theory of Formulas or Algebraic Theory of Formulas. The book is an undergraduate level but contains a new theory. Get it: PAPERBACK E-BOOK From the preface: This new mathematical theory developed by the…

read more

No root of -1? No limit of discontinuous function? Like as once roots were generalized for negative numbers, I succeeded to generalize limits for arbitrary discontinuous functions. The formula of limit of discontinuous function is based on algebraic general topology, my generalization…

read more

The organization EULER Foundation and personally their president Vostokov Sergey Vladimirovich are discriminatory. Moreover as they accept donations from general public, they are cheaters because they don’t warn the donors that their money is going to be used discriminatory. They say on…

read more