Welcome! Hello Wvbailey, and welcome to Wikipedia! Thank you for your contributions. I hope you like the place and decide to stay. Here are a few good...

he introduces the notion of primitive recursive functions. —Preceding unsigned comment added by Wvbailey (talk • contribs) 14:55, 9 November 2007 (UTC)...

corresponds to exaclty one element of v —Preceding unsigned comment added by Wvbailey (talk • contribs) 22:00, 30 September 2007 (UTC) ∀z(z ∈ f ⇒ (∃u1 ∃v1 (u1∈u...

time. You can correspond with me at User talk:wvbailey or at the Talk:Euler diagram page. Bill Wvbailey (talk) 23:18, 22 November 2009 (UTC) Unfortunately...

"recursion" to a synonym for induction? Hopefully Soare will clear this up. wvbaileyWvbailey 16:13, 18 September 2006 (UTC) Okay, I've left a note on the article's...

Sketchbook Pro, it is not so good.) Respond on my talk page. Thanks, BillWvbailey (talk) 23:38, 13 August 2012 (UTC) I appreciate your effort. The Autodesk...

that too. You can e-mail me at [email protected]. wvbaileyWvbailey 18:56, 29 July 2006 (UTC) Hi, wvbailey here. I created a new article called Wang B-machine...

is a worthy pursuit. wvbaileyWvbailey 00:36, 4 June 2006 (UTC) Oh my god no shit he's alive? Wow. Thanks! Bill wvbaileyWvbailey 00:45, 4 June 2006 (UTC)...

modern books on this stuff, maybe in order of difficulty. Thanks. wvbaileyWvbailey 20:41, 22 June 2006 (UTC) I want to 'recruit an expert' (you). I wrote...

Recursion theory talk page for a recent example). wvbaileyWvbailey 16:49, 3 September 2007 (UTC) Hi, wvbailey here. Martin Davis 1965 (a student of Post and...

but there are no footnotes on this page. Am confused. Lemme know, maybe I can help/fix whatever is wrong. wvbaileyWvbailey 14:35, 7 December 2006 (UTC)...

I hope Dawson is still hearty and still working. Hope this helps, Bill Wvbailey (talk) 13:28, 16 September 2008 (UTC) Yes, it does. I am surprised he does...

this see the article-extension History of the Church-Turing thesis. Bill Wvbailey 21:31, 14 October 2007 (UTC) I can't cite a source for most of the stuff...

Europe this summer about the source of the phrase "Halting problem".wvbaileyWvbailey 21:21, 12 September 2006 (UTC) Hi. Thanks. Martin Davis 22:48, 12 September...

you. If not reply here. It is a very good paper -- esp. Appendix A.wvbaileyWvbailey 18:50, 26 October 2006 (UTC) You should have received a bunch of papers...

Turing machine, your edit summary linked to Wvbailey (a nonexistent main namespace page) instead of User:Wvbailey. Perhaps your software is malfunctioning...

and addressed it in some detail. Thanks for the observation that the notion is missing in the article. Bill Wvbailey (talk) 15:56, 11 April 2016 (UTC)...

philosophic sense. I've put a similar not on Vaughn Pratt's talk-page, too. Bill Wvbailey (talk) 17:15, 13 April 2011 (UTC) I don't know if you've read the discussion...

But when I do I'll get it to you (but this could be in 1-2 weeks). Bill Wvbailey (talk) 23:39, 26 March 2010 (UTC) Thank you for uploading File:Charlie...

Stegner didn't pull punches, as was clear in Crossing to Safety. Bill Wvbailey (talk) 23:10, 15 January 2009 (UTC) Wikipedia:WikiProject Spam --Orange...

know something about his formalism please add something to the page. wvbaileyWvbailey 20:57, 6 May 2007 (UTC) So when do you think you might be willing to...

Perhaps you know of better one(s) to add to the references. Thanks, wvbaileyWvbailey 21:02, 24 May 2007 (UTC) I have added two references to the original...

particularly graphic for me, and have nice "-jective" forms as well. But now user Wvbailey (talk · contribs) comes and ravages the "Definition" section of Function...

this? (Now I have two red squirrels invading my bird feeders. Yikes!) wvbaileyWvbailey 15:55, 6 January 2007 (UTC) There isn't a system to get rulings per...

realizes how the proof works, but you can't find it from that animation. Bill Wvbailey (talk) 17:09, 1 February 2011 (UTC) It got reverted quickly, which was...

perspective here: any advice or suggestions would be welcome. Thanks, wvbaileyWvbailey 13:51, 26 October 2006 (UTC) "RefLib", sans any kind of reference,...

(Standard deviation wouldn't be such a bad secondary metric, either). Bill Wvbailey (talk) 22:00, 11 April 2011 (UTC) The articles were chosen semi-randomly...

the "Books" image. I've changed the licence to "no rights reserved". Hi, wvbailey here. Are you familiar at all with Finsler's Formal proofs and undecidability...

little info to criticise: article is not inaccurate, just incomplete. Bill Wvbailey (talk) 03:07, 1 August 2011 (UTC) What I was looking for comment on was...

Is this the sort of thing you're after? I hope this helps . . . Bill Wvbailey (talk) 14:11, 4 June 2014 (UTC) Hi Constant314. After reviewing your request...