All Questions

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 ...

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 ...

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 ...

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, ...