Re: Challenge from Harvey Friedman

I remember to have seen a paper on frameworks for measuring complexity of mathematical concepts by two autors earlier. (I don't exactly recall where) but I also remeber that one of the authors was H.Friedman! P.S.Subramanian Tata Institute.