May 25th, 2003, 02:58 am Friedman's "grand conjecture" (mathematics) http://www.cs.nyu.edu/pipermail/fom/1999-April/003014.htmlhttp://www.cs.nyu.edu/pipermail/fom/2002-June/005631.htmlhttp://www.andrew.cmu.edu/~avigad/Papers/elementary.pdf