User talk:CBM/Archive 12

This is an archive of past discussions about User:CBM. Do not edit the contents of this page. If you wish to start a new discussion or revive an old one, please do so on the current talk page.

Archive 5

←

Archive 10

Version 0.7

Carl, I hope your summer is going well. I'm almost finished with the work on the 0.7 "bad words" list. Your revised selections definitely caught quite a lot; however, I'm concerned that a handful of the newly selected versions might be vandalized. Could you perhaps run Wizzy's script on that list, just to check? Thanks! Walkerma (talk) 15:19, 21 July 2009 (UTC)

No problem, I'll see if I can get that script running over those revisions. I should be able to do it this week. — Carl (CBM · talk) 22:09, 21 July 2009 (UTC)

Thanks! I can see the light at the end of the tunnel now! Walkerma (talk) 17:46, 22 July 2009 (UTC)

Pedantic correction

The Bishzilla arbitration was a motion following a request, not a case. Carcharoth (talk) 05:35, 22 July 2009 (UTC)

PR listing problem

Hi Carl, there seems to be a problem with at least some peer reviews being listed only on the PR by date page, and not on the regular PR page. Please see Wikipedia_talk:Peer_review#Not_listed_automatically for more details - I wonder if there are more PRs not listed, and will check that next. Could you please see if you can figure out what is going on? Thanks, Ruhrfisch _><>°^° 15:41, 22 July 2009 (UTC)

I have found the following peer reviews listed at wp:pr/d (sorted by date) but not at WP:PR (sorted by topic):

It is not a date submitted issue that I can see - some submitted recently have been listed both places, some have not. I checked as far back as July 19. Ruhrfisch _><>°^° 15:55, 22 July 2009 (UTC)

I think it is fixed now. I left a comment at Wikipedia_talk:Peer_review. — Carl (CBM · talk) 16:05, 22 July 2009 (UTC)

I didn't mean to speak for you

I am sorry if you are feeling misrepresented. The comments were directed at people who don't understand the broad outlines of the undecidability proof.

About your specific comments on my talk page: I wish you would be less literal minded in your assertions. The "diagonal lemma" applied to proof techniques is exactly the same as the "computational proof". The only slightly different method is to use Godel's particular version of diagonalization (perhaps that is what H. does), but even that is not substantively different.

Your assertions that embedding a computer in arithemtic is difficult might be true for a person who is ignorant of both. But in my experience, this does not cause problems for anybody, layperson or student. Whether you agree or not, you do agree that the proof I give is idea for idea the same as Kleene's proof, except self-contained, and replacing "fixed point" with "print your own code". These minor alterations should not cause such a big fuss.

The main point of my wrangling over this is to put injury/priority on Wikipedia without it getting turned into gibberish. This is important, because this method should be broadly known.Likebox (talk) 20:44, 21 October 2009 (UTC)

While you see your proof of the incompleteness theorem as self-contained, I see it it as incomplete, since it does not prove the key aspects of arithmetization that it uses. This makes it a proof sketch, like the one with that title in the article. Also, none of the proofs we are talking about use priority or injury arguments. — Carl (CBM · talk) 20:51, 21 October 2009 (UTC)

Yes, yes, but if you allow pseudo-code in proofs, then it is a simple matter to present injury priority arguments in readily understandable ways. But there needs to be consensus that pseudo-code is OK when it is a simple translation of recursion-theory speak.Likebox (talk) 21:47, 21 October 2009 (UTC)

By the way, I would like to write a real page on Post's problem and the priority method. Both of these are only presented in the most vague generalities right now. But I am discouraged by the ruckus on Godel's theorem.Likebox (talk) 22:43, 21 October 2009 (UTC)

Any page like that would also need to follow the published literature. — Carl (CBM · talk) 22:47, 21 October 2009 (UTC)

That is not true of any pages on Wikipedia on technical or scientific matters. You are opposing a clear presentation of your own field. You cannot hope to succeed.Likebox (talk) 23:44, 22 October 2009 (UTC)

The problem is that the proofs you add are not actually clear, although you believe they are. I could rephrase them to use standard terminology and be clear, but that's besides the point, since I could do that to essentially any proof text even if it had more serious flaws than just poor writing. I find it very surprising when you appear to claim that you cannot learn the usual terminology in recursion theory. — Carl (CBM · talk) 01:48, 23 October 2009 (UTC)

I am getting more used to it, but it is still a headache. There are many cases of priority arguments where the algorithm is still opaque to me, even after close reading. Usually I can reconstruct it, but not always.Likebox (talk) 22:31, 23 October 2009 (UTC)

Wikipedia:Naming conventions (UK counties) has been marked as a guideline

Wikipedia:WikiProject/Naming convention no longer marked as a guideline

Wikipedia:WikiProject/Naming convention (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 22 October 2009 (UTC)

Wikipedia:Naming conventions (settlements)/Counties no longer marked as a guideline

Wikipedia:Naming conventions (settlements)/Counties (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:01, 22 October 2009 (UTC)

Wikipedia:Arbitration Committee/CheckUser and Oversight has been marked as a policy

Wikipedia:Arbitration Committee/CheckUser and Oversight (edit | talk | history | links | watch | logs) has recently been edited to mark it as a policy. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 23 October 2009 (UTC)

Wikipedia:CheckUser has been marked as a policy

Wikipedia:Deletion of articles on living persons has been marked as a policy

Wikipedia:Arbitration Committee/CheckUser and Oversight has been marked as a policy

Wikipedia:Arbitration Committee/CheckUser and Oversight (edit | talk | history | links | watch | logs) has recently been edited to mark it as a policy. This is an automated notice of the change for WT:Update (see User:VeblenBot/PolicyNotes for more information). -- VeblenBot (talk) 02:01, 23 October 2009 (UTC)

Wikipedia:CheckUser has been marked as a policy

Wikipedia:CheckUser (edit | talk | history | links | watch | logs) has recently been edited to mark it as a policy. This is an automated notice of the change for WT:Update (see User:VeblenBot/PolicyNotes for more information). -- VeblenBot (talk) 02:01, 23 October 2009 (UTC)

Wikipedia:Deletion of articles on living persons has been marked as a policy

Wikipedia:Deletion of articles on living persons (edit | talk | history | links | watch | logs) has recently been edited to mark it as a policy. This is an automated notice of the change for WT:Update (see User:VeblenBot/PolicyNotes for more information). -- VeblenBot (talk) 02:01, 23 October 2009 (UTC)

Wikipedia:WikiProject Music/MUSTARD has been marked as part of the Manual of Style

Wikipedia:WikiProject Music/MUSTARD (edit | talk | history | links | watch | logs) has recently been edited to mark it as part of the Manual of Style. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:01, 23 October 2009 (UTC)

Wikipedia:Naming conventions (UK stations) has been marked as a guideline

Thanks so much - I appreciate all of your help as always. Ruhrfisch _><>°^° 16:50, 22 July 2009 (UTC)

TI

Hi Carl

The section is now very clear. It displays an additional (obvious) fact that I didn't think of before. If a set is constructed via transfinite recursion then it is wellordered by "creation order". I even suspect that there is sort of a converse (if you see what I mean) to that last statement.

Best Regards

Johan Nyström —Preceding unsigned comment added by YohanN7 (talk • contribs) 12:06, 23 July 2009 (UTC)

Bot request to further automate the SAPR process

Hi Carl, a bot request has been made to automate the generation of the semi-automated peer reviews, here. Since the Peer review bot is part of the process I thought you should know. Ruhrfisch _><>°^° 12:38, 25 July 2009 (UTC)

Thanks. I am fine with switching to a link to the toolserver in the peer reviews. I assume it would be article specific (so the article on Foo would link to the SAPR for Foo) and that it would appear as soon as the PR was listed. I have asked about this at the PR talk page just to make sure no one can think of any problems with the idea. I would make a notice in the link that they should not paste the SAPR into the Peer review (since that messes up transclusion). WOuld a target switchover of August 1 be OK with you? Ruhrfisch _><>°^° 20:55, 26 July 2009 (UTC)

Yes, that should be fine. The switchover should entail editing the PR header so that new peer review pages link to the toolserver app, and then disabling the SAPR task from PeerReviewBot. Actually the bot task can be disabled a day or two later; as long as you don't create any more SAPRs on the wiki, the bot will not add links to any peer review pages. — Carl (CBM · talk) 22:14, 26 July 2009 (UTC)

Thanks - I will mot make any more SAPRs after July 31. That way I will have the July number for WP:FAS (will use the archived number there in the future). Ruhrfisch _><>°^° 23:42, 26 July 2009 (UTC)

Thx

Thanks for your recent action at MoS, CBM. Tony (talk) 13:27, 30 July 2009 (UTC)

Maximum spacing estimation

Hello. I recently went back to the A-class discussion here Wikipedia:WikiProject Mathematics/A-class rating/Maximum spacing estimation and tried to implement the various suggestions. As User:C S is semi-retired, may I trouble you to give it a quick glance to let me know if you think it is ready for another A-class review? -- Avi (talk) 07:26, 27 July 2009 (UTC)

I am afraid the A-class process is somewhat defunct at the moment; once the academic year has started in September I want to propose something more lightweight. I would be glad to read through the article and the previous review and let you know if I see any issues in the present version. Please give me a day or two to get back to you. — Carl (CBM · talk) 13:23, 27 July 2009 (UTC)

I'd very much appreciate that; thanks! -- Avi (talk) 13:29, 27 July 2009 (UTC)

Thank you very much. I gave some specific responses at Talk:Maximum spacing estimation. Are you of the belief it does not pay to open an A-class conversation because outside of yourself no one will answer? Do you think that going to FAC directly would be preferable? I'd rather get the imprimatur of the math experts here before going on FAC, personally, unless the process is in indefinite hiatus. Thank you again! -- Avi (talk) 02:13, 29 July 2009 (UTC)

I think that recent nominations for A-class review did not get the sort of thorough review we had in mind when the system was put in place; this makes everyone reluctant to close the discussion and say the article is promoted, so it drags out indefinitely. However, you could always open the review with the expectation that it might not go anywhere. — Carl (CBM · talk) 03:04, 30 July 2009 (UTC)

I guess the problem is that in our project we simply don't have the critical mass for a review system that spreads over individual pages. Not enough people watchlist them. The German Wikipedia has the same problem for FA and GA reviews, so they have one page for all FA reviews and one for all GA reviews. They are soon going to vote on putting even FA and GA together on a single page, along with an open-ended review system that is not sufficiently active. If we had a single page for reviewing the classification of maths articles, I think it would soon be watchlisted by enough project members and therefore get a lot more activity. But it may be best to start such a system in term time to give it a chance to prosper from the beginning. Hans Adler 18:01, 30 July 2009 (UTC)

Well, we do have Wikipedia:WikiProject Mathematics/A-class rating that can be watchlisted. -- Avi (talk) 20:46, 30 July 2009 (UTC)

1) I wasn't even aware it exists, even though it's on my watchlist. 2) It's not the kind of page that appears on your watchlist at least once every 30 minutes. And if it did, it would still not make you notice if an article on a topic you don't care much about has issues related to a style or structure problem you care a lot about. Hans Adler 21:45, 30 July 2009 (UTC)

Here are some thoughts about the process.

The process started off well, with 7 nominations and 4 promotions in 2007. But then there was only one nomination in 2008, which died before it could really come to closure. There have been 3 nominations in 2009 but 2 were just reviews of articles that are already A-class, and the third (maximum spacing estimation) also petered out.
I only count about 10 editors in the 2009 archive, with a lot of overlap. I think this is the more serious problem. The question is how to get more editors involved.

My take on this is that the process is too heavyweight for the amount of editing time we can put into it. I don't see much point in having an A-class rating process that makes it a practical impossibility to promote an article.

I have not thought too long about details, but in general terms I think it might be better if we aim somewhere between GA and FA in terms of the rigor of the review. Here is one option I have thought about:

The discussion is conducted on the talk page of the article, with an announcement posted at WT:WPM. Any three editors agreeing is enough for the article to be promoted to A-class, provided there are no significant objections to the promotion.

I don't know if that's quite the right change, but it shows the sort of thing I am thinking about. — Carl (CBM · talk) 21:51, 30 July 2009 (UTC)

Sounds reasonable. Per the A-class requirements, they are not as stringent as FA, and, interestingly, they are somewhat different than GA (A-class articles that have passed Ga are supposed to be nominated for FA - GA relates more to polish, A relates more to math content). I think I will open an A discussion again now that a few people have chimed in here, and we'll see what happens. If nothing happens after a week or so, I guess it should be closed and I'll consider running the FA gauntlet. Thanks again, Carl, Hans, and everyone, for your suggestions. -- Avi (talk) 15:25, 31 July 2009 (UTC)

For the record…

…As you kindly gave advice earlier, I would like to let you know that I have reopened Wikipedia:WikiProject Mathematics/A-class rating/Maximum spacing estimation. Thank you. -- Avi (talk) 15:38, 31 July 2009 (UTC)

Version 0.7

Hi CBM, if you're too busy to go through the 700 lines of output from Wizzy's script, can you email it to me so I can process it for Emmanuel? I think this is the last item we need to do before publication, assuming that the index is now fixed. Thanks! Walkerma (talk) 17:49, 31 July 2009 (UTC)

I have been slowly working on it this week, and finished this afternoon. The following revision IDs should be used instead of the ones selected before. Of course I might have missed something – manual review is only so good.

I'm going to be traveling on and off the next two weeks. I will have good internet access during that time, but not access to my home computer to do release work.

— Carl (CBM · talk) 19:21, 31 July 2009 (UTC)

Alexandria,_Louisiana 257071494
Barnacle 253921506
Carlton_Football_Club 260909556
Cucumber 260779941
Cytoskeleton 260340380
Film_producer 252804496
Geography_of_the_United_States 257653908
Ghetto 204335950
Motocross 260870626
Pear 259155615
Swindon 260578526
Uniform_Resource_Locator 260836131

Maximum spacing estimation

Hello. I recently went back to the A-class discussion here Wikipedia:WikiProject Mathematics/A-class rating/Maximum spacing estimation and tried to implement the various suggestions. As User:C S is semi-retired, may I trouble you to give it a quick glance to let me know if you think it is ready for another A-class review? -- Avi (talk) 07:26, 27 July 2009 (UTC)

I am afraid the A-class process is somewhat defunct at the moment; once the academic year has started in September I want to propose something more lightweight. I would be glad to read through the article and the previous review and let you know if I see any issues in the present version. Please give me a day or two to get back to you. — Carl (CBM · talk) 13:23, 27 July 2009 (UTC)

I'd very much appreciate that; thanks! -- Avi (talk) 13:29, 27 July 2009 (UTC)

Thank you very much. I gave some specific responses at Talk:Maximum spacing estimation. Are you of the belief it does not pay to open an A-class conversation because outside of yourself no one will answer? Do you think that going to FAC directly would be preferable? I'd rather get the imprimatur of the math experts here before going on FAC, personally, unless the process is in indefinite hiatus. Thank you again! -- Avi (talk) 02:13, 29 July 2009 (UTC)

I think that recent nominations for A-class review did not get the sort of thorough review we had in mind when the system was put in place; this makes everyone reluctant to close the discussion and say the article is promoted, so it drags out indefinitely. However, you could always open the review with the expectation that it might not go anywhere. — Carl (CBM · talk) 03:04, 30 July 2009 (UTC)

I guess the problem is that in our project we simply don't have the critical mass for a review system that spreads over individual pages. Not enough people watchlist them. The German Wikipedia has the same problem for FA and GA reviews, so they have one page for all FA reviews and one for all GA reviews. They are soon going to vote on putting even FA and GA together on a single page, along with an open-ended review system that is not sufficiently active. If we had a single page for reviewing the classification of maths articles, I think it would soon be watchlisted by enough project members and therefore get a lot more activity. But it may be best to start such a system in term time to give it a chance to prosper from the beginning. Hans Adler 18:01, 30 July 2009 (UTC)

Well, we do have Wikipedia:WikiProject Mathematics/A-class rating that can be watchlisted. -- Avi (talk) 20:46, 30 July 2009 (UTC)

1) I wasn't even aware it exists, even though it's on my watchlist. 2) It's not the kind of page that appears on your watchlist at least once every 30 minutes. And if it did, it would still not make you notice if an article on a topic you don't care much about has issues related to a style or structure problem you care a lot about. Hans Adler 21:45, 30 July 2009 (UTC)

Here are some thoughts about the process.

The process started off well, with 7 nominations and 4 promotions in 2007. But then there was only one nomination in 2008, which died before it could really come to closure. There have been 3 nominations in 2009 but 2 were just reviews of articles that are already A-class, and the third (maximum spacing estimation) also petered out.
I only count about 10 editors in the 2009 archive, with a lot of overlap. I think this is the more serious problem. The question is how to get more editors involved.

My take on this is that the process is too heavyweight for the amount of editing time we can put into it. I don't see much point in having an A-class rating process that makes it a practical impossibility to promote an article.

I have not thought too long about details, but in general terms I think it might be better if we aim somewhere between GA and FA in terms of the rigor of the review. Here is one option I have thought about:

The discussion is conducted on the talk page of the article, with an announcement posted at WT:WPM. Any three editors agreeing is enough for the article to be promoted to A-class, provided there are no significant objections to the promotion.

I don't know if that's quite the right change, but it shows the sort of thing I am thinking about. — Carl (CBM · talk) 21:51, 30 July 2009 (UTC)

Sounds reasonable. Per the A-class requirements, they are not as stringent as FA, and, interestingly, they are somewhat different than GA (A-class articles that have passed Ga are supposed to be nominated for FA - GA relates more to polish, A relates more to math content). I think I will open an A discussion again now that a few people have chimed in here, and we'll see what happens. If nothing happens after a week or so, I guess it should be closed and I'll consider running the FA gauntlet. Thanks again, Carl, Hans, and everyone, for your suggestions. -- Avi (talk) 15:25, 31 July 2009 (UTC)

It would help to notify WT:WPM; I didn't know that this was going on. Part of the problem may be that few of us have serious knowledge of any given area of mathematics; we all know our own, and are reluctant to offer technical criticism outside it. Septentrionalis PMAnderson 20:02, 4 August 2009 (UTC)

For the record…

…As you kindly gave advice earlier, I would like to let you know that I have reopened Wikipedia:WikiProject Mathematics/A-class rating/Maximum spacing estimation. Thank you. -- Avi (talk) 15:38, 31 July 2009 (UTC)

Version 0.7

Hi CBM, if you're too busy to go through the 700 lines of output from Wizzy's script, can you email it to me so I can process it for Emmanuel? I think this is the last item we need to do before publication, assuming that the index is now fixed. Thanks! Walkerma (talk) 17:49, 31 July 2009 (UTC)

I have been slowly working on it this week, and finished this afternoon. The following revision IDs should be used instead of the ones selected before. Of course I might have missed something – manual review is only so good.

I'm going to be traveling on and off the next two weeks. I will have good internet access during that time, but not access to my home computer to do release work.

— Carl (CBM · talk) 19:21, 31 July 2009 (UTC)

Alexandria,_Louisiana 257071494
Barnacle 253921506
Carlton_Football_Club 260909556
Cucumber 260779941
Cytoskeleton 260340380
Film_producer 252804496
Geography_of_the_United_States 257653908
Ghetto 204335950
Motocross 260870626
Pear 259155615
Swindon 260578526
Uniform_Resource_Locator 260836131

TI

Hi Carl!

This response is long overdue. I thought I had responded, but apparantly I failed to save it properly.

I think the edit in TI is excellent. It also provided me with some new insight. If something is defined by transfinite recursion, then that something IS wellordered (by "creation order"). This is obvious, but I didn't see it until I read your edit.

Best regards, Johan Nystrom YohanN7 (talk) 16:19, 1 August 2009 (UTC)

PR tweak?

Hi Carl, I have noticed that there tend to be several peer reviews each month that are improperly archived in the same way - the person pastes in the the "This peer review has been closed" text, but does not replace the topic template with {{subst:PR/archive}}. Would it make sense to put in a hidden comment next to the topic with something like "To archive this PR, please replace the topic template with {{subst:PR/archive}}? I will also post this on Geometry Guy's talk page (with a reminder to do the August PR maintenance). I will not do any more SAPRs so the bot can stop linking them.

I also wonder what we should do with the SAPR archives - should some sort of inactive notice pointing to the new toolserver application be added? Thanks, Ruhrfisch _><>°^° 17:17, 1 August 2009 (UTC)

I forgot to "Notify Carl (CBM) that the current month's category needs to be listed, but the category from two month's ago has been stabilized. " Ruhrfisch _><>°^° 11:56, 2 August 2009 (UTC)

Thanks very much - I also noticed that the hidden comment  is still in the PR template - removing this would save some space I think. I will also let Geometry guy know about this, thanks, Ruhrfisch _><>°^° 15:08, 5 August 2009 (UTC)

thumb captions

I was wondering if you had seen my response to Wikipedia:Village_pump_(technical)#Image_captions_can_be_too_wide. —TheDJ (talk • contribs) 12:43, 7 August 2009 (UTC)

Do you think that it would be reasonable to add overflow: visible to the appropriate declaration in common.css? — Carl (CBM · talk) 17:42, 7 August 2009 (UTC)

I think it might be. In my opinion, "hiding" content, is always less desirable, even when it potentially might collide with other content or be "visually broken". It is not perfect, but i don't see a "perfect" solution to this problem to be honest. —TheDJ (talk • contribs) 19:41, 7 August 2009 (UTC)

Guess what

Looks like some other well known computability theorist has an account here. See Special:Contributions/Pmt6sbc. His bio is a bit hyperbolic, but I can't complain about the book being added to articles because I like (and probably added it to some articles myself). Pcap ping 13:04, 14 August 2009 (UTC)

I have seen others as well. — Carl (CBM · talk) 11:02, 15 August 2009 (UTC)

User:VeblenBot/C/Wikipedia featured topic candidate main articles

Hey,

Featured topics now follow the FA model of having the nom page at "/archiveX" locations, so I imagine VeblenBot's functionality will need to be updated for this. Having said that, often the link to the nomination doesn't work anyway because at the moment, VeblenBot assumes that the topic's name matches the name of the main article, which often isn't the case - rst20xx (talk) 16:15, 15 August 2009 (UTC)

VeblenBot and policy guideline tag changes

Does VeblenBot still keep a cache of which pages are tagged {{policy}} or {{guideline}}? I looked for contribs to WP:VPP but didn't see any recent ones, last one was 25 October 2008. Hiding T 20:33, 18 August 2009 (UTC)

At some point it was disabled (probably mediawiki changed and I never fixed the script to follow). I fixed the script this evening and it should run once a day now. — Carl (CBM · talk) 00:02, 19 August 2009 (UTC)

Blimey, thank you. Hiding T 09:25, 19 August 2009 (UTC)

User talk:Brandy15

Why did you remove my comments on User talk:Brandy15? Who then was a gentleman? (talk) 19:41, 20 August 2009 (UTC)

I apologize if I offended you. Here is the analysis I made of the situation:

The editor was extremely inexperienced, having made fewer than 10 edits
The editor created an apparent test page, but the title of that page is the name given on the editor's user page, so perhaps it is an attempt to start a biography
The page was tagged for speedy deletion, but I found it due to it being listed as a manual of style page
It is a well known that we tend to overwhelm new users with multiple lengthy messages, full of dozens of links. The usual response is TL:DR.
You had substituted a CSD notice template on the page, and ClueBot had since then left a different template message.
So I deleted the page. At that point, lengthy descriptions of how to put a hangon tag on the page were no longer of much use to the user. Moreover, in light of #4, they were likely to just be confusing.
So I removed the instructions on how to place a hangon tag, pointed out the page had been deleted, and also pointed out that we discourage users from making their own biographies. I did this in a brief, clear way, so that the user could very quickly see what they need to do, which is avoid making test pages that appear to be autobiographies.

— Carl (CBM · talk) 20:34, 20 August 2009 (UTC)

Thanks for adding the example in Kleene's first recursion theorem

It made the article a lot more accessible than what I was suggesting! Pcap ping 03:11, 22 August 2009 (UTC)

By the way, you might know

Do you think there's some analogy/relationship between strictly non-standard fixed point combinators and Kleene's 2nd recursion theorem? Pcap ping 03:21, 22 August 2009 (UTC)

I don't know; I am not very fluent in λ-calculus. — Carl (CBM · talk) 04:31, 22 August 2009 (UTC)

History of Logic

Hi I am starting work on a complete revision of the above article, with the aim of making it a Featured Article. It is strange that such an important subject has been so neglected in Wikipedia. The current article covers the history up to the pre-modern period relatively well (though it needs some tidying). The parts on modern logic are abysmal however.

I have begun work here. Currently it is a collection of sources (Bochenski mostly - Kneale & Kneale are somewhat uneven on the modern period) which I will develop into an article when I am sure about the balance.

All comments appreciated - on the talk page please. Logicist (talk) 11:33, 22 August 2009 (UTC)

Algorithm footnotes

I know you're a fan of in-line cites, and so I used to be. But here's my reasoning for converting to "footnote style": Some of them have become excessively complicated because, to do the job well (and to be of best help to the reader), I have to cite not only the author+year but also the book from where I took the quote e.g. (Rosser 1939 in Davis 1965:225). It becomes even uglier when I have to cite the author of a commentary that appears before a paper reproduced in a compilation, e.g. here's one that I should amend: (van Heijenoort's commentary on Frege's 1879 Begriffsschirft in van Heijenoort 1967:1). (This gets weird because sometimes Willard Quine is writing commentary, so it's not a foregone conclusion that van H is doing it. This also happens in Davis 1965 when Davis is writing commentary). And then there's the problem of how to deal with a citation that includes parenthetic information such as the ones on the CASE and IF-THEN-ELSE; what I truly don't like is having to bop back and forth between articles . . . there should be a reasonable narrative flow.

I was persuaded to abandon my preferences for in-line cites during a dialog, and an experiment, with an editor re David Hilbert; he wanted citations, I wanted inline cites. I tried it my way (sounds like a bad song) and it was a mess -- there were zillions of citations, and they were annoying to dodge around -- so I converted it over it footnotes. But I admit that having to click on the footnote and go to the bottom is annoying too, and it makes fact-checking a lot harder (which is what I'm going to do next, no matter what the outcome of our dialog is here . . ..).

Converting "algorithm" back would be a piece of cake (I did the whole job in just a few minutes). But just eliminating the "ref" commands will now result in somewhat longer cites. Lemme know your thoughts . . . (if you want to convert them back 'tis okay by me). Bill Wvbailey (talk) 15:14, 22 August 2009 (UTC)

With one exception (#16 Kowalski 1979) I put every one of the citation in the article. I've fact-checked all but those in the history section, with a few emendations. Bill Wvbailey (talk) 17:47, 22 August 2009 (UTC)

Useless template ... or not

Not all articles, and I dare say most articles in theoretical computer science on this wiki are not being watched by some expert. Having an explicit tag that describes some issue with the article can sometimes attract contributors to fix it. It's nice when some "man in the sky" shows up here or here. I understand your perspective too, that for articles which are being actively maintained, to use software engineering term, like Kleene's recursion theorem, tags do more harm than good. Unfortunately the maintentance level/status is not easy to ascertain. I've fixed quite a few errors, most of them small, but some less so in the past few days in articles like kind (type theory), fixed point combinator, system F, pure type system (which I think still has an error). Pcap ping 00:03, 24 August 2009 (UTC)

Wikipedia:Use common sense no longer marked as a guideline

Wikipedia:Use common sense (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 24 August 2009 (UTC)

Offer to mediate in the Office Open XML article

I noticed your offer to mediate on the Office Open XML article. Thank you very much for that offer as attempt to get coments from the wikiproject and through the request for comments proces have failed so far. I would therefore like to take you up on that offer of mediation on the Office Open XML article. Especially the current edit conflict between me and user:Scientus should be resolved. hAl (talk) 20:13, 24 August 2009 (UTC)

VeblenBot/SPERtable updates have stopped

In case you aren't already aware... Celestra (talk) 21:16, 24 August 2009 (UTC)

There were grave problems with the toolserver today; see [1]. The bot runs automatically, and it seems that after they recreated its files from a backup, it has started again. — Carl (CBM · talk) 23:39, 24 August 2009 (UTC)

Computability logic

I'm not sure exactly how to categorize this. What I've done is probably better than how it was before I got to it, but you sure have a better idea of what that is about; the article is kidna vague and I'm not motivated to read any of the references. The reference flood doesn't quite help here. Pcap ping 18:50, 28 August 2009 (UTC)

The categories look reasonable. Many of the references are to mainstream, respectable mathematical logic journals, so I think the issue is just that the article here is written in a vague, somewhat promotional manner. — Carl (CBM · talk) 23:41, 30 August 2009 (UTC)

The finitary Hilbert and primitive recursion, a quote

I stumbled on this in van Heijenoort, thought you might like to see it: In his 1925 On the Infinite Hilbert is discussing the notion of recursion:

"Clearly, the elementary means that we have at our disposal for forming functions are substitution (that is, replacement of an argument by a new variable or function) and recursion (according to the schema of the derivation of the function value for n+1 from that for n). ¶ One might think that these two processes, substitution and recursion, would have to be supplemented with other elementary methods of definition . . . ¶ It turns out, however, that any such definition can be represented as a special case of the use of substitutions and recursions. The method of search for the recursions required is in essence equivalent to that reflection by which one recognizes that the procedure used for the given definition is finitary." (boldface added Hilbert (1925) On the Infinite in van Heijenoort 1967:385-386)

But then, in the following paragraphs Hilbert discusses other "recursions [that] would not be ordinary, stepwise ones . . . that is, a recursion on different variables at once" and ends with the hypothesis that "the function φ_a(a, a) is an instance of a function, of the number-theoretic variable a that cannot be defined by substitutions and ordinary, step-wise recursions alone if we admit only number-theoretic variables.⁹ (⁹ This assertion was proved by W. Ackermann [ [1928] ])." (loc. cit. page 386).

My interpretation of this is that you were correct, and Hilbert himself admits to it. Bill Wvbailey (talk) 19:55, 30 August 2009 (UTC)

There's even more later: "Or, to express ourselves with greater precision and more in the spirit of our finitist attitude, if by adducing a higher recursion or a corresponding variable-type [etc]" (p. 391), and "The final result then is: nowhere is the infinite realized; it is neither present in nature nor admissible as a foundation in our rational thinking -- a remarkable harmony between being and thought. We gain a conviction that runs counter to the earlier endeavors of Frege and Dedekind . . . certain intuitive conceptions and insights are indispensable; logic alone does not suffice. The right to operate with the infinite can be secured only by means of the finite. ¶ The role that remains to the infinite is, rather, merely that of an idea . . . through which the concrete is completed as to form a totality." (p. 392)

This is a surprise to me; I didn't realize that Hilbert considered himself to be a finitist. van H. says that "After 1927 Hilbert himself laid the problem aside. The scale of variable-types has not been further investigated" (p. 368). Bill Wvbailey (talk) 20:09, 30 August 2009 (UTC)

One executive summary of Hilbert's program is: find finitistic proofs that the infinitary methods of mathematics are consistent. Our article on Hilbert's program is, unfortunately, very brief. In the context of finitism, the benefit of primitive recursive functions is that it is extremely easy to prove that each one is actually a total function. This is in contrast to total recursive functions, some of which may be very hard to prove total.

For example, consider the function that does the following:

On input n, check whether n itself is the Gödel number of a proof of 0=1 from the axioms of ZFC. If it is not, return 0. Otherwise, go into an infinite loop.

Because ZFC is consistent, this definition yields a total computable function. However, because of Gödel's second incompleteness theorem, ZFC cannot prove that this is a definition of a total function. Such issues cannot arise with primitive recursive functions. — Carl (CBM · talk) 23:37, 30 August 2009 (UTC)

Wikipedia:Wikipedia talk:Naming conflict has been marked as a guideline

Comparing various foundations of mathematics with bar charts!

You're probably going to find this paper amusing, if not interesting.

Freek Wiedijk, Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics, Journal of Applied Logic, Volume 4, Issue 4, December 2006, Pages 622-645, doi:10.1016/j.jal.2005.10.011

Pcap ping 14:53, 1 September 2009 (UTC)

Somebody did point out an analogy with obfuscated C programs as not being that useful at the end of the paper. Probably a better analogy would have been Tarski's quest for minimal axiomatization, e.g. his axiom of an abelian group is not what you'd think of simple, even though it's the shortest by an objective metric [2] (can't seem to find it in an article here). Perhaps Robbins algebra would be a really good example why the simplest axiomatization in some metric isn't the most convenient to work with. It took some 60 years and an automated theorem prover to even show that it is a Boolean algebra. Pcap ping 15:14, 1 September 2009 (UTC)

Meh, that article (pdf) is kind of lame. I do remember some other article arguing that ZFC was close to optimal in some sense. But the guy who wrote that article Pcap cites claims to be a platonist, so he ought to know that "true" logic is infinitary... ;-) 67.122.211.205 (talk) 22:47, 3 September 2009 (UTC)

Wikipedia:Anarchism referencing guidelines has been marked as a guideline

Wikipedia:Manual of Style (France & French-related) (edit | talk | history | links | watch | logs) has recently been edited to mark it as part of the Manual of Style. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 2 September 2009 (UTC)

Wikipedia:Category deletion policy no longer marked as a policy

Wikipedia:Category deletion policy (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a policy. It was previously marked as a policy. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:01, 3 September 2009 (UTC)

Re: Move & Bot

I was unaware of the bot at the time: Wikipedia:Articles_for_deletion/List_of_mathematics_articles_(J-L). (if you respond, do it on my talkpage) --Cybercobra (talk) 13:38, 3 September 2009 (UTC)

I'll also add the page moves to my list of bones to pick with the bot author. --Cybercobra (talk) 13:42, 3 September 2009 (UTC)

Tamil wiki

CBM, can you help with this request? This came from a conversation at Wikimania last week. The Tamil WP is a small but active Wikipedia, and they will need to use our bot - and possibly our server, too. Cheers, Walkerma (talk) 05:35, 4 September 2009 (UTC)

Wikipedia:Wikipedia talk:Naming conflict/Archive 2 has been marked as a guideline

Wikipedia:Wikipedia talk:Naming conflict/Archive 2 (edit | talk | history | links | watch | logs) has recently been edited to mark it as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 5 September 2009 (UTC)

Wikipedia:How to write a plot summary no longer marked as a guideline

Wikipedia:How to write a plot summary (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 5 September 2009 (UTC)

Wikipedia:Wikipedia talk:Naming conflict no longer marked as a guideline

Wikipedia:Wikipedia talk:Naming conflict (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 5 September 2009 (UTC)

Wikipedia:Gravity no longer marked as a guideline

Wikipedia:Gravity (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 5 September 2009 (UTC)

Could you please explain further...

Could you please explain why you deleted File:Dikson - Siberia 5.png and File:Dikson - Tiksi - Siberia 3.png?

Geo Swan (talk) 23:28, 5 September 2009 (UTC)

Those pages had image descriptions, but no images. Even now, when I look at the page where I could undelete them, there is no "file history" – no deleted version of the image that could be restored. There is only history of the text of the image description page. This is most likely because the images were both deleted in 2005, as the deletion logs show. At that time, image deletion was not reversible. So, when the image description pages were undeleted in 2007, the images themselves were already lost. — Carl (CBM · talk) 02:49, 6 September 2009 (UTC)

Since you understand (un)decidability and apparently perl too...

Could you comment on the issue of perl's grammar being "Turing complete" in this discussion? Thanks, Pcap ping 11:43, 6 September 2009 (UTC)

Bot module

Hey,
Thanks for writing that mediawiki perl module, it's really easy to use & debug and it doesn't seem buggy at all. Anywho, I started using it tonight and found that I also needed 'delete' functionality, so I wrote that in there. Seems like a decent feature to have around... which of the following (if any) sound good to you?:

Give me SVN access to that proj. & let me commit the changes
Have me email you the changed code
Not interested, I should just fork it.

Thanks,
-SColombo (talk) 04:15, 6 September 2009 (UTC)

I think I can only give you svn access if you have a toolserver account. If you don't, you can send me a patch by email, and I will be glad to apply it. Either way I will add you to the list of authors if you tell me how you would like to be attributed. — Carl (CBM · talk) 15:53, 6 September 2009 (UTC)

Not sure about adding/removing some articles to recursion theory cat

The lead of some of these claimed only "in computability theory" but that's probably because it redirected to the computer science article before, no? Pcap ping 23:31, 7 September 2009 (UTC)

"Computability theory" was a dab page that included both mathematical logic and computer science. Those particular articles have topics that are more on the computer science side than on the mathematical logic side, so I would categorize them in the CS categories rather than the math categories. In the math logic approach, all problems are converted into decision problems; this is the framework used to determine uncomputability. I wasn't aware that the other types of problems had any significance until someone pointed out to me that the conversion from one type to another cannot always be done in polynomial time. — Carl (CBM · talk) 01:10, 8 September 2009 (UTC)

Indeed. Pcap ping 08:30, 8 September 2009 (UTC)

We mention it a little at Decision_problem#Equivalence_with_function_problems. — Carl (CBM · talk) 10:00, 8 September 2009 (UTC)

Wikipedia:Edit warring has been marked as a policy

Wikipedia:Wikipedia talk:Naming conventions/Draft policy rewrite has been marked as a guideline

Wikipedia:Wikipedia talk:Naming conventions/Draft policy rewrite (edit | talk | history | links | watch | logs) has recently been edited to mark it as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 8 September 2009 (UTC)

Wikipedia:Edit war no longer marked as a policy

Wikipedia:Edit war (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a policy. It was previously marked as a policy. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 8 September 2009 (UTC)

This is a false positive due to a page move, resulting in duplicate notices. Could the bot detect page moves, and make appropriate "policy page moved" notifications? Rd232 ^talk 08:02, 8 September 2009 (UTC)

It could, but it doesn't at the moment. Policy pages are very rarely renamed, so it's probably easier to just remove the notices in the rare cases when they are renamed. — Carl (CBM · talk) 13:05, 8 September 2009 (UTC)

Gödel number vs Numbering (computability theory)

I'm pretty sure I've seen "Gödel number" used in more than one source to refer to the numbering of μ-recursive functions. Our poorly sourced articles claim a narrower use for Gödel number(ing). Since you probably have knowledge of how widespread such terminological differences are, perhaps you could attend to those articles? Pcap ping 10:59, 8 September 2009 (UTC)

Sure, I'll look at it. — Carl (CBM · talk) 13:05, 8 September 2009 (UTC)

Wikipedia:Category:Wikipedia content guidelines no longer marked as a guideline

Wikipedia:Category:Wikipedia content guidelines (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 11 September 2009 (UTC)

Removal of Franciszek Chałupka article

It is part of the text by which you requested:

Rev. Franciszek Chalupka founded St. Joseph Basilica in Webster in 1887, 
the first Polish American parish in New England. 
He later went on to found a number of other Polish American parishes 
including St. Stanislaus Basilica in Chicopee, Masss. in 1891 
and Our Lady of Czestochowa Church in Turners Falls, Mass. in 1909.

If you need more information to expend this article you can contact Rev. Msgr. Anthony Czarnecki, St. Joseph Parish. He is the guardian of Polish-American parishes in New England.--WlaKom (talk) 09:20, 12 September 2009 (UTC)

Please remember that I did not delete the article; I am simply trying to explain the policies that Wikipedia uses to decide when to delete articles.

Please let me try to explain one more time. Wikipedia has a policy on article inclusion, which is what the admin who deleted your article was applying. That policy is,

If a topic has received significant coverage in reliable secondary sources that are independent of the subject, it is presumed to satisfy the inclusion criteria for a stand-alone article.

The article was deleted because it did not appear, based on its contents, that Chalupka has been the subject of significant coverage. I made some attempt to find additional sources, but I didn't find any.

In order to recreate the article, you need to locate additional secondary sources that give significant coverage to Chalupka. These could be biographies, articles directly about Chalupka, etc. The source that we have so far is a newspaper article that spends one paragraph on Chalupka; this is not considered "significant coverage" for our purposes. At the moment, I have not found any source that even gives the year of Chalupka's birth. — Carl (CBM · talk) 11:29, 12 September 2009 (UTC)

I give up!!!

Who said, that the sources about Chalupka is a newspaper article? You really do not have a clue what are you talking about. If you think that the source is wrong. Prove it or leave it!. My request was a referral to the person who removed the article. Therefore, I consider our discussions ended. Have a nice day.--WlaKom (talk) 12:27, 12 September 2009 (UTC)

The information in the reference that was in the article did not give very many details, which is why I asked you earlier if the source was the Polish-American Journal, which describes itself as the "nation's largest, independent English language monthly newspaper". If the source that was in the article is not from the Polish-American Journal, can you tell me where it actually came from? The actual reference provided was "The 150'th Anniversary of Polish-American Pastoral Ministry, Webster, Massachusetts (September, 11, 2005)", which doesn't even list where the article was published. — Carl (CBM · talk) 20:19, 12 September 2009 (UTC)

User:Linas

Apparently some events at trace monoid eventually made him blow his top off. There's some chance he'd get banned if he doesn't chill. Since he contributed a fair bit to Math (and CS) articles here, is there any chance that you or some other experienced Math editor/admin he may trust have a (private) word with him? Thanks. Pcap ping 06:06, 14 September 2009 (UTC)

I see there's an ANI thread on him now. Pcap ping 17:54, 14 September 2009 (UTC)

Logic math and computing

There are a number of articles which cover concepts in all three of these fields. My contributions in the logic area have been wrongfully removed many times. Here today we have an example in formal language where one view has been totally covered and since others have been removed, there is no progress in that area. I guess I am wondering if we need to create formal language (logic) or if people are going to be decent and work together from different perspectives. Say the word on splitting the article. I think we probably should since people insist on deleting precious material they don't care about.

I think Symbol (formal) has worked out wonderfully. I also wonder if that article, being so fundamental has helped to clarify certain things about this whole area. (i.e. the symbol is an idea, and the chalk on the board is a token of the symbol; a proposition is an idea, a theorem is an idea, etcetera.)

If we don't split formal language we will get a single better article in which a reader can possibly see the implications of the subject for reasoning, for math, for computers, for artificial intelligence, etcetera (you know...beyond ones' previously limited notions). It's is about making connections for the reader, not severing them. I'm just tired of the group's inability to work on a articles interdisciplinarily. We lose precious content because of a few narrow minded deletionists. Then I come back to the article and you are telling me 'well its not too relevant to the article...' after they have hacked it up.

When I edit, I try to incorporate others' contributions. There is very little --if any-- of that coming from the regular math editors. Hunter's Metalogic is a reliable source on the subject, I should not have the problems that I have with these topics.

Let me know what you think about that whole concepts and theories idea for organizing things if you get a chance.

Be well Carl.Pontiff Greg Bard (talk) 23:02, 14 September 2009 (UTC)

Wikipedia:Manual of Style (pronunciation)/IPA vs. other pronunciation symbols has been marked as part of the Manual of Style

Wikipedia:Manual of Style (pronunciation)/IPA vs. other pronunciation symbols (edit | talk | history | links | watch | logs) has recently been edited to mark it as part of the Manual of Style. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 15 September 2009 (UTC)

As you have offered medition I would like ask you for your mediation on this edit in the Office Open XML article: http://en.wikipedia.org/w/index.php?title=Office_Open_XML&diff=next&oldid=314038318 An editor repeatedly edits in the ridiculous amount of 12 references (!! )on the size of the specification with critisism many not really about the size itself but just mention the size. (I should also mention that others that actually implement office format have actually stated that a larger size is actually beneficial) Also the edit contains some already found to be incorrect information from an undefined google calculation about the review time of the OOXML specification (certainly incorrect as the comment was made in 2007 before the review proces of OOXML was actually finished unless google can predict the future). It for instance can be easily factually proven that the ISO/IEC standardization proces of Office Open XML from submission to approval took 16 months (december 2006 - april 2008) while the ISO/IEC standardization of OpenDocument took only 6 month (december 2005 - may 2006). I would like you to mediate on the value of adding 12 critisism references on the lenght of a specification. hAl (talk) 06:56, 15 September 2009 (UTC)

Wikipedia:Help desk has been marked as a policy

Policy subcats for VeblenBot?

Carl, would it be possible for VeblenBot to report on changes to 4 policy subcats? I'm thinking of the ones used at WP:Update, which are listed at Category:Wikipedia policies and guidelines ... conduct, content, deletion and enforcement. One good place for the report would be WT:Update. (Watching) - Dank (push to talk) 17:23, 16 September 2009 (UTC)

I added them to the list, but I think the policies are all in the main policy category as well. — Carl (CBM · talk) 22:12, 16 September 2009 (UTC)

They are (or were last time I checked), but I have to report on monthly changes to the subcats as well, and it's nice to catch changes as they happen. Thanks. - Dank (push to talk) 00:50, 17 September 2009 (UTC)

Wait; all I did was add them to the list of things that are marked as "policies". If you want to track pages that are moved from one of the subcats to another, that's a separate issue. I would have to write new code to do that, and it seems like a pain. Maybe you could just look at when each page was added to the category, using this tool, and then investigate the ones that are less than one month old? — Carl (CBM · talk) 00:55, 17 September 2009 (UTC)

NKS, non-standard UTMs

Based on the FOM exchanges (starting here, but note there are multiple threads, you need to go to the threaded index to read them all) it's clear as mud if Wolfram's notion of universal computation really is universal. We have bunch of articles sourced mainly to New Kind of Science and sections in others e.g. Turing machine, universal Turing machine that give unconditional credit to NKS and other results by that group. If you have some time, please take a look; starting with that mail thread it's probably best. Thanks, Pcap ping 06:01, 17 September 2009 (UTC)

This is probably the most informative post in that thread w.r.t. small Turing machines— the paper given there should be used for writing about small machines because it clearly states what model of universality is used for each machine. If I understand this correctly, it's not known if the weaker definitions of universal, such as those used by Wolfram, really are universal. Wolfram also admits that he doesn't quite know. ("There is no doubt some nice theoretical computer science that can be done in tightening up all these notions.", yay!) Alex Smith himself basically admits that he doesn't quite know how "universal" the 2,3 machine is; Vaughn Pratt couldn't help but lecture him on the basics of computability theory. The Wolfram definition of universality is not even clearly stated. Alex himself basically doesn't what definition of universality his (3rd) submission met: "my third submission was accepted on the basis that I'd demonstrated universality to an extent sufficient for whoever was judging it." (proof by intimidation I guess.) This post nicely summarizes the mathematical and social issues surrounding this "proof", in particular that the definition of universality was whatever the "committee" wanted it to be, and the academic referees weren't really asked for their opinion. I think both Turing machine and universal Turing machine need to be updated to reflect this. Probably some Wolfram-specific articles too. Should we take this to WP:WPM first to get a wider consensus? Pcap ping 08:30, 17 September 2009 (UTC)

The Wolfram group is somewhat embarrassing, but at least we don't have intelligent design to deal with like the biologists do. The safest thing is to hedge in article and be scrupulously clear:

The Wolfram institute accepted a proof that the 2,3 machine is universal and awarded the corresponding prize (ref). Some researchers have argued the proof is flawed (ref). The proof uses a new definition of "universality", in which the initial tape configuration is not finite. For an overview of several definitions of universality, see X (ref)."

As long as nobody is going to get confused, we don't need to go out of our way to put down Wolfram in the article on Church's thesis. I don't know how the articles directly on Wolfram are. — Carl (CBM · talk) 11:45, 17 September 2009 (UTC)

The issue with the 2-3 machine is not (only) that the initial config is infinite (machines that simulate Rule 110 also requires that), but in the 2-3 case, the initial configuration is also aperiodic. Infinite but periodic initial conditions seem acceptable as long as one clearly makes the distinction because the relaxed definition allows for smaller machines (see this review where this is called weak universality; Woods and Neary have published in FOCS and other prime CS venues.) Although this is not made abundantly clear, Vaughn Pratt suggested that even though the initial configuration of the 2-3 machine does not appear to require a Turing-complete machine to produce (i.e. truly universal), allowing non-periodic infinite config may be enough (2nd to last paragraph) to make a smaller non-universal machine into an universal one; subsequent elaboration of that argument points out that such an initialization may be equivalent to adding a counter to the machine. Such detailed, and not entirely settled, discussions don't really belong in general articles like Turing machine or even universal Turing machine, but are probably okay in the article on the Wolfram's 2-state 3-symbol Turing machine. Pcap ping 21:07, 17 September 2009 (UTC)

Actually, User:Vaughan Pratt had some beef with the latter article as recent as 2009, see thread. Pcap ping 21:11, 17 September 2009 (UTC)

Wikipedia:Naming conventions (broadcasting) has been marked as a guideline

POV

I am very frustrated by your claim and belief that formal language (logic) is a POV "fork" on my part. There is no pro-geography POV, no pro-"food science" POV, etcetera. These are academic disciplines. It is not the same as POV. To remove material as identified by persons from within an academic discipline because of a belief that it is POV is wrong. Cover the material. period. That means that for every sentence in formal language (logic), everyone of them must be included in any merged article. Either that or there really does need to be a split, and you should support it. I don't feel like fighting with you guys every few months because material is lost. Learn to care and respect it, or leave it split. I don't think you are the type that abuses policies, however throwing terms out there like "POV" without meaning it, or knowing what it means, or being careful about what it means is wrong. Please acknowledge that you understand that this isn't a POV issue. Pontiff Greg Bard (talk) 02:09, 18 September 2009 (UTC)

It does seem to me that the new article exists primarily to present your own POV on the subject, rather than the broad consensus viewpoint that is shared by the vast majority of the literature. The lede of the new article also contains your characteristic type of erroneous statements. If you did not see my note on Talk:Metatheorem about the error you introduced there, you may want to check it out. — Carl (CBM · talk) 02:39, 18 September 2009 (UTC)

So you don't know what POV means or you are just willing to just throw any accusation out there. I mean it Carl. I think I may have to make a bigger deal out of this because in reality you are being POV not me. My interest is coverage of material that has passed academic muster, and Hunter has. The reason I use it, is that is the best coverage I've seen of the material. You can deny, and disparage all you want, but that is the real product of your own POV. If it was not we'd be finding ways to edit and incorporate it, rather than destroy it.

Again, you are trying to wrongly characterize me, so should back that statement up or take it back. The lead of the new article contains no error that I am aware of, and your statement has still not revealed one either. I did read and consider your input on metatheorem, and yes the language needs to be looked at. However it is not as simple as you portray it either. (and this is irrelevant to the current discussion unless your aim is to attack my credibility).

I am quite sick and tired of this, and I have every right to be angry because it involves deletion, not incorporation. PLEASE BE CORRECTED: COVERAGE OF METALOGIC IS NOT POV. It is a legitimate academic field of study, just like so called "formal language theory." Show some interdisciplinary respect. If you don't want it in "your" articles, then you had better be prepared to see it moved elsewhere without this attitude. If you are still under the impression that it is POV, then I will have to take the issue to a broader audience including non-mathematicians.

It is a key point of understanding to realize that these are ideas we are talking about and the marks on the page are tokens of ideas. This is because this understanding is required to have an accurate, precise definition. To neglect these points isn't sparing the reader from irrelevance. It's SLOPPINESS.

You and the others in the math department (as recently exemplified by "Pohma" and his attitude) should be ashamed of yourselves. Writing for WP is full of nuance, but you guys think in black and white. So I am always just wrong wrong wrong. I'm never just a little bit off. It always gets personal too --having to do with what "type"of person I am, etcetera. It's getting old Carl. It's oversimplification. It's ideological thinking. I'm sorry Carl, but I am the mature adult in the room here. Cut this nonsense out.

I still have a lot of respect for you, but you need to actually point out an actual false sentence in that article before accusing me of "characteristic type of erroneous statements." That is an insulting, arrogant, and inappropriate statement Carl. It is the product of a narrow view. If no false sentence identified, you need to be able to admit it and take it back. Pontiff Greg Bard (talk) 05:36, 18 September 2009 (UTC)

I see a (topic) ban in your future. Pcap ping 06:16, 18 September 2009 (UTC)

How is this citation trick done?

I see one can link directly to refs without using footnotes, as in First-order_logic#CITEREFFerreir.C3.B3s2001. But how does one know what string to use for the anchor? Also, is this some new wiki feature? I've not seen it used in other articles. Pcap ping 11:55, 18 September 2009 (UTC)

The citation templates (citation and cite foo) create HTML anchors down in the references section. You can either look these up in the source of the page, or use the templates in the family of Template:Harvard citation to generate them automatically. Either way, you just need to get a link to that anchor into the inline citation. — Carl (CBM · talk) 13:48, 18 September 2009 (UTC)

Thanks, Pcap ping 14:56, 18 September 2009 (UTC)

Circularity?

Sets are needed to define a formal language, which is needed to define a logical system, which is need to define FOL, which is needed to define ZFC... You get the picture. Scott Aaronson had a similar comment in a paper I've read recently:

“

How can we use axioms to define sets, if we need the concept of set even to say what we mean by a model for axioms? This is the kind of paradox that I think vanishes once we give up the idea of putting mathematics on a ‘more secure foundation,’ and see formal systems as just codifying forms of reasoning we’ve already accepted as valid.

”

Are we missing something? Pcap ping 14:56, 18 September 2009 (UTC)

This is a well-understood topic within the mathematical logic community, but it is often raised in a confusing way by people who from other areas (popularizations are the worst, of course). The question is: how can one study set theory using the tools of mathematical logic, when those tools are themselves formalized in set theory? Or: how can one study logic using set theory, when set theory itself is defined using logic? There is too much to say about that to fit into this comment. But here are some relevant points:

For many purposes, one can simply declare that the metatheory in use is ZFC. This is reasonable (that is, non-circular) for the study of most areas of mathematics outside of mathematical logic.
One can argue that we do not need a formalized set theory, such as ZFC, in order to study ZFC. We leave our metatheory informal, and attempt to only use arguments in the metatheory that are clearly correct. This is often called the "Platonist" approach to set theory, and it is probably what Aaronson alludes to. If one already has a good idea what sets are, one can view ZFC as simply giving a set of axioms for studying reasoning about sets.
One can argue in favor of formalism, in which we do not study models at all, only provability. In this setting, one does not need set theory to define a "formal language" as a "set"; one can study countable formal languages in primitive recursive arithmetic, and most of the metatheoretical results that one would prove are indeed provable in that setting. For example, the proof of Gödel's incompleteness theorem for a theory T can be formalized into PRA to obtain a primitive recursive function that would take a proof-in-T of T's Gödel sentence and return as output a proof-in-T of 0=1. Similarly, results about set theory can be converted, in a mechanical way, into relative consistency results that are provable in PRA. For example, there is a primitive recursive function that takes any proof-in-ZFC of the continuum hypothesis as input and returns a proof-in-ZFC of 0=1 as output.

The formalist approach is not generally considered a fruitful way to investigate mathematics, and so most mathematicians use the Platonist approach when writing. This is because mathematicians tend to think in a semantical way, rather than a syntactical way. But we all know that, if we cared to, we could recast all of our results into PRA, at the cost of obscuring the mathematical content somewhat. — Carl (CBM · talk) 17:40, 18 September 2009 (UTC)

P.S. There is also a great deal of skepticism about claims that P=NP is independent, since such claims seem to rely on analogies rather than deductions. Here are some typical posts from the FOM list [3] [4] [5]. — Carl (CBM · talk) 17:40, 18 September 2009 (UTC)

Isn't this apparent paradox of attempting to describe a formalism in what appears to be the language of the formalism the nut of the Richard paradox? Also Finsler's (1926) failed proof Formal proofs and undecidability? (cf the proof and van Heijenoort's discussion p. 438-440)? Bill Wvbailey (talk) 18:18, 18 September 2009 (UTC)

To get Richard's paradox, one has to not only use a metatheory and theory with overlapping vocabulary, one must also forget that the referent of a phrase in the metatheory may not be the same as the referent of a phrase in the theory itself. — Carl (CBM · talk) 21:20, 18 September 2009 (UTC)

Personal favor on WT: MoS

Hi there. Would you please not address your quotation mark questions to Finell personally? He's repeatedly said that he's tired of talking about this issue. If you address the questions to him, then he has to either answer you or look like he blew you off; he can't just sit it out when he wants to. However, if you address the question to the board itself, then someone on Finell's side of the issue will surely answer, but Finell will have more freedom to respond or not as he sees fit. Darkfrog24 (talk) 19:22, 18 September 2009 (UTC)

I mentioned Finnell's name only because I broke up the discussion and so it was not clear that I was replying to him. Of course everyone is free to not respond to comments whenever they like. — Carl (CBM · talk) 21:17, 18 September 2009 (UTC)

Thank you. That makes sense now. Darkfrog24 (talk) 12:24, 20 September 2009 (UTC)

Wikipedia:Naming conventions (clergy) has been marked as a guideline

Wikipedia:WikiProject Belgium/Brussels naming conventions has been marked as a guideline

Wikipedia:WikiProject Belgium/Brussels naming conventions (edit | talk | history | links | watch | logs) has recently been edited to mark it as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 20 September 2009 (UTC)

Wikipedia:Naming conventions (Clergy) no longer marked as a guideline

Wikipedia:Naming conventions (Clergy) (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 20 September 2009 (UTC)

Category:Systems of formal logic proposed to be merge somewhere

Since you created it, I thought you should know. I've attempted to start a centralized discussion here because User:Gregbard also created a new cat for formal systems, which by no means has a clear scope. Independently of that I had started a discussion to rename that article to logical system, because that's what it discusses mainly. Pcap ping 03:26, 20 September 2009 (UTC)

Stub types

I've seen that in 2007 you've changed a number of articles like Sentence (mathematical logic) or Lindström's theorem from {{mathlogic-stub}} to {{logic-stub}}. What was your reason for this? Do you still have that preference? Given that the stub category is a good way to find undeveloped articles (not that I have much time to develop them these days, but in principle) I find it annoying to have to look in a much larger stub collection. Pcap ping 10:09, 20 September 2009 (UTC)

I must have changed them back then because of the discussion at Wikipedia:Stub_types_for_deletion/Log/2007/July/12. In short: Gregbard created a logic-stubs category, and I didn't really care, so I moved some of the more "general logic" articles out of the mathematical-logic-stubs category into the logic-stubs category. They could be marked as both types of stubs, if you prefer. — Carl (CBM · talk) 13:00, 20 September 2009 (UTC)

Truth Table article

I saw this on the top 500. It needs some work & expansion. (I find the TT history fascinating (of course): e.g. there's the strange relationship to Principia Mathematica's notion of "matrix" and e.g. Tarski's adoption of it, Post, Wittgenstein, the curmudgeons of the 1800's ....) We seem to have the notion "Truth Table" (especially the 16 instances of the binary form) sprinkled in many different articles. Before I plunge into this, do you have any thoughts? Thanks, Bill Wvbailey (talk) 13:41, 19 September 2009 (UTC)

Truth tables are a relatively minor topic in math logic these days. So from that perspective, the only thing that I wish was in the article is the fact that truth tables can be used to decide the satisfiability problem for formulas in propositional logic. — Carl (CBM · talk) 19:45, 19 September 2009 (UTC)

(1) Any thoughts about who the readers of this article are -- engineering students? Computer-science students? Philosophy students? (2) Here's my naive understanding of the satisfiability problem after quickly reading the wiki articles: Isn't it the matter of finding an assignment of "true" and "false" to the N variables of an arbitrary propositional formula so that it evaluates as "true"? As there are N² [woops, egg on my face: 2^N] minterms (i.e. [2⁴=16 squares on the Karnaugh map] one just has to use trial and error or random selection to find the solution. ~~So the algorithm to do this is "polynomial" in nature, as would be the random version, so in this case P=NP.~~ Is this correct? Is there more to it? A good reference? Lemme know, thanks Bill Wvbailey (talk) 14:49, 20 September 2009 (UTC)

The "Boolean satisfiability problem" is: given a propositional formula, return "yes" if there is an assignment that satisfies it, "no" otherwise. This was the first problem to be proven to be NP-complete. You are missing a logarithm in your mental calculations somehow. In general there are 2^N truth assignments for N variables, so any method that exhaustively tests all of them will run in exponential time. — Carl (CBM · talk) 19:31, 20 September 2009 (UTC)

I badly blundered in the above. I think I understand the difficulty, but after reading the article I don't understand exactly how an instance of the problem is presented. Is it presented as any arbitrary formula of N variables, or as an arbitrary formula of N variables presented in conjunctive normal form? The article says:

In complexity theory, the Boolean satisfiability problem (SAT) is a decision problem, whose instance is a Boolean expression written using only AND, OR, NOT, variables, and parentheses.
The Boolean satisfiability problem considers formulae that are conjunctions of clauses (i.e. formulae in conjunctive normal form).

Am confused. These seem to be quite different problems. Bill Wvbailey (talk) 21:28, 20 September 2009 (UTC)

The general "Boolean satisfiability problem" is for arbitrary formulas. However, a special case of the problem is for formulas in conjunctive normal form with at most three literals per clause. That problem, known as 3SAT, is already NP-complete. Since the general satisfiability problem is in NP for the same reason that 3SAT is in NP, that means that the general satisfiability problem is also NP-complete. I edited the article to clarify this some. — Carl (CBM · talk) 21:34, 20 September 2009 (UTC)

Wikipedia:WikiProject Numismatics/Style has been marked as a guideline

Wikipedia:Naming conventions (video games) has been marked as a guideline

Wikipedia:WikiProject Video games/Article guidelines/Naming no longer marked as a guideline

Wikipedia:WikiProject Video games/Article guidelines/Naming (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 23 September 2009 (UTC)

Hello, CBM. You have new messages at Rjanag's talk page.
You can remove this notice at any time by removing the {{Talkback}} or {{Tb}} template.

Wikipedia:WikiProject Comics/editorial guidelines no longer marked as a guideline

Wikipedia:WikiProject Comics/editorial guidelines (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 26 September 2009 (UTC)

Wikipedia:WikiProject Comics/Style guidance has been marked as part of the Manual of Style

Wikipedia:WikiProject Comics/Style guidance (edit | talk | history | links | watch | logs) has recently been edited to mark it as part of the Manual of Style. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:01, 26 September 2009 (UTC)

A couple of 1.0 issues

Hi CBM, I was wondering whether the index was completely ready for use yet - can you let me know? Also, can you comment on this discussion? Thanks, Walkerma (talk) 20:04, 26 September 2009 (UTC)

Wikipedia:WikiProject Comics/Style guidance has been marked as part of the Manual of Style

I hereby invite you to join the discussion at Wikipedia talk:Manual of Style#Wikipedia:WikiProject Comics/Style guidance has been marked as part of the Manual of Style (permanent link here, section 22). -- Wavelength (talk) 22:12, 26 September 2009 (UTC)

Wikipedia:Non-free content has been marked as a policy

Wikipedia:Non-free content (edit | talk | history | links | watch | logs) has recently been edited to mark it as a policy. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 28 September 2009 (UTC)

Wikipedia:Naming conventions (royalty and nobility) has been marked as a guideline

Wikipedia:Naming conventions (royalty and nobility) (edit | talk | history | links | watch | logs) has recently been edited to mark it as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 28 September 2009 (UTC)

Wikipedia:Naming conventions (names and titles) no longer marked as a guideline

Wikipedia:Naming conventions (names and titles) (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 28 September 2009 (UTC)

You might want to add an exception for page moves like this... I removed the identical notices from VPP and came here to comment on them. --ThaddeusB (talk) 03:03, 29 September 2009 (UTC)

Veblenbot request for WT:Update

This report wasn't mirrored at WT:Update. I was hoping that changes to policy status and policy subcats (conduct, content, deletion and enforcement) would be reported at WT:Update, since WP:VPP has too much traffic for me (and others I think) to watchlist. Thanks. (Watching) - Dank (push to talk) 13:38, 28 September 2009 (UTC)

I will see to it that the policy changes are listed there. I think I may have added only the MOS changes by mistake. I am traveling for a couple days, so the problem could reoccur tomorrow. — Carl (CBM · talk) 00:50, 29 September 2009 (UTC)

Thanks much. - Dank (push to talk) 01:55, 29 September 2009 (UTC)

Peer review requests

Hi Carl, two things have come up at the Peer Review talk page that I wanted to ask you about (basically is it possible to do this)?

The first would be to add something to each PR similar to the tools already in each FAC - see here. The four tools would be the three for FAC (dab checker, link checker, edit checker) plus the SAPR link could be added here too. Related to this, I noted that the PRs all still contain this hidden comment "semi-automated peer review placeholder -- please do not edit or delete this comment" and was wondering that could be removed / replaced with the tools code. Geometry guy thought this might be something the bot needs, but I figured it wouldn't hurt to cehck.

The second is a request to be able to have PR requests for lists show up in their own section - see here. I have no idea how practical this would be (and it seems almost like it would have to be a second topic, as lists would still be under topics) but I said I would check with you on it.

Thanks as always for your help, Ruhrfisch _><>°^° 14:21, 1 October 2009 (UTC)

Wikipedia:Code of conduct has been marked as a policy

talkback

Hello, CBM. You have new messages at Dank's talk page.
You can remove this notice at any time by removing the {{Talkback}} or {{Tb}} template.

- Dank (push to talk) 04:13, 2 October 2009 (UTC)

re: inactive admin counts

Carl, I've changed the bot to include counts for Semi-active and Inactive admins in the edit summaries. The total counts are 2 short of the current number of admins due to:

One admin who requested not to be listed in these lists
A bug in the bot that doesn't handle user:ProcseeBot.

ProcseeBot has no edits, so theoretically should show up in the Inactive list - but the list is sorted by last contrib date by enumerating each date and outputting the admins whose last contrib was on that date. ProcseeBot has no "last" edit (no edits at all), so this algorithm doesn't catch it. This is such a weird case I'm not sure it's worth fixing. -- Rick Block (talk) 03:47, 3 October 2009 (UTC)

Thanks. I'm sure other people will also appreciate it. — Carl (CBM · talk) 13:24, 3 October 2009 (UTC)

Wikipedia:Code of conduct no longer marked as a policy

Wikipedia:Code of conduct (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a policy. It was previously marked as a policy. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 4 October 2009 (UTC)

Possible problem

Hi Carl, I tried to run your tool for sorting peer reviews by size here but it is returning "Internal Server Error (500)". I checked some other Toolserver tools and they worked, so it does not seem to be a general problem. I can just find the biggest several by hand for the partial transclusion trick now, thanks, Ruhrfisch _><>°^° 23:31, 4 October 2009 (UTC)

The culprit appears to be Wikipedia:Peer_reviews_by_date. I'm trying to find out why. Geometry guy 00:14, 5 October 2009 (UTC)

The problem was that they switched the toolserver webserver to a different computer a while back, which did not have all the libraries I need installed. I had already installed them for some other scripts, but I didn't realize this one had broken too. It works now. — Carl (CBM · talk) 00:25, 5 October 2009 (UTC)

Interesting: I fixed a different problem here. Geometry guy 01:17, 5 October 2009 (UTC)

That should not cause my toolserver program to crash, though. I ran it by hand from the command line on the webserver to see what the error was.

With the list articles, do people want to be able to include them in both the subject-area section of peer review, and the lists section? That might use up the postinclude size in a nonoptimal way. — Carl (CBM · talk) 01:21, 5 October 2009 (UTC)

It's been set up as a separate topic, so list articles should be listed in their own section (only). Geometry guy 01:29, 5 October 2009 (UTC)

I also think that is the best solution. — Carl (CBM · talk) 01:29, 5 October 2009 (UTC)

Thanks to both of you - I agree lists as their own separate topic seems best. Ruhrfisch _><>°^° 01:51, 5 October 2009 (UTC)

Wikipedia:Naming conventions (adjectives) no longer marked as a guideline

Wikipedia:Naming conventions (adjectives) (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 5 October 2009 (UTC)

Wikipedia:Naming conventions (verbs) no longer marked as a guideline

Wikipedia:Naming conventions (verbs) (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 5 October 2009 (UTC)

PR bot idea

Hi Carl, I had another idea for the peer review bot - sometimes people try and archive the PR and just paste in the text "This peer review discussion has been closed." instead of properly archiving the PR (see this diff for an example). I usually don't catch these untill they have been there for several days (if at all). Could the bot check each PR for that text, and archive properly any PRs that had it? Even if it was just an error message, I could archive them by hand (I still check each morning). Thanks, Ruhrfisch _><>°^° 02:50, 5 October 2009 (UTC)

Here's another one I just found and archived. Ruhrfisch _><>°^° 00:57, 6 October 2009 (UTC)

I can certainly set something up to detect these, but it will take me a couple days to accomplish it. — Carl (CBM · talk) 00:59, 6 October 2009 (UTC)

It is no rush at all - thanks as always for all of your help, Ruhrfisch _><>°^° 01:08, 6 October 2009 (UTC)

Wikipedia:Volunteer response team has been marked as a policy

Wikipedia:OTRS no longer marked as a policy

Wikipedia:OTRS (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a policy. It was previously marked as a policy. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 6 October 2009 (UTC)

Wikipedia:WikiProject Belgium/Brussels naming conventions no longer marked as a guideline

Wikipedia:WikiProject Belgium/Brussels naming conventions (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 7 October 2009 (UTC)

Thanks for being you

I just want to thank you for your patience that you show. I too, try to be extra patient with our discussions because you deserve it. Pontiff Greg Bard (talk) 03:55, 7 October 2009 (UTC)

WT:Update

Carl, Veblenbot is reporting changes to naming conventions at WT:Update, and it looks like there are enough of them that the signal (changes to policy and Category:General style guidelines is going to get lost in the noise. If there's a way to report only General style guidelines and policy, great; if not, then I'd rather see just the changes to policy and the policy subcats. Thanks for your work. (Watching) - Dank (push to talk) 12:09, 7 October 2009 (UTC)

I need to set up another script to do the messages for WT:Update, since you are only interested in some, but not all, guideline changes. I thought I would be able to do it last weekend, but it will be another few days. Until then, I have set the scripts to only post to WT:Update about policy changes. — Carl (CBM · talk) 00:50, 8 October 2009 (UTC)

Ah, okay, I didn't understand. Thanks kindly. - Dank (push to talk) 00:53, 8 October 2009 (UTC)

Talkback

Hello, CBM. You have new messages at Skittleys's talk page.
Message added 01:50, 8 October 2009 (UTC). You can remove this notice at any time by removing the {{Talkback}} or {{Tb}} template.

Skittleys (talk) 01:50, 8 October 2009 (UTC)

Talkback

Hello, CBM. You have new messages at Skittleys's talk page.
Message added 02:19, 8 October 2009 (UTC). You can remove this notice at any time by removing the {{Talkback}} or {{Tb}} template.

Skittleys (talk) 02:19, 8 October 2009 (UTC)

Proposed automation of WP:GAN

User:Harej has set up a realistic scheme to autogenerate WP:GAN by monitoring changes to {{GAnominee}}: discussion (not all of it illuminating) can be found at WT:GAN#Automatic_listing_of_nominees_at_WP:GAN. The script is open source and available at User:RFC_bot/goodarticles.php. I would be very happy if you have time to comment on the robustness of the set-up: any suggestions for improvements would also be welcome. The mock-up is currently at User:RFC_bot/Sandbox_2. I hope you might be interested to generate a similar page using VeblenBot, and even (if the proposal proves to be sufficiently robust and acceptable to reviewers) maintain a version of the GAN page. Thanks for any help, as always, Geometry guy 21:42, 8 October 2009 (UTC)

I'm somewhat swamped today, but I should be able to look over it tomorrow and leave some comments. — Carl (CBM · talk) 01:06, 9 October 2009 (UTC)

Thanks for your helpful comments. Should I read from them that you don't believe it is necessary to have a back-up bot operation in place? Geometry guy 12:19, 11 October 2009 (UTC)

I don't think it's necessary, because the format of the page the bot creates is straightforward enough that people could edit it manually in a pinch. Also, the most common causes of failure (in my experience) are changes to mediawiki itself and network/toolserver failures. It isn't obvious that a second bot would be more robust for those problems. — Carl (CBM · talk) 13:13, 11 October 2009 (UTC)

Reply

Oh dear, I wasn't faulting your or Emil's responses. I meant "easily understandable responses". After reading this thread, I had to go and remind myself what surjective functions were and then figure out how that applied to the problem. I just don't see why it was necessary to talk about surjective functions or if it was even clear that the OP would know what they were. In any case, you'll notice I started my post on the desk with a bold disclaimer and I didn't say anything about "detailed answers". Anyway, I'm sorry if I offended you. Zain Ebrahim (talk) 14:34, 9 October 2009 (UTC)

I wasn't offended; thanks for the note. — Carl (CBM · talk) 15:04, 9 October 2009 (UTC)

Showing that a computer embeds in arithmetic

In primitive recursive arithmetic, there is nothing to do, of course. In multiplication/addition Peano arithmetic, there is a little work. I was going to assume that the Godel beta-function is given, which means that you already know that the extraction of the prime exponent is allowed by first order logic and PA. If that needs justification, it can be spun into a separate article (this is some pages of Godel 1931). Once you have the beta-function, the point is that you only need one computationally complete function f, and you are done. You don't need any other PR function.

For example, a one-sentence embedding of a computer in arithmetic is using Cellular automata. For any nearest neighbor rule, you can write the operation in first order logic on PA as follows: the integer which stores the automaton is: 2^n3^a1 5^a2 7^a3 11^a4 ..., n is the current working location. The operation to extract the n-1-th exponent, the n-th exponent and the n+1-st exponent are expressible in the theory. Any finite transition table is expressible in the theory. Replacing the n-th quantity with the new value from looking up the transition table is expressible in the theory, and incrementing n by 1 is expressible in the theory. Also, you need rules to extend the automaton consistently, and to loop back once n reaches the end of the automaton. One way of doing this is adding a 1 at the end of the list every other step, and have an expression that if nth prime does not divide the integer storing the automaton, set n to 0.

From here on in, it's all reconstructing a Turing machine from automata, then reconstructing a RAM machine from a Turing machine. These are standard CS results, which can be referred to appropriate pages.Likebox (talk) 04:10, 16 October 2009 (UTC)

Are you happy with this?Likebox (talk) 18:39, 18 October 2009 (UTC)

Well, no; see [6]. — Carl (CBM · talk) 00:53, 19 October 2009 (UTC)

Bot needs to be updated for WikiProject Biographies

See Wikipedia:Version_1.0_Editorial_Team/Biography_(core)_articles_by_quality_log#October_17.2C_2009; following this discussion, Template:WPBiography has recently been converted to use {{WPBannerMeta}}. Gary King (talk) 15:18, 17 October 2009 (UTC)

Why have all those articles been considered reassessed when their talk pages have not changed? Gary King (talk) 21:50, 18 October 2009 (UTC)

Wikipedia:Revision deletion has been marked as a policy

Wikipedia:Related no longer marked as a guideline

Wikipedia:Related (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 21 October 2009 (UTC)

Wikipedia:Manual of Style (Kosovo-related articles) no longer marked as a guideline

Wikipedia:Manual of Style (Kosovo-related articles) (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:00, 21 October 2009 (UTC)

Wikipedia:WikiProject Aircraft/Naming no longer marked as a guideline

Wikipedia:WikiProject Aircraft/Naming (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as a guideline. It was previously marked as a guideline. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:01, 21 October 2009 (UTC)

Wikipedia:WikiProject Manual of Style is no longer marked as part of the Manual of Style

Wikipedia:WikiProject Manual of Style (edit | talk | history | links | watch | logs) has been edited so that it is no longer marked as part of the Manual of Style. This is an automated notice of the change (more information). -- VeblenBot (talk) 02:01, 21 October 2009 (UTC)

Wikipedia:Related is no longer marked as part of the Manual of Style

Wikipedia:Taxobox usage is no longer marked as part of the Manual of Style

Some oddities at WT:Update

"Wikipedia:WikiProject Aircraft/Naming no longer marked as a guideline" ... but it was never in Category:General style guidelines, and hasn't been edited since January. "Wikipedia:Manual of Style (Kosovo-related articles) no longer marked as a guideline" ... but it was a naming convention. I don't know if you had a chance to make the changes you wanted to make ... I could get along quite nicely with just notification of changes to policy. I think it will be confusing to people following WP:Update to get notices of unrelated things. (Watching) - Dank (push to talk) 02:11, 21 October 2009 (UTC)

For the first one, it was this edit, which was to a transcluded template. You can find these edits with this tool.

For the second one, Category:Wikipedia naming conventions is a subcategory of Category:Wikipedia guidelines and therefore pages in this category are counted as guidelines. They used to be just categorized as guidelines, I believe, until that category was split into a bunch of subcategories. Are you saying naming conventions should be considered as MOS pages instead?

Could you give me a list of what specific categories you'd like me to track for WT:Update? — Carl (CBM · talk) 02:22, 21 October 2009 (UTC)

More readers are interested in changes to policy than Category:General style guidelines, so perhaps it would be best if we just track the 5 policy cats:

Wikipedia conduct policy
Wikipedia content policy
Wikipedia deletion policy
Wikipedia enforcement policy
Wikipedia policy - Dank (push to talk) 02:47, 21 October 2009 (UTC)

OK, I will implement that. The style guidelines are excluded from the "guideline" code, and are tracked separately as "MOS pages". I removed the style guidelines from WT:Update some time back. — Carl (CBM · talk) 02:50, 21 October 2009 (UTC)

Thanks. Just to be clear, let's not track any of the guidelines, including MOS pages. - Dank (push to talk) 02:57, 21 October 2009 (UTC)

OK, I have set up a different script for WT:Update that is only meant to post about the categories listed above. I will try to follow it for a while to see if it makes any errors, but also please let me know if it does so I can fix it. It should run starting tomorrow. — Carl (CBM · talk) 03:04, 21 October 2009 (UTC)

Thanks kindly. - Dank (push to talk) 03:11, 21 October 2009 (UTC)