::Olen samaa mieltä kaikesta tästä.  Kolme huomautusta tarkkuuden vuoksi: (i) Mielestäni klassinen rekursiivinen matematiikka ja Markovin konstruktivismi ovat pohjimmiltaan samaa, ja luulen, että tämä on se konstruktivismi, jota venäläinen konstruktivistinen koulukunta tuli kannattamaan, vaikka tunnenkin jonkin verran epäilyä siitä, olenko tässä oikeassa, (ii) Konstruktiivisen joukko-opin tärkein teoria, CZF, on enemmän tai vähemmän onnistunut yritys (ts. modulo hand-waving) pukea Martin-Loefin tyyppiteoria ZF:n kielelle, ja (iii) en usko, että kukaan muu seurasi Brouwerin intuitionismia todella uskollisesti: Heytingin lähestymistapa on olennaisesti samantyyppinen kuin BishopMartin-Loef, ja kuka muu yritti oikeastaan ottaa Brouwerin huomioon?  Kolmogorov?   
 ::Ja: erinomainen! Olen tyytyväinen.  Kolmen koulun dokumentointi on mielestäni hyvä paikka aloittaa, ja sen jälkeen päästään varsinaiseen sisältöön.  Kuulostaa siltä, että minulla on eniten sanottavaa mittateoriasta ja sinulla eniten sanottavaa analyysistä?  Jos näin on, on olemassa mahdollinen työnjako. - Charles Stewart