On 2020-08-21 08:18, Martin Escardo wrote: > You may wish to check Andrej Bauer's paper > http://math.andrej.com/2016/10/10/five-stages-of-accepting-constructive-mathematics/ > It looks good, interesting. Thank you. -- SM