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...

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...

"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...

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...

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)...

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)...

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...

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...

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...

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...

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...

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...

(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...

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

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...

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...

compared to Peano's assumption of mathematical induction as an axiom. BillWvbailey (talk) 17:48, 4 December 2011 (UTC) Hi Jowa fan, I understand why you removed...