Viewing profile — hellerup89

I have a MSc with a specialization in formal methods from a place with famous faculty in the field, so I might be biased. But I have to disagree with almost anyone here. Formal met…

Altering a habit by means of will-force is not easy. One simple route can be to make checking some sites more difficult, so that you need to make an effort to log into e.g. Faceboo…

The obvious route for self-study is to go through Halmos or Axler and Rudin, plus all additional materials and study aids such as Gelbaum & Olmsted, emulating the most popular Harv…