*I know I said, I would like to conclude the topic of Formal Logic in Mathematics — despite there remaining a lot to be said. Turns out that there not only remains a lot of very interesting things to be said. But also, that if we let ourselves in on this angle of looking at things, we are being offered a wonderfully coherent perspective at concepts and ideas that will resurface later in Maths over and over again.*

Each mathematical statement can be reexpressed as a logic formula — a syntactic form of their inner logic structure. Objects in statements…

*Disclaimer:** This article may contain more C code than Python code.*

Python is fascinating and probably the closest that humanity has come so far to executable pseudo code. It attracts plenty of people who never coded before to come and try and possibly discover entirely new talents — like me. A couple of years down the line, I have moved on to core topics of Computer Science, stretching the entire curriculum of a Computer Science Degree. I have not forgotton where I came from and I look back with bliss at the time, where I bent my mind admittedly over…

*Welcome back! In my last article *Formal Truth and Logic *we introduced many fundamental concepts (e.g. “What precisely is a ‘statement’?” or “How can we compose logic statements?”) of logic in Mathematics. If you require extra context on the notations or definitions used throughout this article, I highly recommend reading the previous article in case you have not done it already.*

Mathematics as a science is in a distinguished position compared to most other sciences. This is due to its ability of making statements which are universally *true *(or *false*) based solely on the initially laid out assumptions of a…

*I am a student myself and not (yet) a professional mathematician. This article and the following ones go along as I am learning myself. I follow the script of my lectures and attempt to rephrase in my own words as much as possible. For more information and resources, please see the concluding notes at the end of the article.*

*I kindly invite you to point out errors in my reasoning and to join me on my journey to epiphany.*

Mathematics is a precise language, attempting to build a set of universal and known truths that hold, given only an elementary…

Spatially unstable programmer. Chasing down the concepts of Randomness and Information.