User talk:CBM

m:User:CBM

Please leave new comments at the bottom of the page, using the "new section" button at the top of the page.

I will respond on this page unless you request otherwise.

Archives

1	2	3	4	5	6
7	8	9	10	11	12
13	14	15	16	17	18

re: Deletion

You are, of course, correct. To the best of my knowledge, we haven't executed that right to purge since 2002. There has since been a tacit promise not to do so without good reason and a fair amount of notice. But if the developers needed to purge the deleted history to keep the project up and running, they would absolutely do so.

Until they do so, though, the point that deleting a page doesn't affect the costs to the project remains. Deleting a page doesn't free up any server space or "clean up" anything. I'm really trying to teach people that there are many good reasons to delete a page but "cleaning up the database" is not one of them. Thanks for your comment. Rossami (talk) 15:59, 23 January 2008 (UTC)[reply]

It does, however, clean up Special:Prefixindex and ensure that the old templates aren't mistakenly used instead of the newer ones. And it prepares for the Day of Great Purging. — Carl (CBM · talk) 16:02, 23 January 2008 (UTC)[reply]

Lon Horiuchi

Hey Carl. I've replied on my talk page. Neıl ☎ 17:55, 23 January 2008 (UTC)[reply]

Ping - and again. Neıl ☎ 18:08, 23 January 2008 (UTC)[reply]

Peer review plans

Hi Carl - I've set a couple of plans in motion to improve the PR page further:

Organising the page by topic;
"Archiving from the get-go."

The first of these involves assigning a WP1.0 topic (there are 10 of them) to each peer review to make it easier for reviewers to find articles. The second involves placing an article's peer review on an archive page from the very beginning so that the page never needs to be moved: I did this with GAR, and it is much easier to use than the PR system.

The first plan only requires VeblenBot to list 10 more categories, one for each topic.

In principle, the second plan requires no change to VeblenBot. However, in practice there are transitional issues, because in the new system, the Wikipedia/Peer review/ARTICLE NAME/archiveN pages will be in the category, and the current talk pages would be taken out of the category. This can of course be done preserving chronological order, but not preserving dates. I'm thinking about several different ways that this could be done, and wondering which would be the most smooth. Do you have any suggestions? Geometry guy 20:37, 23 January 2008 (UTC)[reply]

The simplest option is for me to just edit the caches one time by hand. Then they would reflect the correct dates when existing PRs began. As new pages are added to the categories, the caches would automatically be correct. — Carl (CBM · talk) 23:38, 23 January 2008 (UTC)[reply]

Okay, I will develop the idea on that basis. At the moment, if I understand it, VeblenBot is only listing talk pages in the PR category. Geometry guy 10:02, 24 January 2008 (UTC)[reply]

That's right. Please let me know shortly before you depopulate that category, so I can save a copy of the cache to have a record of the data. — Carl (CBM · talk) 13:02, 24 January 2008 (UTC)[reply]

Actually, I don't think I will depopulate the category: instead I will put the peer review subpages in a new category called Category:General peer reviews. If VeblenBot doesn't mind watching empty cats for a short while, could you add this to the list (namespace 4), and also

These are the GA/WP1.0 topics, except that I've folded maths in with sciences, because math peer reviews almost never happen. Finally, I'm going to need Category:February 2008 peer reviews soon, so could you add that one too? Thanks, Geometry guy 19:31, 25 January 2008 (UTC)[reply]

PS. I used {{GA/Topic}} to generate the correct names. Geometry guy 19:36, 25 January 2008 (UTC)[reply]

"C" for the computable functions

Hi Carl,

an anon has added to computable function the claim that the collection of all computable functions is denoted by "C". I've never heard of this, have you? --Trovatore (talk) 21:25, 23 January 2008 (UTC)[reply]

Probably there is at least one book that does that. It sounds like the sort of thing a more CS oriented book with a focus on subrecursive hierarchies would do. They like to have a collection of symbols to represent various classes of languages and functions. But I don't think that using C for the computable functions is common enough to point it out in the article without attributing it to a particular author, and even that is probably not needed. — Carl (CBM · talk) 23:34, 23 January 2008 (UTC)[reply]

Stone representation theorem

After a recent edit of yours, the article currently says that any boolean algebra is isomorphic to the powerset algebra of the set of ultrafilters. Unless I'm thoroughly confused about something (and it's always a possibility that I'm wrong, confused or completely insane) shouldn't it say that X isomorphic to the algebra of clopen subsets of the space of ultrafilters, where the space of ultrafilters are equipped with the hull-kernel topology?--CSTAR (talk) 03:21, 24 January 2008 (UTC)[reply]

You're right. In my attempt to simplify something without editing the article much, I oversimplified it. I fixed that tonight by reworking the article some. The difficulty I had when editing the second section is that all the needed terminology was at the end of the third section. To fix that, I made the new second section just define Stone spaces, so that the statement of the result in the third section can be precise while still using the right terminology.

I may have trimmed the article too much, but I think that the previous version was somewhat verbose.

By the way, I have always called this the "Stone topology" on the ultrafilters. If you have a moment, could you give me a brief cheat sheet of how the terminology from functional analysis specializes in the setting of Boolean algebras? — Carl (CBM · talk) 03:53, 24 January 2008 (UTC)[reply]

Yes the article is better now.

Well, hull kernel topology applies to the set of primitive ideals (= maximal ideals for boolean rings) so what I said above about filters is true modulo a trivial renaming.

A primitive ideal of an algebra is the kernel of an irreducible representation

The kernel of a set of primitive ideals is just their intersection. The hull of an ideal J is the set of primitive ideals P st P is s superset of J.

The hull-kernel of a set of primitive ideals is a closure operation which defines a topology.

--CSTAR (talk) 04:06, 24 January 2008 (UTC)[reply]

Thanks, that makes perfect sense. I think there's another word for that closure operation, as well, but it has slipped my mind. — Carl (CBM · talk) 04:21, 24 January 2008 (UTC)[reply]

In algebraic geometry the hull-kernel topology on prime ideals is the Zariski topology. Is that what you had in mind?--CSTAR (talk) 05:37, 24 January 2008 (UTC)[reply]

User talk:Sussexman

Please could I draw your attention to the unblock request here. Chelsea Tory (talk) 16:39, 24 January 2008 (UTC)[reply]

I don't like this one bit CBM. If you look at Chelsea Tory's contributions, you'll see that the account was registered three days after Sussexman was blocked. It's a little weird considering now Chelsea Tory is trying to get the user unblocked. Ryan Postlethwaite 16:46, 24 January 2008 (UTC)[reply]

Blocking admin,User:Jtdirl, have apparently retired from wikipedia. As far as I can see the block was over legal threats made in conjunction with a content dispute on Gregory Lauder-Frost, said page having been deleted since. User:pschemp was the admin that rejected the first block appeal. Taemyr (talk) 17:14, 24 January 2008 (UTC)[reply]

I'm more concerned about the fact that Chelsea Tory is most probably a sock of Sussexman, given the interest after so long, the fact that the account was registered 3 days after the account was blocked and many early edits were trying to appeal the sussexman block. Ryan Postlethwaite 17:20, 24 January 2008 (UTC)[reply]

Possibly, they do appear to have similar political views. I find it sort of incidental the the block, although there could be grounds to reblock due to sockpuppet abuse. Taemyr (talk) 17:29, 24 January 2008 (UTC)[reply]

I did not know Sussexman when I registered. I hope you will not condemn all those who registered within a few days of the fellow's ban! I have a family and my time is in demand. Are we all being judged now by how many edits we do? Many people are Conservatives just as many others are not. We are talking here about a block which has been in place for a year and a half and according to WP's own policies should be lifted. (You could put the link to the relevant page in). There does not seem to much assumption of good faith evident here. Kind regards, --Chelsea Tory (talk) 00:46, 25 January 2008 (UTC)[reply]

Mediationbot

Thank you for fixing this. I should have thought of the autoblock but stupidly didn't. SlimVirgin ^{(talk)(contribs)} 21:37, 24 January 2008 (UTC)[reply]

Wikipedia:Requests for checkusership has been marked as a policy

Moron

I think you are a snivelling moron unworthy to be a member of an encyclopedia project. Mickylynch101 (talk) 20:42, 25 January 2008 (UTC)[reply]