| Revision as of 21:38, 6 September 2007 editMichael Hardy (talk | contribs)Administrators210,264 edits →FA reconsidered← Previous edit | Latest revision as of 17:53, 25 December 2024 edit undoBubba73 (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers93,171 edits →Please check Modular arithmetic | ||
| Line 1: | Line 1: | ||
| {{WikiProject mathematics tabs}} | |||
| {{end tab}} | |||
| {{Talk header|sc1=WT:WPM|sc2=WT:WPMATH}} | |||
| {{FAQ}} | |||
| {{WikiProject banner shell| | |||
| {{WikiProject Mathematics}} | |||
| }} | |||
| {{Misplaced Pages talk:WikiProject Mathematics/archivelist}} | |||
| {{User:MiszaBot/config | {{User:MiszaBot/config | ||
| |algo = old( |
|algo = old(15d) | ||
| | |
|archiveheader = {{WikiProject Mathematics archive list}} | ||
| |archive = Misplaced Pages talk:WikiProject Mathematics/Archive/%(year)d/%(monthnameshort)s | |||
| }} | |||
| }} | |||
| {{Misplaced Pages talk:WikiProject Mathematics/archivelist}} | |||
| <!-- {{shortcut|]}} This is now in the archivelist --> | |||
| == Request for comment on ] / ] == | |||
| I would like to request comment on the matter of the articles ] and ]. Another editor determined that "large set" and "small set" cannot share a disambiguation (I don't see why not), and split them up into two articles (I don't see why). I thought this was terribly redundant (just look at the two pages) and completely unnecessary. Maybe I'm wrong, but I propose that one ought merge them back together, so that people looking for large/small sets will find what they're looking for regardless. The two can (and have) coexisted in a disambig together for quite some time, and there's no reason they can't continue to do so. Do others have input on this? It would be greatly appreciated Thanks in advance. --] 06:04, 24 August 2007 (UTC) | |||
| :The problem is not as much with sharing a disambiguation as it is with listing ] as a possible meaning of ]. I suggest merging the two pages into ] with content along the lines of: | |||
| ::In ], the term '''''small set''''' is used to refer to any ] that is small in some sense. A '''large set''' is one that is not small. The terms have specialized meanings in the following contexts: | |||
| ::*] | |||
| ::*] | |||
| ::*] | |||
| :-- ] (]) 06:45, 24 August 2007 (UTC) | |||
| ::See, but if ] redirects to ], then large set (Ramsey theory) is not a specialized meaning of "small set," it's a specialized meaning of "large set," because the article (at that point) would cover both. That might require new wording, but I don't know if the title has to be changed to accommodate that. We have plenty of articles with multiple titles, and the content is allowed to reflect that multiplicity of titles. --] 16:44, 24 August 2007 (UTC) | |||
| ::: I had put together a page for this purpose ], although as I recall Trove didn't like it much. ]<small> (] | ])</small> 17:26, 24 August 2007 (UTC) | |||
| ::::Seems OK to me. Such a thing could become over-extended, but that's a bridge to cross when we come to it. ] 19:42, 24 August 2007 (UTC) | |||
| :I don't see any problem with having separate disambiguation pages for "small set" and "large set" disambiguation pages, like redirects, are cheap. ] ] 19:49, 24 August 2007 (UTC) | |||
| ::That's the way I see it. I don't want to see an OR-ish exposition of all the various ways "small set" or "large set" might be used as nonce terms, under these titles. Our articles on ideals and filters and measures are the proper place for most of that content, and the disambig pages can have see-alsos to those articles. --] 03:31, 25 August 2007 (UTC) | |||
| :::But that requires double-duty for maintenance/upkeep of varying definitions of small/large. The "exposition" and see-alsos are not the matter in question, in any way (although "OR-ish" is a bit of a stretch). Small and large set often are the same thing (or rather, they describe the same notion). Combining the pages, as was the case previously, saves people trouble of looking for one or the other and getting different results. The exposition is unnecessary in the disambiguation, yes, and it could easily be removed. But that doesn't change the fact that the two topics can easily and sensibly be in the same disambig together. (This excludes the proposal by CRGreatehouse that we make it into a page with content, where exposition becomes necessary, of course.) --] 08:09, 25 August 2007 (UTC) | |||
| ::::The OR part is the idea of abstracting a commonality from the disparate ways in which the terms "small set" and "large set" are used. This we should not do. And that includes abstracting the notion that a small set is a set that isn't large, or is the complement of a large set, or anything of the sort. Your own objection to the term "small set" in Ramsey theory reinforces this point (quite possibly, that line item should be removed from the ] disambig page). | |||
| ::::The upkeep issue is not terribly convincing -- all we need to do is make sure that the articles remain disambiguation pages in the strict sense, with zero exposition. That's fairly minimal upkeep, well worth it to avoid any suggestion that "small set" or "large set" has some general mathematical meaning apart from their particular meanings. The closest thing to such a commonality is the concepts described at ] and ], but these are not standardly described using the terms "small" and "large" in any technical sense, so they are properly dealt with by listing them in the "see also" section without further comment. --] 19:26, 25 August 2007 (UTC) | |||
| :::::All of that is about the exposition you're concerned about, not about whether or not the articles should be split up. Like I sad a week ago on the article's talk page, if you had an issue with the exposition, you should have removed the exposition, not split up the articles. The fact is, it's perfectly sensible to combine the two and link to the appropriate uses of the term (large or small). When the terms have specific meanings, they ''often'' mean opposite things. This is mentioned in this devilish exposition, when it appears in the content of each article. Nothing prevents us from disambiguating to them from one page, instead of two, by combining them as they had been combined up until a week ago. --] 19:43, 25 August 2007 (UTC) | |||
| ::::::There is no sigificant cost to having the two <strike>articles</strike> disambig pages, and it's cleaner that way. Should have been done that way from the start; all I did was correct the original mistake. As I say, assuming you're right about the Ramsey theory issue, the ] entry should probably be removed from ]. --] 20:17, 25 August 2007 (UTC) | |||
| :::::::There's also no reason to have two articles either (your points about exposition aside - exposition is an unrelated concern to be resolved at another time). As such, there was no reason to change it, and it seems that on Misplaced Pages, if there is no reason to go one way or the other, you leave it as it was first done (e.g. BC vs BCE). You keep referring to it as a "mistake" or "problem" that you need to "fix" but you've never presented an honest-to-goodness policy or reason why we can't have two things in one disambig. "'''Small set''' or '''large set''' may refer to: ...(list)" In fact, I'm relatively sure we can. I'm not convinced that having two pages wouldn't require extra upkeep and wouldn't be more difficult to navigate - even if we assume you're right and they wouldn't make things worse, the only reason you've given in their favor is the one about exposition - a point that isn't related. --] 20:45, 25 August 2007 (UTC) | |||
| ::::::::And the exposition would be simpler with one article; unless someone can give an example of a "small set" which is not a "not-large set". ] <small>]</small> 21:32, 25 August 2007 (UTC) | |||
| :::::::::There is no such example, as far as we know. There is a "large set" ] where "small set" is ''not used'', but the only problem that could arise would be if there were a "small set" of this type (Ramsey theory) that is ''different'' in its definition from "not a large set." This is highly unlikely (I'd wager impossible), since I can't imagine terminology being accepted where "large set" and "small set" in a ''particular context'' are both defined but completely unrelated. --] 22:16, 25 August 2007 (UTC) | |||
| Let's clarify our terms here. Disambig pages are not "articles". They are navigational tools, intended to get the reader to the article he/she is looking for. We should not have any ''article'' whatsoever about "small set" in general or "large set" in general, because there is no such mathematical concept. To the extent there's a mathematical concept to be extracted, it is that of an ideal or a filter (though I don't know whether "large sets" in the Ramsey-theory sense form a filter; I'd be interested in seeing that clarified, but just as a point of curiosity irrelevant to the discussion at hand). | |||
| Since the dab pages are purely tools to map search terms to real articles, and not real articles themselves, it is appropriate to have separate ones for separate search terms, even if they wind up mapping to the same collection of articles. --] 07:28, 26 August 2007 (UTC) | |||
| :First of all, drop the filter stuff. It's irrelevant, and is obfuscating the fact that you have yet to address the question at hand. You continue to make points about how this is a disambig. Therefore it can't be an "article" or have too much "content." That's fine. That is '''not''' what we are discussing. It's perfectly reasonable to have two disambigs. It's also perfectly reasonable to have one. The two terms are often indistinguishable, and as a "navigational tool" either configuration works just as well as the other. You felt the need to throw your weight around by asserting that you're "fixing" the "problem" but you aren't. There is ''no guideline, policy, or reason'' (that you've given or that I've ever seen anyway) that tells us we can't have ''left it the way it was''. If changes were unnecessary, as I believe they were, you should have left things as they were. So, tell me we can't have exposition or an "article" or how filters are really great, but I still feel like there's a perfectly reasonable solution: until there's a good reason to split the articles (a problem that doesn't just require cutting down on the exposition or whatever), don't split them. --] 04:06, 27 August 2007 (UTC) | |||
| :::I find the analogy with filters, and the question of how sharp it is, to be very relevant here. Among regulars of this page, discussing the actual mathematical content while deciding how to arrange our description of it is common practice. There's no reason I can see that the discussion about filters obfuscates anything. If anything, it helps to clarify what's going on. — Carl <small>(] · ])</small> 14:07, 28 August 2007 (UTC) | |||
| ::Cheeser, you started the whole thing by asserting -- quite incorrectly -- that redirects should be replaced by direct links. You were just wrong about that, but you wouldn't give up on uglifying the ] dab page by putting in a "large set" line item. It's reasonable to allow small variations on the basic search term as line items in a dab page, but antonyms, IMHO, are going too far. | |||
| ::I cut the Gordian knot by making the second dab page, which is an inherently better solution anyway, since it lets you (you personally, if you like, or you generically, otherwise) take out the "small set (Ramsey theory)" link, which we have your word is an unused term, and leave the "large set (Ramsey theory)" link in a dab page where it would be naturally found. --] 05:49, 27 August 2007 (UTC) | |||
| :::First of all, accusing me of anything, based on I "started the whole thing," is completely irrelevant, inflammatory, and a ridiculous side-point. You're twisting my words, taking things out of context, and trying to ignore my points, which are about the ''current'' discussion, not the one from three weeks ago. I inserted "large set" because there is ''no such "small" analog'' in use. That is the reason it was there. That is all that's relevant to this discussion, and I'll thank you not to dredge up old nonsense to try to obfuscate this issue. | |||
| :::I'm glad you think you've solved everything by taking bold decisive action. However, the ''only reason you've come up with'' is that it's "ugly" and that you seem to think that antonyms are not allowed on disambiguations. Now, I think it makes more sense there, and that's how it was, and until you find me a policy for this "it's ugly to have an antonym" opinion of yours, you've got neither policy nor consensus on your side. And yet you think your edits should stand because, what, you've decided you're the fixer and I'm the bad guy? Sorry, saying that you're "fixing" the "ugly" "problems" I add to pages doesn't make it so. --] 06:41, 27 August 2007 (UTC) | |||
| Because there is no compelling policy-reason either way, and because there is consensus both for and against a merge, I suggest that we follow Misplaced Pages's general policy whenever two things are both perfectly good - keep it the way it was. In light of this, I suggest we merge them, like they used to be (although perhaps with slightly different content), since that's how they were in the first place. Does anyone object to following this widespread precedent for disputes without consensus? --] 06:47, 27 August 2007 (UTC) | |||
| :Cheeser, "the way it was" was with the link to ] in ], not to ]. There's no policy either way on ''that'' either (though there definitely is a guideline against replacing redirects with direct links). If we go back to the status quo ante, it should be back to that version. But this way makes more sense altogether. --] 16:30, 27 August 2007 (UTC) | |||
| ::"Small set" is not used in that sense. There is a policy on that, it's called ''']'''. There's no such thing as "small set (Ramsey theory)" in this context. If you want to violate WP:V to prove some petty point about how you want to split it and I don't, be my guest. Otherwise, we will continue to discuss ''the issue at hand'' - whether or not to split the articles. There is no policy or consensus either way. I would like to proceed in a manner consistent with widespread precedent and collapse them back into two articles. If you'd like to stick to your guns, that's fine, but unless you have a policy you'd like to cite, no version is better than the other and you changing things just because you feel like it isn't a good way to work in a community of editors. --] 18:55, 27 August 2007 (UTC) | |||
| ::: So start a new section and make a straw poll. I'd like to see just what the consensus is -- or if, more likely, few really care. ]<small> (] | ])</small> 20:35, 27 August 2007 (UTC) | |||
| ::::That's what I just tried to do when Trovatore jumped back in to pick up the discussion (notice my: "does anyone object ...?"). It's already pretty clear, as far as I can tell, that consensus (among those who care to comment) is mixed. Unless an overwhelming consensus pipes up one way or the other, or unless some policy is dug up that clears any of this up, I'm inclined to believe that the do-it-the-way-it-was-done method is the way to go. I'll try again, with a new heading. --] 07:13, 28 August 2007 (UTC) | |||
| The status quo ante had all the line items in ] as some ], which obviously makes sense for someone looking for the search term "small set". Cheeser1 wants to consider these issues separately, but they are in fact linked, and if it's to go back "the way it's always been" then the link should go back to ]. If as Cheeser1 claims, that's an unused term, then fine, let people looking for the search term "large set" see a disambig page where the articles are called "large set", and contrariwise. --] 07:26, 28 August 2007 (UTC) | |||
| :The status quo had ] redirecting to ], and thus this page served as ''disambiguation for both terms''. The fact that someone inserted the unsourced and irrelevant commentary/exposition and formatting (use of "small set (subject)" throughout) based on the false assumption that all "large sets" are defined as "not small sets" is irrelevant. This is plainly obvious. You yourself argued that such exposition needed to be removed. --] 08:36, 28 August 2007 (UTC) | |||
| === "Straw poll" === | |||
| In order to assess more succinctly if there is a consensus in this matter, please comment below with "split" "merge" or "no opinion" and, if you'd like, a sentence explaining your position (what policy, guideline, or personal opinion might be motivating your "vote"). Please keep discussion above, where it belongs. Thanks. --] 07:13, 28 August 2007 (UTC) | |||
| *'''Merge''' - no policy, guideline, or (apparent) consensus either way, so keep them together like they always have been. --] 07:13, 28 August 2007 (UTC) | |||
| *'''Leave as is'''. The status quo ante had all the line items in ] as some ], which obviously makes sense for someone looking for the search term "small set". Cheeser1 wants to consider these issues separately, but they are in fact linked, and if it's to go back "the way it's always been" then the link should go back to ]. If as Cheeser1 claims, that's an unused term, then fine, let people looking for the search term "large set" see a disambig page where the articles are called "large set", and contrariwise. --] 07:26, 28 August 2007 (UTC) | |||
| **'''Further philosophical comment'''. Disambig pages are kind of like redirects to ''multiple'' pages, with one big exception: Whereas redirects are semantical, based on the expected ''meaning'', dab pages are inherently ''syntactical'' -- you're looking for a particular ''search term''. The least surprise principle suggests that people looking for the search term "large" should not be dumped into a disambig page titled "small". Then when they actually follow the links, that's different; it's normal to be redirected to an article and have to find the search term there; that's semantical. --] 07:26, 28 August 2007 (UTC) | |||
| *'''No opinion''' between merging and keeping split. I had proposed exposition (see ] for an example) but Trovatore doesn't want exposition here, and I'm unwilling to oppose his wishes without some serious consensus. ]<small> (] | ])</small> 13:36, 28 August 2007 (UTC) | |||
| === Why are we having a poll here? === | |||
| Why are we having a poll here? There aren't nearly enough people involved to expect to get a resolution from it. — Carl <small>(] · ])</small> 14:07, 28 August 2007 (UTC) | |||
| :In order to conclude more concretely the fact that there is no consensus on this matter. I suppose a poll isn't necessary, but someone suggested it, and I would feel remiss if I did not heed such a suggestion and instead acted in a way that might be interpreted as unilateral. I'm certainly of the opinion that the lack of the consensus is fairly evident, but I would not want to presume that it is until is more explicitly so. After a day or two more, I believe consensus or lack thereof will be determined clearly enough. --] 17:25, 28 August 2007 (UTC) | |||
| ::That would not, of course, be sufficient for you to make your preferred change; at best your wikilawyering would get you back to the status quo ante (with all line items being "small set"). There's no consensus for ''your'' change either. --] 01:07, 29 August 2007 (UTC) | |||
| :::Sure. Unfortunately, I have ] on my side. "Large set" is the appropriate term, and if lack of consensus (which we obviously have) leads us to revert to the "status quo" we will have a disambiguation page for both terms together. ] leads us to change "Small set (Ramsey theory)" to "Large set (Ramsey theory)" to avoid ]. Stop mincing words. Why are you so obsessed with splitting these pages? There is no policy or consensus in favor, just your personal preference, albeit shared with ''some'' people. Without consensus, things should stay the way they are. The fact that you want to revert my ''unrelated contribution'' which has to do with ] violations is irrelevant. Stop making a fuss. I know you want to "fix" the "ugly" "problems" so that Misplaced Pages is exactly the way you want, but you don't ] Misplaced Pages. --] 01:48, 29 August 2007 (UTC) | |||
| ::::It really isn't appropriate to make any further changes to the pages' names until we find some consensus to go forward. Pushing towards "no consensus" isn't a productive strategy. Many editors here have long experience with WP and are not particularly vulnerable to wikilawyering. I recommend that you work towards finding some compromise. — Carl <small>(] · ])</small> 01:54, 29 August 2007 (UTC) | |||
| :::::First of all - are we changing pages' names? I don't recall that being proposed by anyone (maybe I misunderstood or missed something). Regardless, when somebody swoops in and makes a huge unilateral change to an article, I expect a reason besides "I like it better this way." And I'm not pushing for no consensus - there's already no consensus, this should be evident. The fact that I'm trying to move on from there is apparently counting against me. Either the article is split, or it isn't. There was no (objective) reason to split it, and no consensus to do so. So we should un-split it. I'm perfectly happy compromising by cutting the exposition and so forth - nowhere did I expect that to go back in, and I'm just as opposed to it as anyone else. What more compromise could I give, but to concede entirely to Trovatore just because he insists that his version is "better" because it "fixes" "ugly" "problems" in the article. ] is the most compromising version one could use, without conceding entirely to Trovatore (hardly a compromise) or violating ] by abusing/inventing terminology. --] 02:47, 29 August 2007 (UTC) | |||
| ::::::Not a chance, not gonna fly. The only thing you can get with the "no consensus" version is back to the status quo ante. I will admit that I wouldn't have my back up about this if it weren't for your seriously substandard manners and comportment in the original discussion at ] combined with the colossal ''gall'' then to lecture me about mine. But that's the way we stand; if you're going to play wikilawyer, the best you can get is back to where we were before your change. --] 03:27, 29 August 2007 (UTC) | |||
| :::::::The no consensus version should not violate ], and as such, should include only verifiable mathematical terminology. If you want to give me the "pipe down whippersnapper" lecture, you can hold your proverbial tongue because I'm not interested. You accuse me of Wikilawyering - at least what I'm trying to do (include "Large set") is based on policy (and consensus, I might add), instead of an irrelevant personal preference that requires sweeping and unsupported changes to the article structure. I've given you everything except ''exactly what you want'' - I've agreed to reduce exposition, agreed to link only to valid mathematical terminology, agreed to avoid expanding it into any sort of article, all of which we've come to terms with - but when I still don't give you the split that you want (for no supportable reason), what? You refuse, and insist that we revert to a version that violates policy?? This is crazy, and if you're going to use my "manners" as motivation for refusing to compromise, I'd say you're the one who's out of line. I'm merging the articles, per the status quo, based on lack of consensus, policy, or other means to determine whether or not to split them. I will not include content that violates ]. If you want to reintroduce that content without splitting up the articles, feel free, but I will not be the one to reintroduce the ] term "Small set (Ramsey theory)." How's that for compromise? --] 05:22, 29 August 2007 (UTC) | |||
| ::::::::There was no consensus to expand the ] dab page to include the search term ]. ''You'' work out how readers are going to find ], without the ] dab page. --] 05:27, 29 August 2007 (UTC) | |||
| :::::::::I'm afraid you'll find that before you split them up, this page functioned as the disambig for both. Hence it '''was''' the disambig for both terms in per the status quo. We've been over this 100 times. I don't want to have to repeat such a plain and obvious thing again. --] 05:31, 29 August 2007 (UTC) | |||
| ::::::::::This "I don't want to repeat myself" when you're wrong is the single most offensive aspect of your comportment and manners. It was not the disambig page for both terms; it didn't mention "large". "Large" just redirected there. Redirects are semantical; disambigs are syntactical. For obvious reasons. --] 05:33, 29 August 2007 (UTC) | |||
| :::::::::::Fine. Since you've stooped to continually attacking my "conduct" (asking you not to make me repeat myself), why don't you take your snooty self-righteous attitude out of my face? "Redirects are semantical; disambigs are syntactical." Tthat's all well and good, and I'm glad you remember your SAT words, but this mythic "status quo ante" you keep referring to '''made explicit, unverifiable claims that "large" means "not small"'''. The '''only''' reason it was not explicitly the disambig for both search terms is because of this '''completely false''' presumption. It was still implicitly the disambig for both. If not for those misguided assumptions, it would been (correctly) the disambig for both search terms. You were far more adamant than I about removing this "exposition," as you called it. Why can't you cope with the consequences of removing it?? --] 05:39, 29 August 2007 (UTC) | |||
| ::::::::::::The natural consequence is the split. Apparently they never should have been combined in the first place, since there's no uniform relationship between "small set" and "large set" in different contexts. --] 05:44, 29 August 2007 (UTC) | |||
| :::::::::::::Ah, so apparently you're in charge of natural consequences. Good to hear that you've appointed yourself mother nature. There is an ''obvious'' uniform relationship: when the two exist, they are opposites. This ''clearly'' allows for them to remain together (in a natural way). But you'd rather presume that your idea of "natural" is best. Because it's what you prefer, even if it requires sweeping unilateral changes. If you think your idea of best is ''actually'' best, then I'm done talking to you. If there's one thing I've learned on Misplaced Pages, it's this: when someone doesn't know the difference between their completely subjective (in no way superior) preference and "the best possible way to do it," there's really nothing to discuss. --] 05:48, 29 August 2007 (UTC) | |||
| Cheeser has promised not to respond, but I submit these Facts to a candid world: "small" and "large" are opposites, but "opposite" can mean a number of things. In the current case there are, ''a priori'' at least, two obvious possibilities: A large set might be simply ''not'' a small set (that is, a positive set in the relevant ]), or it might be the ''complement'' of a small set (that is, a set in the ideal's dual ]). So we can't confidently predict any uniform relationship between the two terms that holds necessarily across all possible contexts ("intensionally" as opposed to "extensionally"). Not that that matters too much anyway, since disambig pages are based on finding a particular search term, and "small" is not the same sequence of letters as "large", nor even any similar sequence of letters. --] 06:11, 29 August 2007 (UTC) | |||
| And while I refuse to respond to Trovatore, I submit these facts (without being pompous or arrogant enough to capitalize "facts"): both articles on small sets explicitly define large sets as sets that are not small. Just like I said. I would ask that other editors disregard his absurd and inappropriate obfuscation of these issues and the related minutia he's using to distract us from the main issue here: There was a perfectly good "status quo" version with one very minor ] problem. Trovatore decided to make sweeping changes despite lacking support of consensus or policy, because he likes to have things his way. Since not everyone has rolled over and let him do whatever he wants, he has actually ''stooped to making the article '''worse''', rather than have a version that he does not like.'' And keep in mind, I'm only ignoring ''him'' because he's explicitly stated that his refusal to compromise is based on some personal issue he's decided to have with me. I'd be happy to continue to discuss this with anyone else. --] 06:24, 29 August 2007 (UTC) | |||
| : Just for the record: I have not seen a single instance yet where Trovatore has made ''anything'' on wikipedia worse, and I have seen innumerous places where he has made great contributions. I did witness, on the other hand, basic lack of understanding of the meaning of consensus, cockish and inflammatory edit summaries, edit warring, Neanderthal manners in general, and bizarre insistence on "an administrator thinks that I am right, hence I AM RIGHT!", all of the above by Cheeser1 at ], not even three months ago. ] 06:13, 31 August 2007 (UTC) | |||
| ::Yes, let's make this an issue about my "manners," especially pertaining to events from months ago. God forbid we discuss the issue at hand. If this is what I get for coming to WPM, I'd rather not come back here. Trovatore ''admitted'' to refusing to compromise because he didn't like my attitude, and I'm getting the same crap from someone else to? Forget this. --] 11:58, 31 August 2007 (UTC) | |||
| == "such that" == | |||
| ]. | |||
| Sigh. | |||
| Well, there's at least some truth in this article. It needs to be brought into conformance with the usual Misplaced Pages conventions. But if there's a reason to keep it, it needs a lot more than that. ] 22:44, 24 August 2007 (UTC) | |||
| : Banish it to wikitionary. ] 03:42, 25 August 2007 (UTC) | |||
| ::Along with "therefore" and "if ... then ..." ? — Carl <small>(] · ])</small> 04:26, 25 August 2007 (UTC) | |||
| :I am not positive, but I do imagine that wiktionary would want an article on this (as it's a 'set phrase', or whatever they call it). However, it might be appropriate to include it in ] and ]. Actually, I think that mathematical terminology and notation might make a good wikibook, but that is perhaps a bit outside the scope of WPM. --] 07:33, 25 August 2007 (UTC) | |||
| :: "Such that" is hardly mathematical ''jargon'', since it is used in precisely the same way in both mathematics and in common language. Mathematicians do apply it to certain properties that tend not to arise in everyday settings, of course. It may indeed belong in the table of symbols, though, given what's currently in ]. ] 20:45, 25 August 2007 (UTC) | |||
| :::The article has a unique interpretation of the ] in which the central symbol is an independent notation. I don't think there is support for that interpretation in any printed reference. — Carl <small>(] · ])</small> 21:08, 25 August 2007 (UTC) | |||
| :::Well, not jargon in the sense of slang, but certainly it is used mostly as a technical term. I don't ordinarily hear it used in casual speech: "J. Random Celebrity has recently purchased several cars such that each car has pink spots on its roof" doesn't quite sound right. However, looking at ], I agree that that isn't really the place for it. It already has a description in ] and in ], so that's probably sufficient. I support redirecting it to ]. --] 21:41, 25 August 2007 (UTC) | |||
| ::::A redirect sounds like a good solution to me. "Such that" is a term of art deserving some sort of explanation, but not really a whole article, and the proper context for the explanation is ]. —] 07:39, 26 August 2007 (UTC) | |||
| :::::I would point out in passing that set-builder notation is not the only context in which the term "such that" arises. However I don't have any strong objection to the redirect; the alternative seems to be deletion and as a practical matter it may not be worth the headache. --] 08:13, 26 August 2007 (UTC) | |||
| ::::::It does arise in other situations, of course, but I don't know where else to redirect it to. The article ] is at present totally about the colon or vertical bar used in set-builder notation to represent 'such that'. If you think it should redirect somewhere else, please recommend somewhere. --] 19:23, 26 August 2007 (UTC) | |||
| :::::::To be honest, I think it should be deleted. I'm just not sure the difference between the redirect and getting rid of it entirely, is worth going through AfD. But I'll prod it and see what happens. --] 19:27, 26 August 2007 (UTC) | |||
| ::::::::Oh, I guess it's been tried. OK, AfD it is, grumble grumble. --] 19:34, 26 August 2007 (UTC) | |||
| "Set-builder notation" (I've always thought that was a childish-sounding phrase) is not the only place where this phrase is used essentially as mathematical jargon. Just look at the usual epsilon-delta stuff. And many many similar cases. ] 13:49, 26 August 2007 (UTC) | |||
| : (AFAIAC, it is a childish phrase: the only place it's ever been uttered to me was in ninth grade.) I still argue that its status as jargon is low, and that it is, at worst, a piece of mathematical ''language'', a manner of speaking like the manner of writing for a particular literary school. That language is ''de rigeur'' rigorous, so it tends to be a little more formal, and of course it includes many jargonish phrases, but this one is just a rather stiff alternative to the usual "who/which/that". For example: | |||
| :: "The numbers which are greater than zero..." versus | |||
| :: "The set of all ''x'' such that ''x'' > 0..." | |||
| :mean the same thing in math and in English and the only reason we as mathematicians prefer the latter is that it is formulaic and, therefore, precise. This works for "the usual epsilon-delta stuff" too, though you won't believe me because no one names their variables in English. But here are two analogous sentences: | |||
| :: "For every opportunity missed, there's another right around the corner which is bigger and better." (A plausible maxim) | |||
| :: "For every ε > 0, there is an ''N'' such that for ''x'' > ''N'', 0 < ''f''(''x'') < ε." (Functions asympotic to zero; I was trying to keep the actual math short) | |||
| :I assert that the only jargon in the second sentence is the mathematical content itself. I wouldn't advocate rewriting the casually upbeat motto in the same style, but swap out the appropriate blocks and tell me it doesn't sound but too formal. ] 16:44, 26 August 2007 (UTC) | |||
| ::::Well, no....the reason for preferring the latter is that sometimes you want to talk about sets; e.g. you want to say the cardinality of the set of all real numbers is the same as that of the powerset of the set of all integers, etc. etc. ] 17:51, 27 August 2007 (UTC) | |||
| ::The use of "such that" in mathematical writing is jargon in the sense that it is shorthand for "which is such that", a meaning confined to mathematical texts. In non-mathematical use (and occasionally in mathematical texts), the usual meaning is "in such a way that", "so that". --] 17:56, 26 August 2007 (UTC) | |||
| Some people use a backwards epsilon (with the epsilon stylized for set membership) to represent the phrase "such that" when introducing a variable (though this isn't mentioned in ]). I had a professor once that was vehemently against this practice, and called the symbol "meaningless" and "non-mathematical." ] <small>(])</small> 19:54, 26 August 2007 (UTC) | |||
| The AfD entry is ]. --] 23:19, 26 August 2007 (UTC) | |||
| : Result was '''delete'''. --]<sup>]</sup> 10:52, 1 September 2007 (UTC) | |||
| == Negation of definitions == | |||
| I noticed that the following articles have been created: | |||
| * ] | |||
| * ] | |||
| * ] | |||
| In general, it seems strange to me to have an article that only serves to negate the definition of another article. — Carl <small>(] · ])</small> 16:51, 28 August 2007 (UTC) | |||
| :They are there now for no other reason than their absence previously. Certainly feel free to merge or otherwise place these. They do not seem to correspond exactly to the others in Mathematical relations. I do not know the reason for the discrepancy. I don't think these are different "in logic" and "in mathematics." I'm pretty sure they are the same concept. I have a high degree of confidence in their accuracy because I looked into it extensively at the time I took notes. The one I am NOT sure of is ]. If anyone can enlighten me on that one I would be grateful. It was in searching for that one I learned about the others. ] 17:06, 28 August 2007 (UTC) | |||
| :BTW, they are not strictly the negation of their base word as the use of a-, non-, anti-, and counter-, etc. are possible. Have a wonderful day. ] 17:09, 28 August 2007 (UTC) | |||
| ::Do you know where you got these definitions from? The definitions given on these "non" articles are not the negations of the corresponding terms. Typically "non" is used to indicate a negation, while "anti" is used to indicated something stronger than negation. For example a nonsymmetric relation just isn't symmetric, while an antisymmetric relation fails to be symmetric to the greatest extent possible. — Carl <small>(] · ])</small> 17:12, 28 August 2007 (UTC) | |||
| ::I didn't write down the sources at the time. I have an extensive collection of index cards with all kinds of logic (over 3000) on them. One that is different is "reflexive" vs. "totally reflexive." In my notes Reflexive is: | |||
| ::::(x)(({{exist}}y)(Rxy{{or-}}Ryx){{imp}}Rxx) | |||
| ::Totally reflexive is: | |||
| ::::(x)Rxx | |||
| ::] 17:27, 28 August 2007 (UTC) | |||
| :::(edit conflict)These articles (which apart from anything are too short and technical to be decent articles) seem slightly confused. Why is it "the nontransitive relation", rather than "a nontransitive relation" (implying that "nontranstivity" defines scissors paper rock)? I have never heard "nonsymmetric" mean anything other than "not symmetric", yet the article equates it with "partimsymmetric", which apparently means "neither symmetric nor asymmetric", where asymmetric means antisymmetric and irreflexive. The nonreflexive article equates nonreflexive not with "not reflexive", but with "partimreflexive" (ie neither reflexive not irreflexive), giving partimreflexive examples but actually giving a definition for irreflexivity. At any rate, simple negations would not deserve an article of their own. Stronger concepts may, but even ] is a redirect to ]. ] (]) 17:42, 28 August 2007 (UTC) | |||
| :::(I also echo the queries about syntax at ] ] (]) 17:52, 28 August 2007 (UTC)) | |||
| :We need reliable sources for these defnitions. Unfortunately "an extensive collection of index cards" does not constitute a reliable source. Until we can find such, I think the best thing would be for Greg to ask that they deleted. Is that ok with you Greg? ] ] 17:59, 28 August 2007 (UTC) | |||
| ::I think that just redirecting them to the definition articles, and adding the bolded negated term to the definition articles, would be enough. So for example into ] we would add "A relation that is not reflexive is '''nonreflexive'''." What would need a source, in my opinion, is a claim that nonreflexive means something else than "not reflexive". — Carl <small>(] · ])</small> 18:02, 28 August 2007 (UTC) | |||
| ::: I agree. ] ] 18:32, 28 August 2007 (UTC) | |||
| ::::Mergers/redirects appear to be in order. Notice, though, that a phrase like "not transitive" is ambiguous. The current article ] covers this thoroughly. If there are no transitive triplets, the article says the relation is '''antitransitive''' (and also ''not transitive''). OTOH, if there are some transitive triplets ''a''>''b''>''c'', but there are also some exceptions to this rule, the relation does not define a ], or, as Gregbard would have it, the relation is '''nontransitive'''. ] 23:28, 28 August 2007 (UTC) | |||
| I'm trying to talk some sense into this incredibly confused reader who's creating a rather large number of articles on these topics. See ]. Can anyone else help bring him to his senses? He doesn't have a clue about the correct use of quantifiers. Quite possibly he understands the correct definitions of all these types of relations, but his ways of attempting to express them are horribly incorrect. ] 17:56, 29 August 2007 (UTC) | |||
| ::Michael, on the nontransitive relation talk page you state | |||
| :::"If by "nontransitive" you mean simply "not transitive" then the way you've written it is utterly wrong. When you write ({{exist}}x)({{exist}}z)¬Rxz) you're necessarily referring to an "x" and a "z" that are not the same as what you called "x" and "z" earlier; you're just saying there exist two elements such that one is not related to the other. You're NOT saying there exist elements x, y, and z such that x is related to y and y to z but x is not related to z. In the notation your using, that would say \exists x\exists y\exists z(Rxy & Ryz & ¬Rxz. Those preceeding (x), (y), and (z), meaning for all z, etc...., should not be there at all." | |||
| ::No they are NOT "not the same." It says for all xs, ys, and zs there exists a particular x, and a particular z which don't have the relation. You are incorrect in thinking that they are not the same. The x, y, and z quantifier binds the whole expression in parentheses. The {{exist}}x, and {{exist}}z are particular members of those sets x, and z respectively. So I understand the use of quantifiers perfectly, and you already admit that I understand the relations (thank you for the concilliatory). Be well, ] 23:15, 29 August 2007 (UTC) | |||
| :::You've quantified x twice, in two different ways, within the same sentence above: "for all xs" and "there exists a particular x" — although you wrote it in English rather than formal logical notation, those still look like quantifiers, but the double quantification makes it impossible to make sense of your statement. That does not suggest to me that you are skilled in the correct handling of quantifiers. —] 23:21, 29 August 2007 (UTC) | |||
| ::::I just want to make sure I understand perfectly clearly: YOU find it impossible to make sense of a precisely crafted expression, but that suggests that I don't know what I'm doing. Well, um, not really. ] 00:15, 30 August 2007 (UTC) | |||
| :::::You know, most reasonable people, when confronted with an error in their mathematics, would apologize and correct it. It's not a subject in which the greater ability to bluster will win the day. —] 00:50, 30 August 2007 (UTC) | |||
| ::::Do you think perhaps he's trying to say something like: | |||
| :::::<math>(\forall y) \left(\left(\exist x)(\exist z)\left (R x y \and R y z \right)\right) \rightarrow \left((\exist x)(\exist z)\left (R x y \and R y z \and \lnot R x z \right)\right)\right)? </math> | |||
| ::::In any case, ''all'' clearly not-standard (yes, I meant "not standard", rather than "non-standard") terms (i.e., I don't recognize them ]) should be proposed for deletion unless a reference can be provided. — ] | ] 23:37, 29 August 2007 (UTC) | |||
| : Well I'm not going to put them up for deletion, for one; I ] that Gregbard put them up in good faith. But I'm having as much trouble as the rest of you making sense of the expressions. Gregbard, would you be so kind as to convert each of these (here on Talk) into prenex normal form? I think then we'd be better able to discuss the terms. Right now we all seem to be talking past each other. | |||
| : ]<small> (] | ])</small> 01:16, 30 August 2007 (UTC) | |||
| ::The disposition of an article should depend on whether its inclusion, after such improvements as may be needed and can reasonably be expected to be executed with our limited means, increases the value of the encyclopedia – a consideration that is independent of the assumption it was created in good faith. The article ] was undoubtedly created in good faith, and yet you (CRGreathouse) recommended its deletion, I suppose. --] 07:16, 30 August 2007 (UTC) | |||
| ::: I do draw distinction between putting an article up for deletion, as Trovatore did for that one, and participating in the discussion on the AfD. Even on these articles, I don't think I'd 'vote' to keep them, depending on what else was suggested. But I'd rather wait until at least the discussion settles before voting them down. | |||
| ::: Perhaps it was too fine a distinction, and perhaps I was inspired, at least in part, by a desire to keep the peace with Gregbard: he seems to have had a rather rough time with our project. | |||
| ::: ]<small> (] | ])</small> 12:02, 30 August 2007 (UTC) | |||
| == relations redux == | |||
| What have we learned? CRGreathouse was the first to raise the question about the definite article, and he was absolutely correct. The relation I stated was incorrect in that regard for certain. The negation of transitivity is the one stated by Michael Hardy and I think Dr. Rubin: | |||
| : <math> \exists x\,\exists y\,\exists z\,(xRy \text{ and }yRz\text{ and not }xRz).\,</math> | |||
| I never denied this fact onced faced with it. My further concern was that there may be degrees of nontransitivity, and that the statement I had origianlly thought was '''the''' nontransitive relation was still more general than this one stated above. That isn't so wild a thought. After all, the most general form will "screw up" the transitive relation as little as possible and that would seem to only require the participation of two variables. I was shown to be incorrect in this belief by Carl directly. Now I understand. Think about it: there is no such game as rock paper! It requires three. However "grossly incorrect" would be a dramatization. | |||
| Carl provided a counterexample that shows that my stated formulation permits for the existence of at least one (and I think we can see intuitively an infinite number) of transitive relations. However the relation I stated may still be some form of weakened nontransitivity, with a name begining with some strange prefix appended to -transitive. I do not know what. | |||
| I agree that everything in Misplaced Pages should have a reference if possible. However I do not agree that it should be deleted altogether, but rather improved and merged appropriately. My intention from the outset was that this would be a ], and therefore survive to see other editors' contributions. | |||
| So everyone is more esteemed in my eyes because I learned from it. Everyone was fairly kind and I was a bit exasperating on the points I was sticking to. However, the low point was when David Eppstien said it looked like I didn't know what I was doing, while stating "the double quantification makes it impossible to make sense of your statement." That statement looks as if he doesn't know that one may put more than one form of quantification on a variable in a formula (that isn't prenex normal form, but still a formula). One can do that, and I know that, but it LOOKS as if he doesn't know that. So I think I played it pretty cool for everyone telling me how much I don't know. | |||
| He also said "You know, most reasonable people, when confronted with an error in their mathematics, would apologize and correct it. It's not a subject in which the greater ability to bluster will win the day." This I agree with 100%. So this is the conciliatory note you were waiting for. It hadn't been shown by Carl at that point that I was incorrect, David. Furthermore you hadn't said anything to disprove my claim AT ALL. Maybe someday I'll have a peanut gallery cheering me on instead of sandbagging me. It's okay David, like I said, I see that I was exasperating. | |||
| I'm not too worried about nontransitivity. Eventually, there will be plenty of information on it, even though right now there is a redirect to an article with NO information on it at all. I don't know how we are better off. What were you saying about increasing the value of the encyclopedia Lambiam? I agree with that too. Be well, ] 10:09, 30 August 2007 (UTC) | |||
| see you in the talk pages... | |||
| {{col-begin-small}} | |||
| {{col-break}} | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| **] | |||
| *] | |||
| *] | |||
| *] | |||
| {{col-break}} | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| {{col-break}} | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| *] | |||
| {{col-end}} | |||
| : Hi, Gregbard. I was surprised to see ''Weak order'' missing, and for the moment I made it a redirect to a section in an existing article which is devoted entirely to weak orders (there called total preorders). I think there's reason enough to make this its own article; it's quite important in social choice theory and more broadly in economics for the study of preferences. | |||
| : If anyone's around, your new article ] could use another pair of eyes. | |||
| : ]<small> (] | ])</small> 12:36, 30 August 2007 (UTC) | |||
| ::Well I appreciate that these topics are getting some consideration. I think that's wonderful. However, I don't see that it is a lot of progress to just put a redirect without actually giving the reader looking for that topic something to read about it. I guess it's a little progress. I think I am going to put some material in my userspace and take it from there. You guys are too hypercritical for me. For all that discussion no one has anything useful to contribute to the entry on nontransitive? I really am not here for the debate club aspect. ] 01:04, 31 August 2007 (UTC) | |||
| ], ], ], and ] can all also be defined axiomatically as relations. E.g. biorder: for all x,y,z,w, (xRy and zRy and zRw) imply xRw. Interval order: irreflexive biorder. I added them to the list.—] 14:23, 30 August 2007 (UTC) | |||
| :Am I missing something? Let R be an irreflexive biorder, and assume aRb and bRc. Irreflexivity tells us that ¬bRb. Applying the above defn of biorder with the substitution (w,x,y,z) := (b,b,c,a) tells us that (bRc and aRc and aRb) imply bRb, which can be simplified to ¬aRc. So R is totally antitransitive, and therefore not a partial order; on the other hand, interval orders are supposed to be partial orders. --] 16:11, 30 August 2007 (UTC) | |||
| ::Sorry, there was a little bar in the definition of biorder that was too small to see clearly in the font size I was using to read the reference, but makes a big difference in the definition. The proper definition of biorder is: for all x,y,z,w, (xRy and ~zRy and zRw) imply xRw. The reference I was reading is unpublished, but if you want a published one, I think this material is in J.-P. Doignon and J.-Cl. Falmagne. Well-graded families of relations. Discrete Mathematics, 173:35–44, 1997, and C.W. Doble, J.-P. Doignon, J.-Cl. Falmagne, and P.C. Fishburn. Almost connected orders. Order, 18(4):295–311, 2001. —] 16:18, 30 August 2007 (UTC) | |||
| Greg, you still seem slightly confused. "The nontransitive relation" implies that there is only one relation that is nontransitive, which you have conceded is wrong, yet you still talk about "the relation I stated" as though the property which makes relations nontransitive is itself a relation. As for generality, yes, negation of a condition X definitely gives the most general form of being non-X. It gives ''everything'' that is not X. Anything more general ''must'' include relations that are X and so could hardly be called "non-X" In my experience, "non-X" is used to mean "not X", the general lack of X-ness, and things like "anti-", etc. are used for stricter conditions, but with the way terminology works, I wouldn't be surprised to find a counterexample. | |||
| You also insist that your double quantification was ok. However you understand your formula, it doesn't mean what you said it means. At the very least using the same variable with two different thigns in mind is likely to cause confusion, so the simpler formulations would be better for an article even if you were right. As for the nontransitive article, you say it is now a redirect to an article with no information at all. What do you mean by this? The article ] covers the correct version of everything that was in the nontransitive relation article, in a broader context. The only thing that could possibly be added is the word "nontransitive" as an alternative to "intransitive". ] (]) 18:18, 30 August 2007 (UTC) | |||
| ::No, intransitivity is a different thing than nontransitivity. I thought we all agreed on that. The entry was to be redirected to intransitivity and that article would touch on the difference. Think of intransitive as the ongoing pervasive condition of always avoiding transitivity among x, y, and z. Nontransitive is merely the existence of just one counterexample. The article is redirected but has no information that reflects this. ] 01:19, 31 August 2007 (UTC) | |||
| ::the formula I designated uniquely describes a statement of predicate logic. So it wasn't ambiguous. If anyone else didn't understand it then we at least have to SHARE the blame (what do you say) ] 01:19, 31 August 2007 (UTC) | |||
| :::Yes, the formula you designated uniquely describes a statement of predicate logic, assuming we defined the double-bond quantifiers correctly. However, it seems to mean the relation is not universal. — ] | ] 02:16, 31 August 2007 (UTC) | |||
| ::::It's universal among all x, y, and zs if it begins with (x)(y)(z) ] 05:50, 31 August 2007 (UTC) | |||
| ::::For all xs, ys,and zs, it is true that(blah blah blah). If among the "blah blah blah" we have "there exists an x such that..." that's a particular x from among the set that x denotes. It's like saying for all cities, counties, and states there is a city which is its seat of government. (In this case it is trivially true that every city has itself as its seat of government). So like I said not in Prenex normal form, but an unambiguous formula nonetheless. (In these particular cases it's easier to understand and see directly when it is not in PNF). ] 05:50, 31 August 2007 (UTC) | |||
| Is a separate article for each of the many red links above contemplated? Maybe ''some'' of them warrant individual articles, but if the articles are to be little more than dictionary definitions, perhaps it is better to put those that don't warrant more than a short paragraph all into one long article. ] 02:45, 31 August 2007 (UTC) | |||
| :I think they are called redirects with possibilities. ] 05:50, 31 August 2007 (UTC) | |||
| Greg, please read the article ] before claiming that the article has no information reflecting either version of nontransitivity/intransitivity. It starts by defining and describing "intransitivity" as the simple negation of transitivity (i.e. the existence of a single counterexample to transitivity), and then goes on to say that "a more common mathematical definition" is the anti-transitivity notion, where every chain of length 3 is a counterexample to transitivity. In other words, the article clearly states that "intransitivity" is used with more than one meaning, one of which is the most general possible. | |||
| As for your formula with double quantifiers, I didn't say it was ambiguous. I said it doesn't mean what you said it did (as Arthur says, it is equivalent to something without any universal quantifers), and that it would be easier to understand if it were written without double quantification. The very fact that you have misunderstood the formula suggests that in this case it is ''not'' "easier to understand and see directly when it is not in PNF". I am not sure what to make of your attempt at explanation by example. (x)(y)(z) means "for all choices of x, y and z", not "for any choice from any of three sets denoted by x, y and z". The x doesn't denote a set. | |||
| More importantly, what about these red links/articles. I agree with Michael Hardy that many would be better combined in one article. The resulting redirects may have possibilities, but I (and others) don't see what the possibilities could be. ] (]) 10:52, 31 August 2007 (UTC) | |||
| :The article is saying that we use the same name for both, and I am saying that they are different. If there is a strong culture out there that uses the terms that way fine. However, it should still be noted that they are different and that there is a different name for it out there. | |||
| :The example of the city which is the seat of government is an excellent example of the mixed use of quantifiers. I don't know off hand what the PNF form of that would look like, but I doubt it would be clear immediately that it was that simple a connection. I could be wrong. | |||
| :::({{all}}city)({{all}}county)({{all}}state)({{exist}}city) | |||
| :However I likewize cannot make anything of your statement "(x)(y)(z) means "for all choices of x, y and z", not "for any choice from any of three sets denoted by x, y and z". The x doesn't denote a set." | |||
| :(x)(y)(z)(blah blah blah) means "for all xs, ys, and zs 'blah blah blah' is the case." This is more specifically understood as that idea that you can choose a member from each of the three sets and "blah blah blah" will be true of them. x, y, and z are particular members of sets. "(x)" corresponds to some set of values for x which is a set. | |||
| :Be well, ] 11:18, 31 August 2007 (UTC) | |||
| ::The article says the terms are used with different meanings in different places, including the meaning of intransitive that you advocate. As I said earlier, the only thing that is possibly missing is the "different name" "nontransitive". The fact that the meanings are different is already noted. You may be right to question whether the word "intransitive" is actually used in the way the article describes, but the article does cover both notions, and point out how they are different. | |||
| ::No, "({{all}}city)({{all}}county)({{all}}state)(blah)" means "For any choice of city, county ''and'' state, blah holds" (that is, any choice of a triple (city, county, state)). For the seat of government example, you seem to be saying it means "For any choice of (a) city, (a) county ''or'' (a) state.", which is wrong. I am not familiar with this idea of using variable naming only to tell us which sets are being considered, but it is not relevant in the original case of hommogenous relations, and seems to only make more room for confusion, as demonstrated by your incorrect formula. For your example, we can simply write "<math>(\forall x\in A)(\exists y\in B)Gxy</math>", or more formally, "<math>(x)(\exists y)(Ax\rightarrow(By\wedge Gxy))</math>", where A is the set of cities, counties and states, B the set of cities and G the relation "x is the seat of government of y". I fail to see how your style helps understanding at all, especially since you haven't actually produced a full formula for your statement. Restricting ourselves to cities, we may say that all cities have a seat of government, "<math>(x)(\exists y)Gxy</math>". However, if we wish to say all cities are their own seat of government, no existential qualifier is needed "<math>(x)Gxx</math>". ] (]) 12:29, 31 August 2007 (UTC) | |||
| :: <small>''(edit conflict)''</small> I read the city/county/state example as | |||
| ::: <math>\forall x\in X, y\in Y, z\in Z \exists w\in X (Gwx \vee Gwy \vee Gwz)</math> (X the set of cities, Y the set of counties, Z the set of states, Gab the binary relation "a is the seat of government of b") | |||
| :: or more simply | |||
| ::: <math>\forall x\in X\cup Y\cup Z \exists w\in X (Gwx)</math> | |||
| :: While I agree that PNF isn't ideal for everything, and in fact I don't generally use it myself (I just wanted something unambiguous), I don't think it's hard to do for any of these transitivity relations or this example. In fact it's already in sloppy PNF, where set memberships for the quantified variables is allowed; to move those out, you'd just have | |||
| ::: <math>\forall x\exists w (x\in X\cup Y\cup Z \wedge w\in X)\rightarrow(Gwx)</math> | |||
| :: As for the comment you didn't get anything from, Greg: <math>\forall xyz</math> (as I've been writing it), <math>\forall x, \forall y, \forall z</math> (as a formal system might have it), or (x)(y)(z) (as you write), the x, y, and z are variables, not sets. If one writes <math>\forall x\in X</math> x is the variable and X is the set. You can say "for all choices of x from X" or "for all choices from X", but JPD doesn't want you to say "for all choices for x" because X, not x, is the set. | |||
| :: ]<small> (] | ])</small> 12:44, 31 August 2007 (UTC) | |||
| :::At the risk of beating a dead horse, I'm going to throw a few statistics into this discussion. The statistics are just g-hits, from Google Scholar. | |||
| :::Google Scholar lets one choose from "Engineering, Computer Science, and Mathematics" (where most mathematical logic articles are found), or from "Social Sciences, Arts, and Humanities" (encompassing philosophy, plus disciplines like economics and behavioral psychology, etc.). After running a couple of searches, I noticed that the phrase "non transitive" or "non-transitive" is more common than "nontransitive" – I have lumped all three spellings together in the statistics below. | |||
| :::Searching on the terms "nontransitive" and "intransitive" I obtained the following results: Math – 1,941 instances of "non", 3,820 instances of "in"; Humanities – 976 instances of "non", 14,800 instances of "in". So "intransitive" occurs much more frequently than "nontransitive" in both subject areas. Notice, however, that most references to "intransitive" in the Humanities appear to be usages such as "intransitive verb", which really have nothing to do with this discussion. | |||
| :::Searching on the terms "nontransitive relation" and "intransitive relation" I obtained the following results: Math – 67 instances of "non", 40 instances of "in"; Humanities – 69 instances of "non", 63 instances of "in". | |||
| :::So on the preponderance of the evidence presented here it appears that the phrase "nontransitive relation" (or "non transitive relation", or "non-transitive relation") is slightly more common than the phrase "intransitive relation". And the perception most of us have (me, too!) – that "intransitive relation" is commonly used in mathematics, and "nontransitive relation" is not so common – is actually incorrect, and is probably related to the fact that the word "intransitive" is widely used, but is not often found in the phrase "intransitive relation". ] 16:17, 31 August 2007 (UTC) | |||
| ::::This is a tangent, but I'm not sure that the distinction between mathematics and social sciences is meaningful here. E.g., I tried searching the publications of Doignon (a Belgian mathematician who works in this area) and found slightly more under social sciences than math, because he's published in journals like J. Mathematical Psych., British J. Mathematical and Statistical Psych., etc. On the other hand, Int. J. Man–Machine Studies is listed under mathematics despite the similarity in content with those other journals. It's one of those borderline areas that simplistic classification doesn't work well for, I think. —] 17:16, 31 August 2007 (UTC) | |||
| == Proposed deletions (]) == | |||
| * 25 August ] (<small>PROD by ]; potentially fictional paradox related to the notion that Gaussian distributions are never perfect in the real world</small>) <small>—Preceding ] comment added by ] (] • ]) 01:04, August 28, 2007 (UTC)</small><!-- Template:Unsigned --> <!--Autosigned by SineBot--> | |||
| ** The prod was denied so I am moving ] to ]. (] 23:52, 1 September 2007 (UTC)) | |||
| * 26 August ] (<small>PROD by ]</small>) <small>--User:Ceyockey (<small>'']''</small>) 10:55, 30 August 2007 (UTC)</small> | |||
| == Paradoxes of set theory, redux == | |||
| I know this was discussed in a previous invocation of this page, but I have to say that after multiple attempts to fix the article by myself (under ip address 71.198.111.245) and others such as ] and ], the article stands virtually unchanged since April 2007, with the exception that the completely bogus WM invention of "the binary tree" appears to have, finally, been deleted. I have no objection to an article describing the counter-intuitive aspects of infinite cardinality; but this article does more to encourage misunderstanding than it does to bring anything positive to the subject. Sets that have more "reality" than other sets? A cardinality for a "set of gaps", without a definition of "gaps"? "The most important theorem of set theory proves that there are uncountable sets"? The familiar WM usenet argument that omega is a member of the union of all finite sets of naturals? This really is pseudo-math, and shouldn't be on Misplaced Pages. On the other hand, after putting time into this page without any remnant remaining, I hesitate to enter the fray again. Suggestions on how to proceed are welcome! ] 02:08, 31 August 2007 (UTC) | |||
| :I'll work on it some; I would appreciate it if some other editors would at least watch the article to give feedback, if not help with the editing. — Carl <small>(] · ])</small> 13:17, 31 August 2007 (UTC) | |||
| == ] == | |||
| == the parable of the nontransitive relation == | |||
| It would be much appreciated if people could read the ] article and check for statements that are unclear, under-cited, or otherwise unbecoming the encyclopedia project. ] (]) 22:06, 12 October 2024 (UTC) | |||
| Everybody gather 'round as I tell the parable of the nontransitive relation. I may need some help telling it, so sit close... | |||
| :For those more knowledgeable with the subject matter than I am, the two sections that may need some more citations the most are the ones on ] and ]. ] (]) 23:29, 12 October 2024 (UTC) | |||
| I live on a planet with a very similar language to English, and you have come to visit... | |||
| ::My impression from working on the article previously was that everything discussed in it is addressed in the references already present (and for a math topic, having a clickly blue linky number for each sentence doesn't necessarily go further to satisfying ] than having one per subsection). But this would be a good opportunity to point readers at references that are particularly good. Anybody have favorite books about either of those? ] (]) 18:30, 13 October 2024 (UTC) | |||
| ::: The section on algebraic invariant theory doesn't make enough contact with Noether's work in the area, which was eclipsed by that of Hilbert. Both the Rowe and Dick source describe her dissertation done under Gordan, which was devoted to symbolic computation of invariants, and in fact a later source of some embarrassment. The section would benefit by emphasizing this, and summarizing the sources better (and referring to them). ] (]) 19:33, 13 October 2024 (UTC) | |||
| ::::Care to tackle that? I could try, but I'm not sure when I'll have an uninterrupted block of time long enough. ] (]) 21:00, 13 October 2024 (UTC) | |||
| :::::@], @], @]. The discussion now is into FARC: one delist and one keep. I have found some of the unsourced sections after looking up at its content. ] (]) 11:55, 29 October 2024 (UTC) | |||
| :As an update to this, there's now 13 citation needed tags left to take care of. 5 are specifically in the ] section. ] (]) 15:29, 3 November 2024 (UTC) | |||
| ::Thanks. ] (]) 17:21, 4 November 2024 (UTC) | |||
| :::The first epoch of algebraic invariant theory says "an example, if a rigid yardstick is rotated, the coordinates (''x''<sub>1</sub>, ''y''<sub>1</sub>, ''z''<sub>1</sub>) and (''x''<sub>2</sub>, ''y''<sub>2</sub>, ''z''<sub>2</sub>) of its endpoints change ...". How is this related to the ]? ] (]) 07:25, 5 November 2024 (UTC) | |||
| ::::I think that line was just trying to explain what "invariant" means. I trimmed the notation, since we don't use it later. 10 {{tl|citation needed}} tags remain. ] (]) 21:35, 10 November 2024 (UTC) | |||
| ::::Needed: a readable introduction to algebraic invariant theory, and likewise for ascending/descending chain conditions. ] (]) 20:17, 15 November 2024 (UTC) | |||
| :::::I've reached out to an algebraist colleage to ask for assistance. --] (]) 21:03, 16 November 2024 (UTC) | |||
| ::::::@], apologies for the ping, just wondering if you were still able to do this. ] (]) 12:21, 6 December 2024 (UTC) | |||
| :::::::Hi {{u|Sgubaldo}} -- I'm traveling currently and not able to log in or to make time to edit at the moment. I did make a couple changes based on my colleague's advice that dealt with one or two of the cn tags (back in November) -- I think I can probably fix up a couple more of them, but I will not get to it for at least another week. --] (]) 17:08, 9 December 2024 (UTC) | |||
| ::::::::Alright, thank you. ] (]) 17:12, 9 December 2024 (UTC) | |||
| ::I've done the cn tag relating to ''Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern'', which was mentioned in the FAR. I have a question about one of the sentences in that paragraph. Full disclosure that I am not familiar with much abstract algebra. The sentence currently reads "...the ]:{{sfn|Noether|1983|p=13}} integral domains that are Noetherian, 0- or 1-], and ] in their quotient fields.{{sfn|Atiyah|MacDonald|1994|pp=93–95}}" and defines Dedekind domains. | |||
| ::This is what Page 13 of Noether, 1983 (collected papers) says (formatted slightly for brevity): | |||
| ::<blockquote>''In Abstrakter Aufbau der Idealtheorie ... Noether gave the first characterization of the class of rings now known as Dedekind rings: the commutative rings in which factorization of ideals as products of prime ideals holds. She showed that the following conditions were necessary and sufficient for the validity of the prime ideal factorization theorem:''<br/>''I – The ascending chain condition for ideals.''; ''II – The descending chain condition modulo every non-zero ideal.''; ''III – Existence of a unit element.''; ''IV – Non-existence of zero divisors.''; ''V – Integral closure in the field of fractions.'' | |||
| ::</blockquote> | |||
| ::This is what Page 96 of Rowe, 2021 says: | |||
| ::<blockquote>''In , Emmy Noether was able to give a general proof of Dedekind’s fundamental theorem and its converse on the basis of five axioms for a Dedekind ring. In her earlier paper , “Theory of Ideals in Ring Domains,” she introduced a general concept for rings that merely had to satisfy one axiom: the ascending chain condition. This acc now became Axiom 1 in and its counterpart, the descending chain condition (dcc), was formulated as Axiom 2. She had not, however, explicitly stated that the ring R must possess an identity element for multiplication. Pavel Urysohn brought this oversight to her attention in 1923, and so she introduced this as Axiom 3, while pointing out that Urysohn had alerted her to it . Axiom 4 further stipulates that the ring must have no zero divisors. Finally, Axiom 5 introduces the decisive condition that the ring R must be algebraically closed in its associated quotient field (i.e. the smallest field that contains R). These are the five axioms for a Dedekind ring found in textbooks today.''</blockquote> | |||
| ::I wanted to change it to something like "... ]. Noether showed that five conditions were necessary for this to be valid: the rings have to satisfy the ascending and descending chain conditions, they must possess a unit element, but no ]s, and they must be ] in their associated quotient fields.{{sfn|Rowe|2021|p=96}}{{sfn|Noether|1983|p=13}}" but I was worried it was either wrong or redundant. ] (]) 21:25, 18 November 2024 (UTC) ] (]) 21:25, 18 November 2024 (UTC) | |||
| :::The current version is heavy on modern terminology. I suggest "the ideals have unique factorization into prime ideals (now called ]s). Noether showed that these rings were characterized by five conditions: they must satisfy the ascending and descending chain conditions, they must possess a unit element but no zero divisors, and they must be integrally closed in their associated fields of fractions." + appropriate wikilinks. --] (]) 23:39, 19 November 2024 (UTC) | |||
| ::::Done, thanks. ] (]) 00:24, 20 November 2024 (UTC) | |||
| :Update: citation needed tags are down to 5. Per XOR'easter's message above, two are in the ] and two are under ]. The algebraic invariant theory section, or perhaps both, could do with a better introduction. ] (]) 19:16, 21 November 2024 (UTC) | |||
| {{reflist-talk}} | |||
| Most of the words are the same, but some are a little different. For instance, you visit with a group of delegates in a conference room, and it comes up in conversation about how "Xtall" a delegate is. You inquire into the meaning, and the lead delegate explains to you (without indicating anything about height) that delegate A is "Xtaller" than delegate B, and delegate B is "Xtaller" than delegate C. He does this several times, and the meaning becomes clear to you that it just means the same thing as "tall." However, a new person walks into the room, and the the lead delegate introduces the president of the planet as the "Xtallest of us all." At this point you are confused because the person is obviously not the "tallest" person in the room. On this planet, you conclude, the relation "Xtaller than" is a nontransitive relation and that it may or may not have any connection at all to "tallness" as you know it. | |||
| == ] == | |||
| Now it happens to be a strange planet and all that. However, it would have been equally strange if the meaning of "Xtall" had meant that the lead delegate said the same of any person other than the tallest person in the room. That means that there are number of ways in which the nontransitive relation could have occured. All of those ways have the nontransitive relation in common. These are the same relation as far as we are concerned in logic. | |||
| If, on the other hand you later find that the vice-president walks into the room and is also introduced as one of the "Xtallest" people on the planet, and is about as tall as the president, who herself is obviously not "tall." You still conclude that "Xtall" is nontransitive, because although all that is required for a relation to be nontransitive, is ONE counterexample, it still is called nontransitive if there in fact exist TWO. All of those ways have the nontransitive relation in common. They are still the same relation as far as we are concerned in logic. | |||
| If anyone here wants to contribute to this new stub, please do! '']'' 01:54, 24 November 2024 (UTC) | |||
| Much later, (after several intergalactic plenary sessions, etc) you have learned a little more about this culture and "Xtallness." It turns out that the planet has a caste system, and every person of caste<sub>1</sub> is always "Xtaller" than every person of caste<sub>2</sub> and etc. Furthermore, you remember that your original meeting was with a room entirely filled with the diplomatic core. All of those people are members of the same caste AND at least one caste number higher (sociologically lower, that is, you suppose) than the president and the vice president. You also read in a political analysis report that the president only appoints people such as her veep to her most highest caste if they are shorter than she is. This explains a lot. | |||
| :{{ping|Geometry guy}} It may make sense to cover invariant theory as well? Since it seems in the past, there wasn’t much a distinction between the two subjects. —- ] (]) 05:59, 5 December 2024 (UTC) | |||
| Now remember the language is close to english, but there are a few new words that are similar. Due to terrain, certain cultural factors, and city planning developments, etc; on this planet there is a word "quintasubproxihoodamate" for "lives five neighborhoods south of" (At least that is how your abridged translation dictionary defines it.) However, you learn from your cultural experiences that there is a lot more to being "quintasubproxihoodamate" ... | |||
| ::I agree - I think a history article like this should be quite broad. Representation theory links to invariant theory, harmonic analysis, the Langlands programme, quantum mechanics and much more, not "just" group theory. We may even decide to change the title at some point, but first there is a lot of material to gather! '']'' 13:05, 5 December 2024 (UTC) | |||
| :Keith Conrad has a great about this. Since Frobenius is mentioned in the stub already, it seems like a good place to discuss group determinants and circulants. ] (]) 21:48, 18 December 2024 (UTC) | |||
| == ] and ] == | |||
| It turns out that in the political culture of this planet some neighborhoods are more quintasubproxihoodamate than others --if you know what I mean! You say you don't? How naive brother! I mean that even though everybody knows that two neighborhoods are on the same parallel, the one whose neighborhood association president is a close friend of the director of Geological Surveys will always be considered more southerly. This, it turns out is favorable in applying for government grants on this planet. The planet is just corrupt enough to allow an administration to say what is and is not "south of" but not corrupt enough to influence the grant application process once a neighborhood is labeled as one of those undeserving northerly neighborhoods! | |||
| In trying to clean up a ... ], I noticed the article ]. It doesn't look like a topic that can sustain a whole encyclopedia article. ] is not in great shape, either. I feel like some de-]-ing, merging, and redirecting is warranted here, but maybe others have a better sense of what is going on. ] (]) 02:01, 8 December 2024 (UTC) | |||
| Ordinarily, the quintasubproxihoodamate relation is an intransitive relation. If A has a quintasubproxihoodamate relation B and B has a quintasubproxihoodamate relation to C, then according to the abridged dictionary definition of quintasubproxihoodamate, A will NEVER have a quintasubproxihoodamate relation to C. But it isn't that simple here. | |||
| :I have looked at ] from time to time, and it always induced a deep sigh. I agree that there's only one article's-worth of content here; I'm sure there must be some other adequate sources out there, but I don't know where. --] (]) 17:12, 9 December 2024 (UTC) | |||
| So can anyone tell me what happens when the Director of Geologic Surveys designates the neighborhood at the north pole of the planet as quintasubproxihoodamate to some other existing neighborhood on the planet? | |||
| ::I haven't found much. There's more than nothing (e.g., and ), but it seems like pretty slim pickings. Maybe the first step is to redirect both ] and ] to ]. ] (]) 03:19, 12 December 2024 (UTC) | |||
| :::Google scholar: has 342 results and has a further 123 results. has 1,510 results, at least many of which seem relevant. –] ] 03:50, 12 December 2024 (UTC) | |||
| ::::I did some searching but was disappointed by how quickly the results trailed off into unpublished preprints and weird stuff. I could well have been pessimistic. ] (]) 04:51, 12 December 2024 (UTC) | |||
| :::::It's a kind of "let's explore the patterns" topic which can be examined without much prerequisite knowledge, so plenty of the sources are aimed at a student audience. I'm not sure there's all that much to say, but I think it's at least enough to make an article about. –] ] 06:22, 12 December 2024 (UTC) | |||
| :I think ] should be merged into ]. ] (]) 12:49, 23 December 2024 (UTC) | |||
| ::I agree with this. There are hundreds of sources mentioning "pascal's pyramid" or "pascal's tetrahedron" or "pascal's 3-simplex" or similar, and only dozens of sources mentioning "pascal's polytope", "pascal's simplex", "pascal's hypertetrahedron", or the like. Our article ] is currently completely unsourced and not very encyclopedic. I think we can merge it into ] and cut the content down to something pretty brief, mostly a pointer to the handful of sources that turn up in a literature search. –] ] 06:51, 24 December 2024 (UTC) | |||
| :::That sounds like a good idea. ] (]) 19:03, 24 December 2024 (UTC) | |||
| ::::See ]. ] (]) 03:12, 25 December 2024 (UTC) | |||
| == Broken overlines == | |||
| What kind of relation would you call quintasubproxihoodamate then if not merely nontransitive? It sure isn't intransitive anymore. Intransitive is when the relation of the first to the third NEVER holds. In this case it sometimes does. This is still the nontransitive relation because all of the formulae which contain the quantifier {{exist}} are satisfied by the existence of one, two or even all of the particular members of the set as designated by the formula. The nontransitive relation includes the intransitive, not necessarily the other way around. | |||
| I just noticed that <math>\overline x</math> (\overline x) shows up as an ''underline'' instead of an overline. What’s going on?—] ] 11:39, 12 December 2024 (UTC) | |||
| Anyway, quintasubproxihoodamate isn't what it used to be anymore. Not under this administration. | |||
| :It shows up as an overline on my end... ] (]) 12:21, 12 December 2024 (UTC) | |||
| ] 07:33, 31 August 2007 (UTC) | |||
| ::On further investigation, it is broken when math rendering preferences are set to “MathML” or “Client side MathJax rendering”, but it shows correctly when set to “SVG”.—] ] 20:06, 12 December 2024 (UTC) | |||
| == Help resolving disputes about history at ] == | |||
| :Sorry, I got completely lost from the fourth paragraph on. Natural language has its limitations. Could you rephrase this parable using logical connectives and quantifiers? --] 08:00, 31 August 2007 (UTC) | |||
| ===parable redux=== | |||
| Such is Transitive: | |||
| (x)(y)(z)((Rxy {{and}} Ryz){{imp}}Rxz) | |||
| Hi everyone. Can anyone pop by ] to help resolve a dispute about whether or not and how to discuss the history of binomial coefficients and Pascal's triangle in the history section there? ] has been repeatedly blanking material they don't like about these topics, based on in my opinion completely unjustified and inappropriate complaints about the quality of previous sources used there, so I added a pile of additional sources, but for each one they have some kind of complaint: close secondary analysis by subject expert Indian historians of mathematics are rejected because they are a few decades old, but more recent sources are rejected because they are by historians specializing in other regions or by people whose job title is "mathematician" (but writing peer-reviewed papers in math history journals or reputably published history books), with these rejections expressed using language I find to be quite insulting. The content dispute basically boils down to whether the following 10th century passage (here in translation) describes the same thing as Pascal's triangle, which a wide variety of authors claim it does: | |||
| One counter example screws up transitivity and makes the relation a nontransitive relation: | |||
| Nontransitive: | |||
| ({{exist}}x)({{exist}}y)({{exist}}z)((Rxy {{and}} Ryz){{and}}{{not}}Rxz) | |||
| : {{color|#550|"After drawing a square on the top, two squares are drawn below (side by side) so that half of each is extended on either side. Below it three squares, below it (again) four squares are drawn and the process is repeated till the desired pyramid is attained. In the (topmost) first square the symbol for one is to be marked.. Then in each of the two squares of the second line figure one is to be placed. Then in the third line figure one is to be placed on each of the two extreme squares. In the middle square (of the third line) the sum of the figures in the two squares immediately above is to be placed; this is the meaning of the term ''pūrṇa''. In the fourth line one is to be placed in each of the two extreme squares. In each of the two middle squares, the sum of the figures in the two squares immediately above, that is, three, is placed. Subsequent squares are filled in this way."}} | |||
| Such is Intransitive: | |||
| (x)(y)(z)((Rxy {{and}} Ryz){{imp}}{{not}}Rxz) | |||
| ] insists it couldn't possibly, because a couple of sources about the history of medieval Islamic mathematics instead claim that the first table of binomial coefficients appeared in works from Persia which means the same numbers couldn't possibly have appeared elsewhere before. Thus they insist on removing any mention of the above from the history section at ]. –] ] 13:29, 12 December 2024 (UTC) | |||
| One counter example screws up intransitivity and makes the relation a what? It's only transitive for one set of triplets. All the rest are intransitive | |||
| Hi, I just want to represent fairly what the views of sources are, in a way like "some sources claim X" (cite sources) "while others say Y" (cite sources), not removed anything, I even expanded ] with the addition of Indian contributions to it. Besides, could someone explain Jacobolus that mathematicians and physicians are not historians of science please ? They insist to keep a ] number of sources with many of them having no expertise in the field of history of maths and accuse me of throwing insults around when I say that (see sources number 11 at ] please). Also, the so-called "couple of sources" mentioned by Jacobolus are an Oxford publication, an encyclopaedia from ], a book from ] and and another from ] and Nathan Sidoli. Thanks very much. Best.<b><span style="color:orange">---Wikaviani </span></b><sup><small><b>] ]</b></small></sup> 14:03, 12 December 2024 (UTC) | |||
| i.e. | |||
| ({{exist}}x)({{exist}}y)({{exist}}z)((Rxy {{and}} Ryz){{and}}Rxz) | |||
| however | |||
| (u)(v)(w)((Ruv {{and}} Rvw){{imp}}{{not}}Ruw) | |||
| holds for all the other values of those sets. | |||
| :I am not a specialist of the history of mathematics, but this is not required to see who is right here. Indeed {{u|Wikaviani}} provides sources saying rougly "As far as we know, the first description of <something> occurred during the 12th century in the Islamic world". On the other hand Jacobolus provides a source containing the translation of a text of the 8th century, in which everyone can recognize easily as a fully correct description of Pascal's triangle, in a very modern style. It is clear that the latter is really reliable, while the former is reliable only if it is not contradicted by data that are ignored by its author. Misplaced Pages is about facts, not about opinions. | |||
| I say this is still called nontransitive because of the meaning of {{exist}}. | |||
| :Also, all Wikaviani arguments are based only on its opinion on the sources and their authors, without anything tangible for supporting them, while Jacobolus discusses content and provides verifiable arguments supporting his views. | |||
| ] 10:41, 31 August 2007 (UTC) | |||
| :The discussion at ] suggests that {{u|Wikaviani}} is not there for improving the article, but for pushing his point of view. ] (]) 15:39, 12 December 2024 (UTC) | |||
| ::Hi, thank you for you response, even if I guess that our past disagreements may influence your quite harsh feedback here about me. You say that you are not a specialist of the history of maths while, interestingly, you are a mathematician, this illustrates what I'm saying about some of the sources provided by Jacobolus. I'm not trying to push anything, I'm trying to improve this topic, both at ] and ], maybe clumsily, but I'm trying. I expanded the ] article this morning, adding what Jacobolus added to ] about the triangle. If that translation of that work was enough to settle the subject, I'm wondering why so many prominent sources like the above mentioned by me and that were published well after the said translation are contradicting it ? Also "''Also, all Wikaviani arguments are based only on its opinion on the sources and their authors, without anything tangible for supporting them''" is not correct, I am not willing to remove the content added by Jacobolus anymore, i want to balance it with what other more recent sources say. Misplaced Pages is also about ]. I would like more feedback from uninvolved editors. Thanks.<b><span style="color:orange">---Wikaviani </span></b><sup><small><b>] ]</b></small></sup> 16:56, 12 December 2024 (UTC) | |||
| :{{tq|i=yes| mathematicians and physicians are not historians of science}} – This kind of binary classification is oversimplified to the point of being wrong. Many excellent works (both close analysis of primary sources and higher level surveys) in the history of mathematics are done by people whose nominal job title is "mathematician" and who teach pure mathematics courses in a mathematics department. If a scholar has a passion for the history of mathematics and science, reads widely and deeply in the subject, publishes their careful work in peer-reviewed history journals or in books from major scholarly publishers with high editorial standards, and that work is widely cited in the field, then such material clearly meets Misplaced Pages's "reliable sources" standard, and I would call these scholars "mathematical historians" even if that's not their job title at a university. For example, the best recent source about the specific topic of the combinatorics appearing in ancient Indian works about ] is Jayant Shah (2013) "A History of Piṅgala's Combinatorics" () – Shah is a mathematics professor at Northeastern, here writing in ''Gaṇita Bhāratī'', a respected peer-reviewed journal of mathematical history. ] (2021) ''Series and Products in the Development of Mathematics'', published by Cambridge University Press, is a fabulous broad survey by a scholar who did extensive historical research, even if he was also nominally a mathematician. Both of these have been widely cited by historians and in my opinion clearly meet Misplaced Pages's standards. | |||
| :{{tq|i=yes| insist to keep a CITEOVERKILL number of sources}} – Just to be clear: I think it's entirely enough to validate this claim with one or two sources, and of diminishing use to readers to add each extra one (though they're all in a single footnote, so not cluttering up the text too much). I would have left a few close sources which discuss the topic in great detail, but given continuing removal of the claims justified by complaints that the career professionals who wrote them were "unreliable", not "expert" enough, "outdated", not "serious" scholars, and so on, I kept trying to find sources which would be acceptable to validate the claim, including recent sources, sources by authors from a range of countries and backgrounds, sources in survey books, etc. My speculation continues to be that the sources aren't really a problem per se; Wikaviani just doesn't want to include the claim (for reasons I can't figure out from their statements alone) and isn't going to change their mind no matter which sources are found. | |||
| :{{tq|i=yes|an Oxford publication, an encyclopaedia from Helaine Selin, a book from Roshdi Rashed and and another from Glen Van Brummelen and Nathan Sidoli.}} – let's please remain accurate. The original source here is Rashed (1972) "L'induction mathématique: al-Karajī, al-Samawʾal", ''Archive for History of Exact Sciences'' '''9''': 1–21. Then Berggren (1985) is a survey paper about recent work in the history of Islamic mathematics mentioning Rashed's work; later Berggren's paper was republished in a book edited by Sidoli and Van Brummelen. Jacques Sesiano's encyclopedia entry about al-Karajī (in a book edited by Selin) also drew on Rashed's paper. Finally Rashed himself turned the paper into a chapter of his 1994 book. The sourcing here (a single close secondary source from a half-century ago whose claims have been repeated a few times by survey sources) is not substantially different in character than the sourcing I provided for claims about Indian contributions. In any event, I have no problem with Rashed, who did valuable work worth citing in discussing al-Samawʾal and al-Karajī in relevant Misplaced Pages articles, or with Berggren or Sesiano. Even though Berggren's job title was "mathematician" he did excellent work in the history of mathematics, and his 1985 paper is a fine survey. | |||
| :Most importantly, the claims involved here are not in conflict. Rashed's 1972 paper was about looking for evidence of ] in the work of 12th century scholar al-Samawʾal, specifically in his work on the binomial theorem which was credited by him to a now-lost work by al-Karajī (c. 1000). There was no discussion whatsoever of combinatorial work done in India, nor would we expect there to be – it's irrelevant to Rashed's argument and not something Rashed was an expert about. It's also unsurprising that a survey paper about work on Islamic mathematics or an encyclopedia entry about al-Karajī wouldn't go out of their way to discuss topics irrelevant to their purpose. | |||
| :Using sources about one topic as a reason to reject claims about another topic does not seem at all justifiable to me. –] ] 17:34, 12 December 2024 (UTC) | |||
| ::Of course, a mathematician can also be a historian of maths, but this is not mandatory. Rashed himself is a mathematician '''and''' a historian of sciences.<b><span style="color:orange">---Wikaviani </span></b><sup><small><b>] ]</b></small></sup> 18:29, 12 December 2024 (UTC) | |||
| ::Any editor who has spent any time at DYK should know that "first" claims from published sources are often wrong, and when they are wrong can be falsified by other published sources that document earlier occurrences. Here, we have multiple published sources that document early occurrences of binomial coefficients in India, clearly falsifying the "first" claim for Persia. That does not mean India was first, nor that we should omit the material on Persia, but we should not claim Persia as first. Incidentally, the history of the history of Indian study of binomial coefficients goes quite far back; ] cites {{citation|title=A Proof that the Hindoos had the Binomial Theorem|last=Burrow|first=Reuben|journal= Asiatick Researches|pages=487–497|year=1790|url=https://archive.org/details/asiaticresearch00unkngoog/page/486}}. —] (]) 18:40, 12 December 2024 (UTC) | |||
| I don't think the article should take any stance on "priority", since this to me violates the spirit of NPOV. Also, the article shouldn't suggest (as it currently does) that there is some controversy over priority. One paragraph should describe scholarship on the Indian contributions, and the next on that of Persia and the near east. We don't need to say anything about who did what before whom, except to establish basic chronology within each paragraph. ] (]) 21:24, 12 December 2024 (UTC) | |||
| :You can see my preferred version at ], which does roughly this. –] ] 00:22, 13 December 2024 (UTC) | |||
| :Greg, you are still using the word "relation" to sometimes mean "property of a relation". You said: "That means that there are number of ways in which the nontransitive relation could have occured. All of those ways have the nontransitive relation in common. These are the same relation as far as we are concerned in logic." I would say "There are a number of ways in which the relation could have been nontransitive. All of these would still mean the relation is nontransitive. They all have the same property - nontransitivity" I don't understand the claim that this is the only property we would care about. (Of course, in your parable, the appearance of the Xtallest person in itself doesn't tell us that Xtall is nontransitive, as it is not a counterexample to transitivity - it simply tells us that Xtall is not the same as tall.) | |||
| :Then, you abuse the terminology further (that is not always a bad thing, but let us look at it in this case). You seem to apply a universal property (transitivity) to individual triplets. By "It's only transitive for one set of triplets." do you mean "There is only one triplet for which the condition for intransitivity fails."? Yes, in that case, it is nontransitive but not intransitive (using the stricter definition of intransitive). This tells us, not that "the nontransitive relation includes the intransitive", but that the set of nontransitive relations includes the set of intransitive relations. | |||
| :Your very last line also seems confused. What do you mean by "other values of those sets", when using universal quantifiers. I think what you should have said is ({{exist}}x)({{exist}}y)({{exist}}z)((Rxy {{and}} Ryz){{and}}Rxz) however ((Ruv {{and}} Rvw){{imp}}{{not}}Ruw) holds for all the other values. ] (]) 11:16, 31 August 2007 (UTC) | |||
| ::That seems fine. The treatment of the history at ] should be improved with similar content. ] (]) 16:37, 13 December 2024 (UTC) | |||
| ::Thank you for your correction of my language. I appreciate the fine points you bring up. You are correct on all of them as nearly as I can tell. | |||
| == Does anyone use the ]? == | |||
| ::I had to use u,v and w at that point because I was talking about a different set. It's the set x is in, the set y is in, and the set z is in minus the one counterexample that makes the intransitive property leave the scene. | |||
| Just curious, does anyone here use the ]? I'm working my way towards 500 edits so that I can more easily contribute to articles which require more academic citations, but I'm unsure of how good of a resource the library really is. How much mathematics research is available through it? Are there any hoops you have to jump through to gain access to more specialized information (beyond being extended confirmed)? Thanks in advance, ] (]/]) 18:56, 16 December 2024 (UTC) | |||
| ::I found your observation that the existence of the president is "not a counterexample to transitivity" quite a brilliant one that I missed. I'm not sure how to rephrase such a parable however. In fact the whole caste system I described is merely a very complex relation that still has the transitive property. One can't tell who is Xtaller just by looking, but once it is figured out we find it all quite transitive! My goodness. | |||
| : I use the Misplaced Pages library frequently, at least every couple weeks I'm looking something up. Bear in mind that the library is not a library of Misplaced Pages specific resources, but provides access to resources from a wide range of academic publishers in many fields. I primarily use it for legal writing, but I'm sure you can find mathematics content. ] ] 19:23, 16 December 2024 (UTC) | |||
| :I don't know about the mathematics research, but for physics the Library is awesome. The access levels depend dramatically upon the publisher. For some publishers you can read almost any of their content. Some publishers are not even available. | |||
| :The biggest hoop after you have a login is search. The publisher's search is rocks-and-stones level for the most part. So I do my searches via Google Scholar, then use the title or an unusual author's name to search on the publisher's "advanced search" page which supports exact match. | |||
| :At least in physics, the decades long shift to open access is starting to have effects. I have found that the document links on Google Scholar (when they exist) now mostly point to published papers on the publishers site. ] (]) 19:24, 16 December 2024 (UTC) | |||
| :It is more or less comparable to browsing online scholastic resources from a university library. In the era of ] and ] most scholars around the world who are motivated can find access to most recent published papers, but in theory reading academic papers without authorization is some kind of mild copyright infringement, and "Misplaced Pages Library" is all above board. –] ] 19:33, 16 December 2024 (UTC) | |||
| :I use it. I get access to many of the same sources through my employer but for some of them I don't and sometimes The Misplaced Pages Library provides a more convenient access path. Quite a few mathematical references are available on JSTOR, in particular, which is available through it, and many mathematical theses are online through Proquest. I don't know of any extra hoops beyond just getting access at all. —] (]) 19:53, 16 December 2024 (UTC) | |||
| ::Unfortunately most of the theses on Proquest that I have ever tried to look at are not available via Misplaced Pages Library. –] ] 21:29, 16 December 2024 (UTC) | |||
| :Thanks a lot to everyone who replied! Very much looking forward to gaining access so I can learn more about and help expand articles on mathematics. Also, thanks to the Misplaced Pages community in general for being so welcoming and kind :) | |||
| :] (]/]) 15:32, 17 December 2024 (UTC) | |||
| =="]"== | |||
| ::Okay so I need a better example. However, I still think there is a better fate for some of these articles than redirects to related material. No one seems too excited to see them at all. I'm quite surprised. Be well, ] 12:14, 31 August 2007 (UTC) | |||
| {{Seealso|talk:Predictive analytics}} | |||
| In 2023 , this article turned from a statistical/mathematical-heavy general topic to a business topic; and from a non-AI topic to an AI-topic. This seems odd, as the article already describes non-business uses; and uses that are not-AI based. | |||
| -- ] (]) 15:38, 17 December 2024 (UTC) | |||
| == Please check Modular arithmetic == | |||
| ::: Transitive: <math>\forall xyz(Rxy \wedge Ryz\rightarrow Rxz)</math> | |||
| ::: Nontransitive: <math>\exists xyz(Rxy \wedge Ryz \wedge \neg Rxz)</math> | |||
| ::: Intransitive: <math>\forall xyz(Rxy \wedge Ryz\rightarrow \neg Rxz)</math> | |||
| ::: Your "almost-intransitive" example (Q) is not transitive, nontransitive, and not intransitive. Relations are (1) transitive, but not the others; (2) nontransitive, but not the others; (3) nontransitive and intransitive, but not transitive; or (4) empty, and thus transitive and intransitive but not nontransitive. This covers all relations. | |||
| ::: I'm not sure what the story illustrates, though. "Most" relations (viewed as random binary square matrices of arbitrary large size) are of my category (2) like the one in your example. Being transitive or intransitive is 'hard'. | |||
| ::: ]<small> (] | ])</small> 12:16, 31 August 2007 (UTC) | |||
| Please check the recent edits to ] - I don't think that they are constructive. ] <sup>]</sup> 05:25, 18 December 2024 (UTC) | |||
| May I suggest that you continue your talk at a more specific talk page, e.g. ]? ] 12:21, 31 August 2007 (UTC) | |||
| :If you are talking of the 3 last edits by a new editor (username in red), I reverted them before reading this post. ] (]) 09:52, 18 December 2024 (UTC) | |||
| == Another math article on AfD == | |||
| :: Yes, thanks. ] <sup>]</sup> 17:53, 25 December 2024 (UTC) | |||
| ], a recently created math article (without categories, so not found by the bot — I just added one) has been ]. —] 15:48, 3 September 2007 (UTC) | |||
| == Draft about Arend Bayer == | |||
| : I've redirected it. It was a badly written article on a topic worthy of inclusion by long-established consensus, and there was an already existing article. ] 18:38, 3 September 2007 (UTC) | |||
| Draft here: ] | |||
| == Is fuzzy logic math? == | |||
| Anyone willing to help me create the article about algebraic geometer Arend Bayer? | |||
| I am wondering whether ] should be added to the ]. This would have the effect that all articles in this category would be listed in the ] by the bot. | |||
| ] (]) 00:27, 19 December 2024 (UTC) | |||
| So the question is, is fuzzy logic math? The answer could be a bit fuzzy, I guess. :) At the core it may be math, but it has a lot of applications outside math, and for example, ] could not be considered math. Comments? ] (]) 20:19, 4 September 2007 (UTC) | |||
| == New publication of possible interest to project members == | |||
| ::There is a recent proposal that ] keep two worklists, one philosophy, and one mathematics. The fuzzy logic category is proposed to be among the mathematical logic categories. ] 22:26, 4 September 2007 (UTC) | |||
| {{citation|title=''Princ-wiki-a mathematica'': Misplaced Pages editing and mathematics|first1=D.|last1=Eppstein|first2=J. B.|last2=Lewis|first3=Russ|last3=Woodroofe|author4=XOR'easter|journal=Notices of the AMS|volume=72|issue=1|pages=65–73|year=2025|url=https://www.ams.org/journals/notices/202501/rnoti-p65.pdf}}. —] (]) 18:53, 20 December 2024 (UTC) | |||
| :::Fuzzy is not logic. Fuzzy is not mathematics. (Although it might be a technique in control theory.) To the extent that it pretends to be logic or mathematics, it is a scam, a fraud. It would be more accurate to call it an attempt to destroy logic rather than logic. ] 04:18, 5 September 2007 (UTC) | |||
| :Nice work. Hopefully giving a balanced impression of what lies in store for editors attracts more potential contributions than it scares away. :-P –] ] 20:26, 20 December 2024 (UTC) | |||
| ::::Huh ? I am not an expert, but I have always had the impression that fuzzy logic is either a sub-topic or possibly a generalisation of the perfectly respectable mathematical subject of ]. Indeed the term "fuzzy modal logic" throws up a lot of academic-looking hits on Google. Am I mistaken ? Could you expand on your comments, JRSpriggs ? ] 10:48, 5 September 2007 (UTC) | |||
| :I've just finished reading it from beggining to end. Btw, I've noticed even articles about Fields Medalist can be stubby (e.g. ]). Yesterday I wondered if it was not because so few professional mathematicians participate in Misplaced Pages work. ] (]) 20:56, 20 December 2024 (UTC) | |||
| ::As an alternative guess, I suggest that biographies don't interest everyone. ] (]) 21:52, 20 December 2024 (UTC) | |||
| :::Yes, unfortunately (because one can learn a lot of math beggining by reading biographies, IMO). ] (]) 22:36, 20 December 2024 (UTC) | |||
| To our list of Misplaced Pages articles that don't exist, about subjects that don't exist, which includes ], we can add ]. ] (]) 21:20, 22 December 2024 (UTC) | |||
| :::::It seems that fuzzy logic has multiple meanings. I think of it mostly as a topic in ]. In that guise it's an important tool in engineering but has had little to no impact on mathematical logic. The study of modal logic in mathematics is also quite small, although present; modal logic is usually studied by philosophers. — Carl <small>(] · ])</small> 12:50, 5 September 2007 (UTC) | |||
| : For at least 15 years, maybe more, I've thought an article like this ought to appear in a publication of that sort, and pondered attempting to write one, and never really felt up to it, and this one is better than what I would have done. I may write a response that complements it by adding some specific tips about editing Misplaced Pages articles. ] (]) 03:59, 24 December 2024 (UTC) | |||
| ::::That seems a bit harsh, JRSpriggs. A lot of the probabilistic variables used in models in eg cluster analysis, or data compression and transmission, strictly speaking are actually fuzzy variables -- ie Bayesian variables whose "true" value would still not be definitively known, even given a complete physical description of the state of the universe. And recognising this can sometimes be useful. Where "fuzzy logic" becomes much more questionable is in its many ad-hoc prescriptions and rough-and-ready shortcuts for manipulating such variables, which to Bayesian eyes generally look chancy at best, and often significantly wrong-headed. Nevertheless, fuzzy approaches ''are'' widely used in model making, and calling them "not mathematics" seems, shall we say, a bit strong! -- ] 13:31, 5 September 2007 (UTC) | |||
| ::@], @]. That is unexpected. Good job! ] (]) 04:02, 24 December 2024 (UTC) | |||
| == Wikifunctions == | |||
| == More possible vandalism in mathematics articles. == | |||
| What, if anything, do we want to do about ]? David Eppstein recently reverted the addition of a link to it at the top of ], saying it didn't belong in the lead and perhaps not anywhere. | |||
| :] to ] '''again'''. | |||
| :{{user|Waxex}} is making ''almost'' sensible, although clearly incorrect, edits to ] and ]. | |||
| :I've reverted 3 times already today in each. (<s>4</s>''5'' in ], but the last ''two'' <s>was</s>''were'' clear vandalism.) — ] | ] 00:46, 5 September 2007 (UTC) | |||
| :: I blocked ] for 24 hours. Arthur, I understand your hesitation in blocking the guy (as a person involved in the edit conflict at that article), but next time if you (or anybody else) sees him doing the thing he's been doing for the last year or so, he should just be blocked on sight. I think there will be full support from the community here. ] (]) 01:04, 5 September 2007 (UTC) | |||
| :: How funny, no real number ε is known to make that hold? You'd think ε = ½ would be easy enough to prove, both functions being bounded by 0 and x. Yeah, I think a block has to happen. ]<small> (] | ])</small> 14:57, 5 September 2007 (UTC) | |||
| I see David's point, particularly in regards to this function, which will in most cases never return (e.g. <math>A(4, 3)</math> will take longer than the age of the universe to compute). But it also kind of reminds me of Wiktionary links, which are usually a good thing, and I could see this possibly making sense in some cases. If not, it's kind of like saying we've decided the Wikifunctions project itself isn't useful (which of course may be true; at least I'm not sure exactly what it's supposed to be useful for). | |||
| == Mathematics Wikia == | |||
| Anyway, not sure. Just thought maybe we should think about it. --] (]) 22:54, 22 December 2024 (UTC) | |||
| One of the annoying things I've found here at Misplaced Pages is the tendency for mathematical lists and tables to be nominated for deletion as "indiscriminate lists of information" (]). Such information has been transwikied in the past to ], only to be deleted from there, as well. I suppose the best hope for that kind of stuff now is ], but I haven't checked the state of their math section lately... Anyway, the ] (link is to English version, but other languages exist) hasn't seen a lot of activity since it was created few years ago, and I was hoping we could use it for — at the very ''least'' — transwikiing useful mathematical content deleted from the various Wikimedia projects. If anyone has old versions of deleted math-related stuff (that's actually worth keeping) — or wants to expound on mathematical topics more than would be appropriate in a Misplaced Pages article — please consider putting it up at the Math Wikia. Obviously, not every deleted math article will be worth saving, but if it's legitimate, correct mathematical information, it probably should go ''somewhere''. Before diving in over there, please see ] (and its talk page!) for some ideas about what we should be doing with the wiki(a). - ] <small>(])</small> 08:13, 5 September 2007 (UTC) | |||
| :I would recommend putting these in the "See also" sections of pages, if anywhere. {{slink|Abstract_Wikipedia#Development_(2020–present)}} doesn't sound promising: | |||
| == Article protection at the beginning of the school year == | |||
| :: {{tq|According to an evaluation by four Google Fellows working on the project, it was at a "substantial risk of failure" due to its poor technical plan. The Google Fellows recommended that Abstract Misplaced Pages be decoupled from Wikifunctions, that Wikifunctions refine MediaWiki's support for programming in Lua rather than having a completely new language, and that Abstract Misplaced Pages converge on a unified approach to natural language generation (NLG) that builds on open source software if possible. {{pb}} The Wikimedia Foundation staff responded to this report by completely rejecting the idea that Abstract Misplaced Pages and Wikifunctions could be separated, and accusing the Google Fellows of making "fallacies and false comparisons". The Wikimedia Foundation also stated that using existing NLG pipelines like Grammatical Framework could not support certain languages such as the Niger–Congo B languages, and would also "replicate the trends of an imperialist English-focused Western-thinking industry."}} | |||
| : This cites ], which, OMG. Here's the creator's explanation of the goal of Abstract Misplaced Pages: | |||
| :: {{tq|"Instead of saying "in order to deny her the advantage of the incumbent, the board votes in January 2018 to replace her with Mark Farrell as interim mayor until the special elections", imagine we say something more abstract such as <code>elect(elector: Board of Supervisors, electee: Mark Farrell, position: Mayor of San Francisco, reason: deny(advantage of incumbency, London Breed))</code> – and even more, all of these would be language-independent identifiers, so that thing would actually look more like <code>](], ], ](], ]))</code>.}} | |||
| : Looking further though denial (Q1343202) is described as "rejecting a fact despite the overwhelming evidence of its truth based on fear of its outcome", which as far as I can tell is a completely incorrect sense of the word to use here. And Q6015536 is linked to the article ], which is also moderately off of the intended topic. That's without mentioning that none of the proposed logic about the meaning of elect(...) is yet defined anywhere, and seems quite difficult to do for every possible English sentence, as seems to be the goal here. An inability to make a single simple example work gives some indication of how extremely difficult this would be as a project. | |||
| : –] ] 23:02, 22 December 2024 (UTC) | |||
| ::Ohhh...kayyy. One of the Foundation's wild hares, I guess. Someday the WMF is going to get studied as an example of the pathologies that can overtake a well-meaning organization. --] (]) 23:09, 22 December 2024 (UTC) | |||
| :::I don't see these as different in kind from the random online forms for calculating things that are all over the web, that I routinely remove from external links. Like those, I get the impression that a lot of the impetus for adding the link is to promote the site rather than to provide a useful resource. | |||
| :::You never really know what algorithm they're using, how efficient it is, what issues with numerical precision they might have, etc. Maybe being an official WMF project gaves them a little something extra. But then, in this case, there's also the disadvantage that it will not ever compute any nontrivial values of the function. | |||
| :::I would prefer not linking them at all, but if they are to be linked they belong in the external links section with the commons and wiktionary links. —] (]) 23:19, 22 December 2024 (UTC) | |||
| ::::I didn't know about Abstract Misplaced Pages. It sounds implausible to me. If the underlying motive here is to push AW, I'd say we hold off on that at least till there's some sort of Minimal Viable Product. I don't think we need to be early adopters there. | |||
| ::::Anyway, I'm satisfied to leave things as they are for now. I just wanted to get the question out for discussion. --] (]) | |||
| :::Of all the possible things to waste several people-years of salary on with nothing to show at the end, Abstract Misplaced Pages and Wikifunctions isn't the worst thing I can imagine. But if I had to bet I'd put extremely long odds on this endeavor accomplishing any nontrivial portion of its stated goals. I don't think we need to be promoting it from Misplaced Pages articles about algorithms or mathematical functions, but to the extent that we do, it should definitely go down at the bottom of pages in 'See also' or 'External links', not up at the top. –] ] 23:48, 22 December 2024 (UTC) | |||
| == Quick request re ] == | |||
| The academic year is beginning in the United States, which will probably lead to an increase in IP vandalism from students at computer labs during the school day. There are only three math articles currently semiprotected from editing by IP editors and new editors: ], ], and ]. We have had problems in the past with vandalism of other articles such as ] and ]. If you notice an article is getting enough vandalism to warrant semiprotection, contact me or another admin to ask about it. — Carl <small>(] · ])</small> 13:13, 5 September 2007 (UTC) | |||
| : And just to repeat myself, one can track the changes to the math articles from the ] (now with a link to all the changes combined in one page). ] (]) 14:59, 5 September 2007 (UTC) | |||
| ==FA reconsidered== | |||
| I requested a copyedit for an FA article a while back; I am somewhat pleased to report it has been promoted. I have commented on the process ]; I would like to thank Jim and Ksmrq particularly. | |||
| I'm not sure how this article is on my watchlist (looks like I have ]) but could someone knowledgeable on the topic please review {{Diff4|1255260660|old=1263693239|these recent edits}}? ] (]) 13:38, 24 December 2024 (UTC) | |||
| I am only somewhat pleased because FA seems to have worsened significantly in the last few months; my evidence is also in the link above. For here, some regulars insist on enforcing every tittle of MOS, even when it is merely stating general good advice, not literally applicable to every article. (They do not seem to understand that it's a {{tl|guideline}}.) Other articles pass with no substantive attention at all. | |||
| == Looping animated gifs being banned in the name of accessibility == | |||
| What should we do? | |||
| *Withdraw from FA and GA and ignore them to death; deprecate efforts to promote math articles, as giving recognition to a broken process? | |||
| *Try to fix it, as Geometry Guy is trying to fix GA? | |||
| *Institute dispute resolution against the worst reviewers? (While personally satisfying, this will have limited long-term effect; FA and GA have a fatal attraction to the sort of mind who would like to contribute to Misplaced Pages by demanding changes in other people's work, without doing anything themselves. | |||
| *Other. What? | |||
| Regards. ] <small>]</small> 20:51, 6 September 2007 (UTC) | |||
| Please see discussion at {{slink|Talk:Four-dimensional space|Animation fails standards}} and {{slink|Misplaced Pages talk:Manual of Style/Accessibility|Looping GIFs and accessibility}} re whether looping GIFs such as ] can be allowed as illustrations of articles, on the supposed grounds that because the loop cannot be stopped there is an accessibility problem with them. —] (]) 23:41, 24 December 2024 (UTC) | |||
| : I had to click on the link you gave above to be reminded what the abbreviation "FA" stands for, and if anyone's '''not''' a newbie here, it's certainly me. ] 21:38, 6 September 2007 (UTC) | |||
Latest revision as of 17:53, 25 December 2024
| Main page | Discussion | Content | Assessment | Participants | Resources |
| This is the talk page for discussing WikiProject Mathematics and anything related to its purposes and tasks. |
|
Archives: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73Auto-archiving period: 15 days  |
 view · edit Frequently asked questions
See also: Using Misplaced Pages for mathematics self-study Why are Misplaced Pages mathematics articles so abstract? Abstraction is a fundamental part of mathematics. Even the concept of a number is an abstraction. Comprehensive articles may be forced to use abstract language because that language is the only language available to give a correct and thorough description of their topic. Because of this, some parts of some articles may not be accessible to readers without a lot of mathematical background. If you believe that an article is overly abstract, then please leave a detailed comment on the talk page. If you can provide a more down-to-earth exposition, then you are welcome to add that to the article. Why don't Misplaced Pages's mathematics articles define or link all of the terms they use? Sometimes editors leave out definitions or links that they believe will distract the reader. If you believe that a mathematics article would be more clear with an additional definition or link, please add to the article. If you are not able to do so yourself, ask for assistance on the article's talk page. Why don't many mathematics articles start with a definition? We try to make mathematics articles as accessible to the largest likely audience as possible. In order to achieve this, often an intuitive explanation of something precedes a rigorous definition. The first few paragraphs of an article (called the lead) are supposed to provide an accessible summary of the article appropriate to the target audience. Depending on the target audience, it may or may not be appropriate to include any formal details in the lead, and these are often put into a dedicated section of the article. If you believe that the article would benefit from having more formal details in the lead, please add them or discuss the matter on the article's talk page. Why don't mathematics articles include lists of prerequisites? A well-written article should establish its context well enough that it does not need a separate list of prerequisites. Furthermore, directly addressing the reader breaks Misplaced Pages's encyclopedic tone. If you are unable to determine an article's context and prerequisites, please ask for help on the talk page. Why are Misplaced Pages's mathematics articles so hard to read? We strive to make our articles comprehensive, technically correct and easy to read. Sometimes it is difficult to achieve all three. If you have trouble understanding an article, please post a specific question on the article's talk page. Why don't math pages rely more on helpful YouTube videos and media coverage of mathematical issues? Mathematical content of YouTube videos is often unreliable (though some may be useful for pedagogical purposes rather than as references). Media reports are typically sensationalistic. This is why they are generally avoided. |
 | This project page does not require a rating on Misplaced Pages's content assessment scale. It is of interest to the following WikiProjects: | |||||||
| ||||||||
Emmy Noether FA review
It would be much appreciated if people could read the Emmy Noether article and check for statements that are unclear, under-cited, or otherwise unbecoming the encyclopedia project. XOR'easter (talk) 22:06, 12 October 2024 (UTC)
- For those more knowledgeable with the subject matter than I am, the two sections that may need some more citations the most are the ones on ascending and descending chain conditions and algebraic invariant theory. Sgubaldo (talk) 23:29, 12 October 2024 (UTC)
- My impression from working on the article previously was that everything discussed in it is addressed in the references already present (and for a math topic, having a clickly blue linky number for each sentence doesn't necessarily go further to satisfying WP:V than having one per subsection). But this would be a good opportunity to point readers at references that are particularly good. Anybody have favorite books about either of those? XOR'easter (talk) 18:30, 13 October 2024 (UTC)
- The section on algebraic invariant theory doesn't make enough contact with Noether's work in the area, which was eclipsed by that of Hilbert. Both the Rowe and Dick source describe her dissertation done under Gordan, which was devoted to symbolic computation of invariants, and in fact a later source of some embarrassment. The section would benefit by emphasizing this, and summarizing the sources better (and referring to them). Tito Omburo (talk) 19:33, 13 October 2024 (UTC)
- Care to tackle that? I could try, but I'm not sure when I'll have an uninterrupted block of time long enough. XOR'easter (talk) 21:00, 13 October 2024 (UTC)
- @Sgubaldo, @Tito Omburo, @XOR'easter. The discussion now is into FARC: one delist and one keep. I have found some of the unsourced sections after looking up at its content. Dedhert.Jr (talk) 11:55, 29 October 2024 (UTC)
- Care to tackle that? I could try, but I'm not sure when I'll have an uninterrupted block of time long enough. XOR'easter (talk) 21:00, 13 October 2024 (UTC)
- The section on algebraic invariant theory doesn't make enough contact with Noether's work in the area, which was eclipsed by that of Hilbert. Both the Rowe and Dick source describe her dissertation done under Gordan, which was devoted to symbolic computation of invariants, and in fact a later source of some embarrassment. The section would benefit by emphasizing this, and summarizing the sources better (and referring to them). Tito Omburo (talk) 19:33, 13 October 2024 (UTC)
- My impression from working on the article previously was that everything discussed in it is addressed in the references already present (and for a math topic, having a clickly blue linky number for each sentence doesn't necessarily go further to satisfying WP:V than having one per subsection). But this would be a good opportunity to point readers at references that are particularly good. Anybody have favorite books about either of those? XOR'easter (talk) 18:30, 13 October 2024 (UTC)
- As an update to this, there's now 13 citation needed tags left to take care of. 5 are specifically in the ascending and descending chain conditions section. Sgubaldo (talk) 15:29, 3 November 2024 (UTC)
- Thanks. XOR'easter (talk) 17:21, 4 November 2024 (UTC)
- The first epoch of algebraic invariant theory says "an example, if a rigid yardstick is rotated, the coordinates (x1, y1, z1) and (x2, y2, z2) of its endpoints change ...". How is this related to the article but does not explicitly says about that example? Dedhert.Jr (talk) 07:25, 5 November 2024 (UTC)
- I think that line was just trying to explain what "invariant" means. I trimmed the notation, since we don't use it later. 10 {{citation needed}} tags remain. XOR'easter (talk) 21:35, 10 November 2024 (UTC)
- Needed: a readable introduction to algebraic invariant theory, and likewise for ascending/descending chain conditions. XOR'easter (talk) 20:17, 15 November 2024 (UTC)
- I've reached out to an algebraist colleage to ask for assistance. --JBL (talk) 21:03, 16 November 2024 (UTC)
- @JayBeeEll, apologies for the ping, just wondering if you were still able to do this. Sgubaldo (talk) 12:21, 6 December 2024 (UTC)
- Hi Sgubaldo -- I'm traveling currently and not able to log in or to make time to edit at the moment. I did make a couple changes based on my colleague's advice that dealt with one or two of the cn tags (back in November) -- I think I can probably fix up a couple more of them, but I will not get to it for at least another week. --158.144.178.11 (talk) 17:08, 9 December 2024 (UTC)
- Alright, thank you. Sgubaldo (talk) 17:12, 9 December 2024 (UTC)
- Hi Sgubaldo -- I'm traveling currently and not able to log in or to make time to edit at the moment. I did make a couple changes based on my colleague's advice that dealt with one or two of the cn tags (back in November) -- I think I can probably fix up a couple more of them, but I will not get to it for at least another week. --158.144.178.11 (talk) 17:08, 9 December 2024 (UTC)
- @JayBeeEll, apologies for the ping, just wondering if you were still able to do this. Sgubaldo (talk) 12:21, 6 December 2024 (UTC)
- I've reached out to an algebraist colleage to ask for assistance. --JBL (talk) 21:03, 16 November 2024 (UTC)
- The first epoch of algebraic invariant theory says "an example, if a rigid yardstick is rotated, the coordinates (x1, y1, z1) and (x2, y2, z2) of its endpoints change ...". How is this related to the article but does not explicitly says about that example? Dedhert.Jr (talk) 07:25, 5 November 2024 (UTC)
- I've done the cn tag relating to Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern, which was mentioned in the FAR. I have a question about one of the sentences in that paragraph. Full disclosure that I am not familiar with much abstract algebra. The sentence currently reads "...the Dedekind domains: integral domains that are Noetherian, 0- or 1-dimensional, and integrally closed in their quotient fields." and defines Dedekind domains.
- This is what Page 13 of Noether, 1983 (collected papers) says (formatted slightly for brevity):
In Abstrakter Aufbau der Idealtheorie ... Noether gave the first characterization of the class of rings now known as Dedekind rings: the commutative rings in which factorization of ideals as products of prime ideals holds. She showed that the following conditions were necessary and sufficient for the validity of the prime ideal factorization theorem:
I – The ascending chain condition for ideals.; II – The descending chain condition modulo every non-zero ideal.; III – Existence of a unit element.; IV – Non-existence of zero divisors.; V – Integral closure in the field of fractions.- This is what Page 96 of Rowe, 2021 says:
In , Emmy Noether was able to give a general proof of Dedekind’s fundamental theorem and its converse on the basis of five axioms for a Dedekind ring. In her earlier paper , “Theory of Ideals in Ring Domains,” she introduced a general concept for rings that merely had to satisfy one axiom: the ascending chain condition. This acc now became Axiom 1 in and its counterpart, the descending chain condition (dcc), was formulated as Axiom 2. She had not, however, explicitly stated that the ring R must possess an identity element for multiplication. Pavel Urysohn brought this oversight to her attention in 1923, and so she introduced this as Axiom 3, while pointing out that Urysohn had alerted her to it . Axiom 4 further stipulates that the ring must have no zero divisors. Finally, Axiom 5 introduces the decisive condition that the ring R must be algebraically closed in its associated quotient field (i.e. the smallest field that contains R). These are the five axioms for a Dedekind ring found in textbooks today.
- I wanted to change it to something like "... Dedekind domains. Noether showed that five conditions were necessary for this to be valid: the rings have to satisfy the ascending and descending chain conditions, they must possess a unit element, but no zero divisors, and they must be integrally closed in their associated quotient fields." but I was worried it was either wrong or redundant. Sgubaldo (talk) 21:25, 18 November 2024 (UTC) Sgubaldo (talk) 21:25, 18 November 2024 (UTC)
- The current version is heavy on modern terminology. I suggest "the ideals have unique factorization into prime ideals (now called Dedekind domains). Noether showed that these rings were characterized by five conditions: they must satisfy the ascending and descending chain conditions, they must possess a unit element but no zero divisors, and they must be integrally closed in their associated fields of fractions." + appropriate wikilinks. --JBL (talk) 23:39, 19 November 2024 (UTC)
- Done, thanks. Sgubaldo (talk) 00:24, 20 November 2024 (UTC)
- The current version is heavy on modern terminology. I suggest "the ideals have unique factorization into prime ideals (now called Dedekind domains). Noether showed that these rings were characterized by five conditions: they must satisfy the ascending and descending chain conditions, they must possess a unit element but no zero divisors, and they must be integrally closed in their associated fields of fractions." + appropriate wikilinks. --JBL (talk) 23:39, 19 November 2024 (UTC)
- Thanks. XOR'easter (talk) 17:21, 4 November 2024 (UTC)
- Update: citation needed tags are down to 5. Per XOR'easter's message above, two are in the the algebraic invariant theory section and two are under the acc and dcc section. The algebraic invariant theory section, or perhaps both, could do with a better introduction. Sgubaldo (talk) 19:16, 21 November 2024 (UTC)
References
- ^ Noether 1983, p. 13. sfn error: no target: CITEREFNoether1983 (help)
- Atiyah & MacDonald 1994, pp. 93–95. sfn error: no target: CITEREFAtiyahMacDonald1994 (help)
- Rowe 2021, p. 96. sfn error: no target: CITEREFRowe2021 (help)
History of representation theory
If anyone here wants to contribute to this new stub, please do! Geometry guy 01:54, 24 November 2024 (UTC)
- @Geometry guy: It may make sense to cover invariant theory as well? Since it seems in the past, there wasn’t much a distinction between the two subjects. —- Taku (talk) 05:59, 5 December 2024 (UTC)
- I agree - I think a history article like this should be quite broad. Representation theory links to invariant theory, harmonic analysis, the Langlands programme, quantum mechanics and much more, not "just" group theory. We may even decide to change the title at some point, but first there is a lot of material to gather! Geometry guy 13:05, 5 December 2024 (UTC)
- Keith Conrad has a great article about this. Since Frobenius is mentioned in the stub already, it seems like a good place to discuss group determinants and circulants. ReflectiveDucky (talk) 21:48, 18 December 2024 (UTC)
Pascal's simplex and Pascal's pyramid
In trying to clean up a ... thing, I noticed the article Pascal's simplex. It doesn't look like a topic that can sustain a whole encyclopedia article. Pascal's pyramid is not in great shape, either. I feel like some de-OR-ing, merging, and redirecting is warranted here, but maybe others have a better sense of what is going on. XOR'easter (talk) 02:01, 8 December 2024 (UTC)
- I have looked at Pascal's pyramid from time to time, and it always induced a deep sigh. I agree that there's only one article's-worth of content here; I'm sure there must be some other adequate sources out there, but I don't know where. --158.144.178.11 (talk) 17:12, 9 December 2024 (UTC)
- I haven't found much. There's more than nothing (e.g., and ), but it seems like pretty slim pickings. Maybe the first step is to redirect both Pascal's pyramid and Pascal's simplex to Pascal's triangle § To higher dimensions. XOR'easter (talk) 03:19, 12 December 2024 (UTC)
- Google scholar: "pascal pyramid" has 342 results and "pascal tetrahedron" has a further 123 results. pascal trinomial has 1,510 results, at least many of which seem relevant. –jacobolus (t) 03:50, 12 December 2024 (UTC)
- I did some searching but was disappointed by how quickly the results trailed off into unpublished preprints and weird stuff. I could well have been pessimistic. XOR'easter (talk) 04:51, 12 December 2024 (UTC)
- It's a kind of "let's explore the patterns" topic which can be examined without much prerequisite knowledge, so plenty of the sources are aimed at a student audience. I'm not sure there's all that much to say, but I think it's at least enough to make an article about. –jacobolus (t) 06:22, 12 December 2024 (UTC)
- I did some searching but was disappointed by how quickly the results trailed off into unpublished preprints and weird stuff. I could well have been pessimistic. XOR'easter (talk) 04:51, 12 December 2024 (UTC)
- Google scholar: "pascal pyramid" has 342 results and "pascal tetrahedron" has a further 123 results. pascal trinomial has 1,510 results, at least many of which seem relevant. –jacobolus (t) 03:50, 12 December 2024 (UTC)
- I haven't found much. There's more than nothing (e.g., and ), but it seems like pretty slim pickings. Maybe the first step is to redirect both Pascal's pyramid and Pascal's simplex to Pascal's triangle § To higher dimensions. XOR'easter (talk) 03:19, 12 December 2024 (UTC)
- I think Pascal's simplex should be merged into Pascal's pyramid. Mathwriter2718 (talk) 12:49, 23 December 2024 (UTC)
- I agree with this. There are hundreds of sources mentioning "pascal's pyramid" or "pascal's tetrahedron" or "pascal's 3-simplex" or similar, and only dozens of sources mentioning "pascal's polytope", "pascal's simplex", "pascal's hypertetrahedron", or the like. Our article Pascal's simplex is currently completely unsourced and not very encyclopedic. I think we can merge it into Pascal's pyramid and cut the content down to something pretty brief, mostly a pointer to the handful of sources that turn up in a literature search. –jacobolus (t) 06:51, 24 December 2024 (UTC)
- That sounds like a good idea. XOR'easter (talk) 19:03, 24 December 2024 (UTC)
- I agree with this. There are hundreds of sources mentioning "pascal's pyramid" or "pascal's tetrahedron" or "pascal's 3-simplex" or similar, and only dozens of sources mentioning "pascal's polytope", "pascal's simplex", "pascal's hypertetrahedron", or the like. Our article Pascal's simplex is currently completely unsourced and not very encyclopedic. I think we can merge it into Pascal's pyramid and cut the content down to something pretty brief, mostly a pointer to the handful of sources that turn up in a literature search. –jacobolus (t) 06:51, 24 December 2024 (UTC)
Broken overlines
I just noticed that (\overline x) shows up as an underline instead of an overline. What’s going on?—Emil J. 11:39, 12 December 2024 (UTC)
(\overline x) shows up as an underline instead of an overline. What’s going on?—- It shows up as an overline on my end... Sgubaldo (talk) 12:21, 12 December 2024 (UTC)
- On further investigation, it is broken when math rendering preferences are set to “MathML” or “Client side MathJax rendering”, but it shows correctly when set to “SVG”.—Emil J. 20:06, 12 December 2024 (UTC)
Help resolving disputes about history at Binomial theorem
Hi everyone. Can anyone pop by talk:Binomial theorem to help resolve a dispute about whether or not and how to discuss the history of binomial coefficients and Pascal's triangle in the history section there? user:Wikaviani has been repeatedly blanking material they don't like about these topics, based on in my opinion completely unjustified and inappropriate complaints about the quality of previous sources used there, so I added a pile of additional sources, but for each one they have some kind of complaint: close secondary analysis by subject expert Indian historians of mathematics are rejected because they are a few decades old, but more recent sources are rejected because they are by historians specializing in other regions or by people whose job title is "mathematician" (but writing peer-reviewed papers in math history journals or reputably published history books), with these rejections expressed using language I find to be quite insulting. The content dispute basically boils down to whether the following 10th century passage (here in translation) describes the same thing as Pascal's triangle, which a wide variety of authors claim it does:
- "After drawing a square on the top, two squares are drawn below (side by side) so that half of each is extended on either side. Below it three squares, below it (again) four squares are drawn and the process is repeated till the desired pyramid is attained. In the (topmost) first square the symbol for one is to be marked.. Then in each of the two squares of the second line figure one is to be placed. Then in the third line figure one is to be placed on each of the two extreme squares. In the middle square (of the third line) the sum of the figures in the two squares immediately above is to be placed; this is the meaning of the term pūrṇa. In the fourth line one is to be placed in each of the two extreme squares. In each of the two middle squares, the sum of the figures in the two squares immediately above, that is, three, is placed. Subsequent squares are filled in this way."
user:Wikaviani insists it couldn't possibly, because a couple of sources about the history of medieval Islamic mathematics instead claim that the first table of binomial coefficients appeared in works from Persia which means the same numbers couldn't possibly have appeared elsewhere before. Thus they insist on removing any mention of the above from the history section at binomial theorem. –jacobolus (t) 13:29, 12 December 2024 (UTC)
Hi, I just want to represent fairly what the views of sources are, in a way like "some sources claim X" (cite sources) "while others say Y" (cite sources), not removed anything, I even expanded Pascal's triangle with the addition of Indian contributions to it. Besides, could someone explain Jacobolus that mathematicians and physicians are not historians of science please ? They insist to keep a CITEOVERKILL number of sources with many of them having no expertise in the field of history of maths and accuse me of throwing insults around when I say that (see sources number 11 at Binomial theorem please). Also, the so-called "couple of sources" mentioned by Jacobolus are an Oxford publication, an encyclopaedia from Helaine Selin, a book from Roshdi Rashed and and another from Glen Van Brummelen and Nathan Sidoli. Thanks very much. Best.---Wikaviani 14:03, 12 December 2024 (UTC)
- I am not a specialist of the history of mathematics, but this is not required to see who is right here. Indeed Wikaviani provides sources saying rougly "As far as we know, the first description of <something> occurred during the 12th century in the Islamic world". On the other hand Jacobolus provides a source containing the translation of a text of the 8th century, in which everyone can recognize easily as a fully correct description of Pascal's triangle, in a very modern style. It is clear that the latter is really reliable, while the former is reliable only if it is not contradicted by data that are ignored by its author. Misplaced Pages is about facts, not about opinions.
- Also, all Wikaviani arguments are based only on its opinion on the sources and their authors, without anything tangible for supporting them, while Jacobolus discusses content and provides verifiable arguments supporting his views.
- The discussion at talk:Binomial theorem suggests that Wikaviani is not there for improving the article, but for pushing his point of view. D.Lazard (talk) 15:39, 12 December 2024 (UTC)
- Hi, thank you for you response, even if I guess that our past disagreements may influence your quite harsh feedback here about me. You say that you are not a specialist of the history of maths while, interestingly, you are a mathematician, this illustrates what I'm saying about some of the sources provided by Jacobolus. I'm not trying to push anything, I'm trying to improve this topic, both at Binomial theorem and Pascal's triangle, maybe clumsily, but I'm trying. I expanded the Pascal's triangle article this morning, adding what Jacobolus added to Binomial theorem about the triangle. If that translation of that work was enough to settle the subject, I'm wondering why so many prominent sources like the above mentioned by me and that were published well after the said translation are contradicting it ? Also "Also, all Wikaviani arguments are based only on its opinion on the sources and their authors, without anything tangible for supporting them" is not correct, I am not willing to remove the content added by Jacobolus anymore, i want to balance it with what other more recent sources say. Misplaced Pages is also about WP:NPOV. I would like more feedback from uninvolved editors. Thanks.---Wikaviani 16:56, 12 December 2024 (UTC)
mathematicians and physicians are not historians of science
– This kind of binary classification is oversimplified to the point of being wrong. Many excellent works (both close analysis of primary sources and higher level surveys) in the history of mathematics are done by people whose nominal job title is "mathematician" and who teach pure mathematics courses in a mathematics department. If a scholar has a passion for the history of mathematics and science, reads widely and deeply in the subject, publishes their careful work in peer-reviewed history journals or in books from major scholarly publishers with high editorial standards, and that work is widely cited in the field, then such material clearly meets Misplaced Pages's "reliable sources" standard, and I would call these scholars "mathematical historians" even if that's not their job title at a university. For example, the best recent source about the specific topic of the combinatorics appearing in ancient Indian works about prosody is Jayant Shah (2013) "A History of Piṅgala's Combinatorics" (preprint) – Shah is a mathematics professor at Northeastern, here writing in Gaṇita Bhāratī, a respected peer-reviewed journal of mathematical history. Ranjan Roy (2021) Series and Products in the Development of Mathematics, published by Cambridge University Press, is a fabulous broad survey by a scholar who did extensive historical research, even if he was also nominally a mathematician. Both of these have been widely cited by historians and in my opinion clearly meet Misplaced Pages's standards.insist to keep a CITEOVERKILL number of sources
– Just to be clear: I think it's entirely enough to validate this claim with one or two sources, and of diminishing use to readers to add each extra one (though they're all in a single footnote, so not cluttering up the text too much). I would have left a few close sources which discuss the topic in great detail, but given continuing removal of the claims justified by complaints that the career professionals who wrote them were "unreliable", not "expert" enough, "outdated", not "serious" scholars, and so on, I kept trying to find sources which would be acceptable to validate the claim, including recent sources, sources by authors from a range of countries and backgrounds, sources in survey books, etc. My speculation continues to be that the sources aren't really a problem per se; Wikaviani just doesn't want to include the claim (for reasons I can't figure out from their statements alone) and isn't going to change their mind no matter which sources are found.an Oxford publication, an encyclopaedia from Helaine Selin, a book from Roshdi Rashed and and another from Glen Van Brummelen and Nathan Sidoli.
– let's please remain accurate. The original source here is Rashed (1972) "L'induction mathématique: al-Karajī, al-Samawʾal", Archive for History of Exact Sciences 9: 1–21. Then Berggren (1985) is a survey paper about recent work in the history of Islamic mathematics mentioning Rashed's work; later Berggren's paper was republished in a book edited by Sidoli and Van Brummelen. Jacques Sesiano's encyclopedia entry about al-Karajī (in a book edited by Selin) also drew on Rashed's paper. Finally Rashed himself turned the paper into a chapter of his 1994 book. The sourcing here (a single close secondary source from a half-century ago whose claims have been repeated a few times by survey sources) is not substantially different in character than the sourcing I provided for claims about Indian contributions. In any event, I have no problem with Rashed, who did valuable work worth citing in discussing al-Samawʾal and al-Karajī in relevant Misplaced Pages articles, or with Berggren or Sesiano. Even though Berggren's job title was "mathematician" he did excellent work in the history of mathematics, and his 1985 paper is a fine survey.- Most importantly, the claims involved here are not in conflict. Rashed's 1972 paper was about looking for evidence of mathematical induction in the work of 12th century scholar al-Samawʾal, specifically in his work on the binomial theorem which was credited by him to a now-lost work by al-Karajī (c. 1000). There was no discussion whatsoever of combinatorial work done in India, nor would we expect there to be – it's irrelevant to Rashed's argument and not something Rashed was an expert about. It's also unsurprising that a survey paper about work on Islamic mathematics or an encyclopedia entry about al-Karajī wouldn't go out of their way to discuss topics irrelevant to their purpose.
- Using sources about one topic as a reason to reject claims about another topic does not seem at all justifiable to me. –jacobolus (t) 17:34, 12 December 2024 (UTC)
- Of course, a mathematician can also be a historian of maths, but this is not mandatory. Rashed himself is a mathematician and a historian of sciences.---Wikaviani 18:29, 12 December 2024 (UTC)
- Any editor who has spent any time at DYK should know that "first" claims from published sources are often wrong, and when they are wrong can be falsified by other published sources that document earlier occurrences. Here, we have multiple published sources that document early occurrences of binomial coefficients in India, clearly falsifying the "first" claim for Persia. That does not mean India was first, nor that we should omit the material on Persia, but we should not claim Persia as first. Incidentally, the history of the history of Indian study of binomial coefficients goes quite far back; Plofker's book cites Burrow, Reuben (1790), "A Proof that the Hindoos had the Binomial Theorem", Asiatick Researches: 487–497. —David Eppstein (talk) 18:40, 12 December 2024 (UTC)
I don't think the article should take any stance on "priority", since this to me violates the spirit of NPOV. Also, the article shouldn't suggest (as it currently does) that there is some controversy over priority. One paragraph should describe scholarship on the Indian contributions, and the next on that of Persia and the near east. We don't need to say anything about who did what before whom, except to establish basic chronology within each paragraph. Tito Omburo (talk) 21:24, 12 December 2024 (UTC)
- You can see my preferred version at special:permalink/1262136996#History, which does roughly this. –jacobolus (t) 00:22, 13 December 2024 (UTC)
- That seems fine. The treatment of the history at Pascal's triangle should be improved with similar content. Tito Omburo (talk) 16:37, 13 December 2024 (UTC)
Does anyone use the WP:LIBRARY?
Just curious, does anyone here use the WP:LIBRARY? I'm working my way towards 500 edits so that I can more easily contribute to articles which require more academic citations, but I'm unsure of how good of a resource the library really is. How much mathematics research is available through it? Are there any hoops you have to jump through to gain access to more specialized information (beyond being extended confirmed)? Thanks in advance, /home/gracen/ (they/them) 18:56, 16 December 2024 (UTC)
- I use the Misplaced Pages library frequently, at least every couple weeks I'm looking something up. Bear in mind that the library is not a library of Misplaced Pages specific resources, but provides access to resources from a wide range of academic publishers in many fields. I primarily use it for legal writing, but I'm sure you can find mathematics content. BD2412 T 19:23, 16 December 2024 (UTC)
- I don't know about the mathematics research, but for physics the Library is awesome. The access levels depend dramatically upon the publisher. For some publishers you can read almost any of their content. Some publishers are not even available.
- The biggest hoop after you have a login is search. The publisher's search is rocks-and-stones level for the most part. So I do my searches via Google Scholar, then use the title or an unusual author's name to search on the publisher's "advanced search" page which supports exact match.
- At least in physics, the decades long shift to open access is starting to have effects. I have found that the document links on Google Scholar (when they exist) now mostly point to published papers on the publishers site. Johnjbarton (talk) 19:24, 16 December 2024 (UTC)
- It is more or less comparable to browsing online scholastic resources from a university library. In the era of Sci-Hub and #ICanHazPDF most scholars around the world who are motivated can find access to most recent published papers, but in theory reading academic papers without authorization is some kind of mild copyright infringement, and "Misplaced Pages Library" is all above board. –jacobolus (t) 19:33, 16 December 2024 (UTC)
- I use it. I get access to many of the same sources through my employer but for some of them I don't and sometimes The Misplaced Pages Library provides a more convenient access path. Quite a few mathematical references are available on JSTOR, in particular, which is available through it, and many mathematical theses are online through Proquest. I don't know of any extra hoops beyond just getting access at all. —David Eppstein (talk) 19:53, 16 December 2024 (UTC)
- Unfortunately most of the theses on Proquest that I have ever tried to look at are not available via Misplaced Pages Library. –jacobolus (t) 21:29, 16 December 2024 (UTC)
- Thanks a lot to everyone who replied! Very much looking forward to gaining access so I can learn more about and help expand articles on mathematics. Also, thanks to the Misplaced Pages community in general for being so welcoming and kind :)
- /home/gracen/ (they/them) 15:32, 17 December 2024 (UTC)
"Predictive analytics"
See also: talk:Predictive analyticsIn 2023 , this article turned from a statistical/mathematical-heavy general topic to a business topic; and from a non-AI topic to an AI-topic. This seems odd, as the article already describes non-business uses; and uses that are not-AI based. -- 65.92.246.77 (talk) 15:38, 17 December 2024 (UTC)
Please check Modular arithmetic
Please check the recent edits to Modular arithmetic - I don't think that they are constructive. Bubba73 05:25, 18 December 2024 (UTC)
- If you are talking of the 3 last edits by a new editor (username in red), I reverted them before reading this post. D.Lazard (talk) 09:52, 18 December 2024 (UTC)
- Yes, thanks. Bubba73 17:53, 25 December 2024 (UTC)
Draft about Arend Bayer
Draft here: Draft:Arend Bayer
Anyone willing to help me create the article about algebraic geometer Arend Bayer?
Duseverse (talk) 00:27, 19 December 2024 (UTC)
New publication of possible interest to project members
Eppstein, D.; Lewis, J. B.; Woodroofe, Russ; XOR'easter (2025), "Princ-wiki-a mathematica: Misplaced Pages editing and mathematics" (PDF), Notices of the AMS, 72 (1): 65–73. —David Eppstein (talk) 18:53, 20 December 2024 (UTC)
- Nice work. Hopefully giving a balanced impression of what lies in store for editors attracts more potential contributions than it scares away. :-P –jacobolus (t) 20:26, 20 December 2024 (UTC)
- I've just finished reading it from beggining to end. Btw, I've noticed even articles about Fields Medalist can be stubby (e.g. Shigefumi Mori). Yesterday I wondered if it was not because so few professional mathematicians participate in Misplaced Pages work. Duseverse (talk) 20:56, 20 December 2024 (UTC)
- As an alternative guess, I suggest that biographies don't interest everyone. Johnjbarton (talk) 21:52, 20 December 2024 (UTC)
- Yes, unfortunately (because one can learn a lot of math beggining by reading biographies, IMO). Duseverse (talk) 22:36, 20 December 2024 (UTC)
- As an alternative guess, I suggest that biographies don't interest everyone. Johnjbarton (talk) 21:52, 20 December 2024 (UTC)
To our list of Misplaced Pages articles that don't exist, about subjects that don't exist, which includes Omphalology, we can add Non-Riemannian hypersquare. Michael Hardy (talk) 21:20, 22 December 2024 (UTC)
- For at least 15 years, maybe more, I've thought an article like this ought to appear in a publication of that sort, and pondered attempting to write one, and never really felt up to it, and this one is better than what I would have done. I may write a response that complements it by adding some specific tips about editing Misplaced Pages articles. Michael Hardy (talk) 03:59, 24 December 2024 (UTC)
- @David Eppstein, @XOR'easter. That is unexpected. Good job! Dedhert.Jr (talk) 04:02, 24 December 2024 (UTC)
Wikifunctions
What, if anything, do we want to do about Wikifunctions? David Eppstein recently reverted the addition of a link to it at the top of Ackermann function, saying it didn't belong in the lead and perhaps not anywhere.
I see David's point, particularly in regards to this function, which will in most cases never return (e.g. will take longer than the age of the universe to compute). But it also kind of reminds me of Wiktionary links, which are usually a good thing, and I could see this possibly making sense in some cases. If not, it's kind of like saying we've decided the Wikifunctions project itself isn't useful (which of course may be true; at least I'm not sure exactly what it's supposed to be useful for).
will take longer than the age of the universe to compute). But it also kind of reminds me of Wiktionary links, which are usually a good thing, and I could see this possibly making sense in some cases. If not, it's kind of like saying we've decided the Wikifunctions project itself isn't useful (which of course may be true; at least I'm not sure exactly what it's supposed to be useful for).
Anyway, not sure. Just thought maybe we should think about it. --Trovatore (talk) 22:54, 22 December 2024 (UTC)
- I would recommend putting these in the "See also" sections of pages, if anywhere. Abstract Misplaced Pages § Development (2020–present) doesn't sound promising:
According to an evaluation by four Google Fellows working on the project, it was at a "substantial risk of failure" due to its poor technical plan. The Google Fellows recommended that Abstract Misplaced Pages be decoupled from Wikifunctions, that Wikifunctions refine MediaWiki's support for programming in Lua rather than having a completely new language, and that Abstract Misplaced Pages converge on a unified approach to natural language generation (NLG) that builds on open source software if possible. The Wikimedia Foundation staff responded to this report by completely rejecting the idea that Abstract Misplaced Pages and Wikifunctions could be separated, and accusing the Google Fellows of making "fallacies and false comparisons". The Wikimedia Foundation also stated that using existing NLG pipelines like Grammatical Framework could not support certain languages such as the Niger–Congo B languages, and would also "replicate the trends of an imperialist English-focused Western-thinking industry."
- This cites Misplaced Pages:Wikipedia_Signpost/2023-01-01/Technology_report, which, OMG. Here's the creator's explanation of the goal of Abstract Misplaced Pages:
"Instead of saying "in order to deny her the advantage of the incumbent, the board votes in January 2018 to replace her with Mark Farrell as interim mayor until the special elections", imagine we say something more abstract such as
elect(elector: Board of Supervisors, electee: Mark Farrell, position: Mayor of San Francisco, reason: deny(advantage of incumbency, London Breed))– and even more, all of these would be language-independent identifiers, so that thing would actually look more likeQ40231(Q3658756, Q6767574, Q1343202(Q6015536, Q6669880)).
- Looking further though denial (Q1343202) is described as "rejecting a fact despite the overwhelming evidence of its truth based on fear of its outcome", which as far as I can tell is a completely incorrect sense of the word to use here. And Q6015536 is linked to the article Incumbency advantage for appointed U.S. senators, which is also moderately off of the intended topic. That's without mentioning that none of the proposed logic about the meaning of elect(...) is yet defined anywhere, and seems quite difficult to do for every possible English sentence, as seems to be the goal here. An inability to make a single simple example work gives some indication of how extremely difficult this would be as a project.
- –jacobolus (t) 23:02, 22 December 2024 (UTC)
- Ohhh...kayyy. One of the Foundation's wild hares, I guess. Someday the WMF is going to get studied as an example of the pathologies that can overtake a well-meaning organization. --Trovatore (talk) 23:09, 22 December 2024 (UTC)
- I don't see these as different in kind from the random online forms for calculating things that are all over the web, that I routinely remove from external links. Like those, I get the impression that a lot of the impetus for adding the link is to promote the site rather than to provide a useful resource.
- You never really know what algorithm they're using, how efficient it is, what issues with numerical precision they might have, etc. Maybe being an official WMF project gaves them a little something extra. But then, in this case, there's also the disadvantage that it will not ever compute any nontrivial values of the function.
- I would prefer not linking them at all, but if they are to be linked they belong in the external links section with the commons and wiktionary links. —David Eppstein (talk) 23:19, 22 December 2024 (UTC)
- I didn't know about Abstract Misplaced Pages. It sounds implausible to me. If the underlying motive here is to push AW, I'd say we hold off on that at least till there's some sort of Minimal Viable Product. I don't think we need to be early adopters there.
- Anyway, I'm satisfied to leave things as they are for now. I just wanted to get the question out for discussion. --Trovatore (talk)
- Of all the possible things to waste several people-years of salary on with nothing to show at the end, Abstract Misplaced Pages and Wikifunctions isn't the worst thing I can imagine. But if I had to bet I'd put extremely long odds on this endeavor accomplishing any nontrivial portion of its stated goals. I don't think we need to be promoting it from Misplaced Pages articles about algorithms or mathematical functions, but to the extent that we do, it should definitely go down at the bottom of pages in 'See also' or 'External links', not up at the top. –jacobolus (t) 23:48, 22 December 2024 (UTC)
- Ohhh...kayyy. One of the Foundation's wild hares, I guess. Someday the WMF is going to get studied as an example of the pathologies that can overtake a well-meaning organization. --Trovatore (talk) 23:09, 22 December 2024 (UTC)
Quick request re Go and mathematics
I'm not sure how this article is on my watchlist (looks like I have one edit from 2021) but could someone knowledgeable on the topic please review these recent edits? Folly Mox (talk) 13:38, 24 December 2024 (UTC)
Looping animated gifs being banned in the name of accessibility
Please see discussion at Talk:Four-dimensional space § Animation fails standards and Misplaced Pages talk:Manual of Style/Accessibility § Looping GIFs and accessibility re whether looping GIFs such as File:8-cell-simple.gif can be allowed as illustrations of articles, on the supposed grounds that because the loop cannot be stopped there is an accessibility problem with them. —David Eppstein (talk) 23:41, 24 December 2024 (UTC)
Categories: