I’ve written a short note about suprema and infima in formal math: Toward formalization of partial infima and suprema It is especially useful for these who do math formally (in proof assistants), but may be inspiring for regular mathematicians too.

read moreDisclaimer: I am not a physicist. Einstein has discovered that some physical properties are relative. In this blog post I present the conjecture that essentially all physical properties are relative. I do not formulate exact details of this theory, a thing which…

read more