Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
gave the statement an entry with a pointer to a proof: Hausdorff implies sober, then added pointer to this at sober space where it was claimed without proof or citation, and at Hausdorff space where it had previously not been mentioned yet.
Why do you need the axiom of choice?
Sorry, excluded middle.
When did we start having pages named after theorems? Most of our pages are mathematical nouns, and theorems about those objects are just placed on the appropriate page.
I’m “guilty” of doing that too (e.g., compact Hausdorff rings are profinite), basically because I couldn’t or didn’t think of a graceful way of including such a specialized result on a page. However, I think “Hausdorff implies sober” could easily be incorporated at say sober space.
I don’t know exactly when I started doing this, but I have been doing it earlier for cases like derivations of smooth functions are vector fields
It’s useful for collecting results. The statements that I just gave their own pages were all mentioned in several pages, each time without any indication of why they are true. Now all these pages link to the statement page, which can collect all the relevant information.
I quite like the idea; keeps things modular and easy to navigate.
I suppose I have no disagreement with this idea. However, if we’re going to do this a lot, we should change the HowTo entry that says “Page titles should be singular nouns”.
When did we start having pages named after theorems?
Ever since Curry-Howard ;P
I have added this to HowTo#naming, although I think that some standardization is still in order.
Added the proof
1 to 12 of 12