The huge problem that I have with this post is that they are trying to use math to disprove math, but badly. Also, they are using a programming language, python or any language for that matter, to prove their point, which is ALSO math. When you program you are working in an axiomatic system to achieve some goal. This goes all the way back to Haskell Curry and Alonzo Church which WAS also math. Working with math is a way of thinking and working on problems, even in probabilistic realms that errant post suggests.