Help talk:Accessibility

From ProofWiki
Jump to navigation Jump to search

Thanks for the correction on informal definitions. I'm surprised though that this is the policy, since quite some pages, such as Definition:Real Number and Definition:Ordered Pair do start with an informal definition. --barto (talk) 17:42, 1 August 2017 (EDT)

Or wait... So we do allow them, but only if they are transcluded? I want to state this kind of rules clearly, once and for all. --barto (talk) 17:45, 1 August 2017 (EDT)
They need refactoring. Ordered Pair already has an "informal definition" in a transcluded subpage. --prime mover (talk) 18:16, 1 August 2017 (EDT)
You're overthinking this. Informal definitions happen to be there because someone has posted up such an informal definition, having found it defined more-or-less informally in an elementary work on the subject. There's no particular reason for there to be a house rule about it. I for one would not like us to be shackled to such a rule. As you say, this is not twitipedia, and we do not start the page with an explanatory preamble. The main section of a definition page should contain a definition and nothing else. --prime mover (talk) 18:21, 1 August 2017 (EDT)


On the order of definitions in more and more general contexts

For example, the first section in Definition:Convergent Series is about topological semigroups. In view of not scaring away young students, I thought we might, as a general policy, try to place the most elementary definitions on top. --barto (talk) 07:36, 4 August 2017 (EDT)

It also makes sense, mathematically (and historically), because it's the order in which the generalized definitions were invented or motivated. --barto (talk) 07:39, 4 August 2017 (EDT)