hellerup89

3 ms·

1. 1.▲
   by hellerup89 8y ago

   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 methods still lack a bit of maturity and streamlining to get ad
2. 2.▲
   by hellerup89 8y ago

   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. Facebook. For example, you can use Temporary Containers [1] so that
3. 3.▲
   by hellerup89 8y ago

   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 Harvard Math 55 incarnation. Another nice Math 55 incarnatio