I’ve written a short note about suprema and infima in formal math: Toward formalization of partial infima and suprema It
Continue readingMonth: December 2012
Complete relativity theory
Disclaimer: I am not a physicist. Einstein has discovered that some physical properties are relative. In this blog post I
Continue reading