The Simulacra Mundi website is about the quest for understanding of physical reality. The quest has started in complete darkness. Initially the prospects seemed bleak but gradually the light of reason revealed the path just like the light in the picture above reveals a hidden text. Each entry of this blog describes a part of this process. You can start from the beginning or jump straight to the topic you are interested in.
Most chapters rely on the concepts introduced in earlier posts. If you are not familiar with a concept or simply forgot, just follow the links to the glossary or to the relevant section. The links are indicated with underlining or blue colour. If, on the other hand, you see a burgundy coloured word or symbol, tap it, or hover the cursor over it to see a tooltip stating the word or symbol’s definition.
To be able to reason, we need to find the rules which will allow us to eliminate ambiguity. That’s what principles of logic are designed to do and that’s the subject of this chapter.
For natural numbers subtraction doesn’t always makes sense. In this chapter we will investigate how to solve this problem and why it is worthwhile to do so.
Number types described in previous chapters are useful for describing the world of indivisible things. Here we will extend our system to be able to handle divisible objects as well.
In one of the previous chapters, a thought experiment was introduced. It involved walking along a straight line, yet it wasn’t specified what a straight line actually is. It’s about time to rectify that.
In this chapter we will search for a way to numerically describe locations of points in two-dimensional space and study the properties of space itself.