7 Apr
2008
7 Apr
'08
3:31 p.m.
Thanks, Gareth!
This all seems rather pedestrian. You probably had something subtler in mind...
Not necessarily. I just didn't want to spend time re-inventing the wheel when smart folks who lived a century ago probably spent some time figuring out what theorem along these lines strikes the best (i.e. most useful) compromise between strong-hypothesis-and- strong-conclusion and weak-hypothesis-and-weak-conclusion. Jim