On 20/08/2020 22:28, Jesper Cockx wrote: > What can be annoying are the people who are convinced non-constructive > mathematics is the right tool for *every* job. Agreed. Those, and the people who are convinced that constructive mathematics is the right tool for every job. -- Nicolai