# Sets, Relations and Logic

## Yet a bit more Introduction to Foundational Mathematics

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…

# Python Internals: An Introduction

## A Lovely Stroll From Launching CPython to Code Execution

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…

# Hard Proofs and Logic

## Introduction to Mathematics for non-Mathematicians

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…

# Formal Truth and Logic

## Introduction to Mathematics for non-Mathematicians

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…

## Michael Prantl

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

Get the Medium app