I have published What is physical reality? blog post in my other blog. The post is philosophical.

read moreI proved that $latex \lvert \mathbb{R} \rvert_{\geq} \neq \lvert \mathbb{R} \rvert \sqcap \geq$ and so disproved one of my conjectures. The proof is currently available in the section “Some inequalities” of this PDF file. The proof isn’t yet thoroughly checked for errors….

read moreI’ve moved the section “Some (example) values” to my main book file (instead of the draft file addons.pdf where it was previously).

read moreI have rewritten my math book (volume 1) with implicit arguments (that is I sometimes write $latex \bot$ instead of $latex \bot^{\mathfrak{A}}$ to denote the least element of the lattice $latex \mathfrak{A}$). It considerably simplifies the formulas. If you want to be…

read moreI’ve calculated values of some concrete funcoids and reloids. The calculations are currently presented in the chapter 3 “Some (example) values” of addons.pdf.

read moreI have added the sections “5.25 Bases on filtrators” (some easy theory generalizing filter bases) and “16.8 Funcoid bases” (mainly a counter-example against my former conjecture) to my math book.

read moreIt is not difficult to prove (see “Counter-examples about funcoids and reloids” in the book) that $latex 1^{\mathsf{FCD}} \sqcap^{\mathsf{FCD}} (\top\setminus 1^{\mathsf{FCD}}) = \mathrm{id}^{\mathsf{FCD}}_{\Omega}$ (where $latex \Omega$ is the cofinite filter). But the result is counterintuitive: meet of two binary relations is not…

read moreI’ve noticed the following three conjectures (I expect not very difficult) for finite binary relations $latex X$ and $latex Y$ between some sets and am going to solve them: $latex X\sqcap^{\mathsf{FCD}} Y = X\sqcap Y$; $latex (\top \setminus X)\sqcap^{\mathsf{FCD}} (\top \setminus Y)…

read more