What might an expository mathematical wiki be like? « Gowers's Weblog - 0 views
-
trick, that can be used in many mathematical situations. With such tricks, it is usually difficult, and in any case not desirable, to formalize them as lemmas: if you try to do so then almost certainly your formal lemma will not apply in all the situations where the trick does.
-
Of course, in many cases, the devil really is in the details, but nevertheless knowing the overall strategy of proof is extremely valuable when trying to read that proof.
-
Yong-Hui Says: November 3, 2008 at 5:57 pm | Reply I am in MSRI for the cofference discrete Rigity. Green will give the first lecture. I just happen to find a question for that tricki wiki: Whether is there a common-shared refference system for that tricki wiki? Similar to that of Mathscinet of ams math review It will be a basic instrument for a mathematical website.