User talk:CBM/Archive 1

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search



Hello, CBM/Archive 1, and welcome to Wikipedia! Thank you for your contributions. I hope you like the place and decide to stay. Here are a few good links for newcomers:

I hope you enjoy editing here and being a Wikipedian! Please sign your name on talk pages using four tildes (~~~~); this will automatically produce your name and the date. If you need help, check out Wikipedia:Questions, ask me on my talk page, or place {{helpme}} on your talk page and someone will show up shortly to answer your questions. Again, welcome!  --soUmyaSch 10:25, 26 April 2006 (UTC)

Halting problem, degrees of unsolvability, zero-prime, etc.

Hi, thanks for getting back to me. Can you recommend a couple good modern books on this stuff, maybe in order of difficulty. Thanks. wvbaileyWvbailey 20:41, 22 June 2006 (UTC)

Turing's proof

I want to 'recruit an expert' (you). I wrote a page Turing's proof that needs an expert hand. I fell apart on proof #3, and the whole article needs a good hosing. I have not been able to find any commentary whatever on such an important proof... nowhere except Post's paper of 1943 or therebouts. (When I had an actual dialog with Martin Davis he only mentioned this paper, the one about Thue, or whatever... lemme know if you want to see the dialog... interesting...). Feel free to edit to your heart's content. I won't be insulted. Another expert editor said it (and foundation articles in general) are in sorry state; I can't disagree about the Turing's proof page. Thanks. wvbaileyWvbailey 00:08, 26 June 2006 (UTC)

Your book recommendations

Yes, I will pursue your recommendations. Thanks, wvbaileyWvbailey 23:38, 28 June 2006 (UTC)

Church-Turing / Algothm Merge

I have removed your mergeto notification from the top of the Church-Turing page, since it's only the Algorithms section which I am proposing to merge (not the whole article). See Talk:Algorithm. --Cornflake pirate 01:06, 17 July 2006 (UTC)

Merge of "Ultrafilter lemma" into Boolean prime ideal theorem

You might want to merge Talk:Ultrafilter lemma into Talk:Boolean prime ideal theorem also for completeness sake. I already fixed the multiple redirects which you created. JRSpriggs 06:07, 17 July 2006 (UTC)

To be more specific, when you do a move or a merge, please change the redirect pages to redirect to the new article name. Otherwise, if someone uses a pointer to a multiple redirect, he gets stuck on one of the redirect pages instead of reaching the article because the software will not allow more than one redirection to avoid infinite loops. JRSpriggs 06:41, 17 July 2006 (UTC)
You can find the redirect pages which need to be changed by going to the new article and clicking on "What links here". Then look for redirects which are themselves redirected. Click on them and make the edit to repoint them to the new article. Then repeat this process to make sure you got them all. JRSpriggs 02:43, 18 July 2006 (UTC)
Thanks for fixing the problem. I forgot to check it myself, even though I know that double redirects don't work. I'll be more careful in the future. CMummert 02:55, 18 July 2006 (UTC)

Better late …

Hi CM. I wanted to welcome you (a bit belatedly) to WP Mathematics project, and point out, in case you hadn't fount it yet: Wikipedia:WikiProject Mathematics/Participants, at which you might want to list yourself. Anyway, again welcome to the project. Regards, Paul August 19:58, 17 July 2006 (UTC)