All Questions

While teaching an applied functional analysis class, I’ve noticed that students often struggle to develop an intuitive understanding of Zorn’s lemma. It’s relatively straightforward to explain why ...

Type theory has advantages over set theory for the (computer) formalisation of mathematics, but has anybody who does mathematics with pen and paper found proof assistants or automated theorem provers, ...

Let $k$ be a field and $V$ a $k$-vector space. Then there is a map $V \to V^{\ast \ast}$, where $V^{\ast}$ is the dual vector space. If we are in ZFC and $\dim V$ is infinite, then this map is not ...

In the textbook from which I am teaching a Discrete Math course, the authors propose randomly generating an infinite sequence of decimal digits $d_1, d_2, \dots$. We are to think of this as the ...