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 moreA few seconds ago I realized that certain cases of pointfree funcoids can be described as a structure in the sense of mathematical logic, that is as a finite set of operations and relational symbols. Precisely, if a pointfree funcoid $latex f$…

read moreIn 2005 year I put online some math articles related with formulas and math logic (despite I am not a professional logician). In 2005 I like a crackpot thought that I discovered a completely new math method replacing axiomatic method. This was…

read moreThis my post is about mathematical logic, but first I will explain the story about people who asked or answer this question. A famous mathematician Timoty Gowers asked this question: What is the difference between direct proofs and proofs by contradiction. We,…

read moreIn the framework of ZF formally considered generalizations, such as whole numbers generalizing natural number, rational numbers generalizing whole numbers, real numbers generalizing rational numbers, complex numbers generalizing real numbers, etc. The formal consideration of this may be especially useful for computer…

read more